谷歌 DeepMind Aletheia 創 FirstProof 數學新紀錄

🔑 增強重點摘要

• •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].

🛠️ 技術深入

• •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].

🔮 前景展望AI analysis grounded in cited sources

⏳ 時間線