DeepMind Aletheia Sets FirstProof Math Record

🔑 Enhanced Key Takeaways

• •Aletheia solved specific FirstProof problems 2, 5, 7, 8, 9, and 10, with expert disagreement only on problem 8[1][2].
• •Raw prompts and outputs for Aletheia are publicly available on GitHub at google-deepmind/superhuman/tree/main/aletheia[3].
• •Aletheia uses Google Search and web browsing as tools to prevent citation hallucinations and synthesize mathematical literature[5][6].

🛠️ Technical Deep Dive

• •Aletheia employs agentic scaffolding with iterative generation, verification, and revision using a natural language verifier to identify flaws[1][6].
• •Features two variants (Aletheia A and B) with best-of-2 submissions per problem, showing improved accuracy over December 2025 version via scaffolding and base model upgrades[2].
• •Integrates Gemini 3 Deep Think with inference-time scaling, achieving higher reasoning quality at lower compute (100x reduction from prior versions)[4][5].

🔮 Future ImplicationsAI analysis grounded in cited sources

⏳ Timeline