Google's Aletheia AI Agent Autonomously Solves 6/10 Novel FirstProof Math Problems
arxiv.org
February 25, 2026
1 min read
🔥🔥🔥🔥🔥
34/100
Summary
Aletheia, powered by Gemini 3 Deep Think, autonomously solved 6 out of 10 problems in the FirstProof challenge. Expert assessments confirmed the accuracy of Aletheia's solutions for the problems completed.
Key Takeaways
- Aletheia, powered by Gemini 3 Deep Think, autonomously solved 6 out of 10 problems in the FirstProof challenge.
- Expert assessments indicated that there was disagreement on the solution to Problem 8.
- The performance and evaluation details of Aletheia's participation in the FirstProof challenge are transparently disclosed in the report.
- Raw prompts and outputs from Aletheia's experiments are publicly available for review.
Coverage & discussions
Reddit r/artificial · arxiv.org
Community discussions
Related Articles
Towards Autonomous Mathematics Research
Feb 15, 2026
First Proof
Feb 7, 2026
Amateur armed with ChatGPT solves an Erdős problem
Apr 25, 2026
Gemini 3 Deep Think drew me a good SVG of a pelican riding a bicycle
Feb 14, 2026
Atlassian’s Mike Cannon-Brookes: AI agents need a name tag—and a human to be accountable for their actions
Oct 19, 2026