Quoc Le @quocleix · 02 Feb 2026
Excited to share our latest work: "Semi-Autonomous Mathematics Discovery with Gemini." We used Gemini to systematically evaluate 700 "open" conjectures in the Erdős Problems database. The result? We addressed 13 problems marked as open—finding 5 novel autonomous solutions and https://t.co/Sjcg0bWPd9
254 556Views
1 290Likes
202Reposts
44Replies
20Quotes
483Bookmarks
Is that a lot?
87.9×vs 10K–100K median2 896 views is typical
3.2× audienceReachviews ÷ followers
0.61%Engagement rateof viewers reacted