Accelerating Mathematical and Scientific Discovery with Gemini Deep Think
本条目由 AI 按收录标准筛选与撰写，经独立的 AI 核查在原文中逐条找到依据，未经人工审核；数字与结论以原文为准。
相关报告
收录理由
该报告为 Google DeepMind 研究博客，说明 Aletheia 智能体、自然语言验证器与迭代求解流程，涵盖 ProofBench 缩放评测、Erdős 开放题库评估及 Advisor 式人机协作方法，并指向配套论文与提示输出资源。
关键要点
- 2025 年夏季进阶版 Gemini Deep Think 在国际数学奥林匹克达到金牌标准，更新版在国际大学生程序设计竞赛获类似成绩。
- Aletheia 由 Deep Think 驱动，配备自然语言验证器识别候选解法缺陷，支持迭代生成与修订，并可承认无法解题。
- 推理时算力缩放时，模型在 IMO-ProofBench Advanced 上最高可达 90%，且缩放规律可延续至博士级练习。
- 对 Bloom Erdős 猜想库 700 道开放题做半自主评估，自主解答其中四道开放问题；Erdős-1051 上自主求解并促成泛化论文。
- 与专家在 18 个研究问题上协作，帮助突破算法、机器学习、组合优化、信息论与经济学等长期瓶颈。
- 2026 年 1 月最新进阶版 Deep Think 在奥林匹克级问题上显著优于 2025 年 7 月 IMO 金牌版；Aletheia 以更低推理算力取得更高推理质量。