Quoc Le @quocleix · 25 Feb 2026
Exciting results in AI math research! We use Aletheia agent, powered by Gemini 3 Deep Think, to tackle the FirstProof challenge. Operating completely autonomously, Aletheia successfully solved 6 out of the 10 problems. Check out the full paper for details on the methodology and https://t.co/rZrQmTzMdN
32 657Views
195Likes
26Reposts
5Replies
0Quotes
54Bookmarks
Is that a lot?
11.3×vs 10K–100K median2 896 views is typical
40.85%Reachviews ÷ followers
0.69%Engagement rateof viewers reacted