Aletheia：迈向自主数学研究的智能体

这篇来自 Google DeepMind 的研究报告介绍了 Aletheia，这是一个旨在将 AI 能力从竞赛数学提升至专业数学研究领域的智能代理系统。该系统基于 Gemini Deep Think 模型，通过创新的推理时间扩展法则以及生成、验证、修正的迭代机制，实现了端到端的自然语言推理。Aletheia 已在多个科研里程碑中证明了其实力，包括独立完成可发表级别的论文、解决多项长期悬而未决的厄多斯猜想，并在专门评估 AI 辅助研究能力的 FirstProof 基准测试中取得领先成绩。除了技术突破，作者还针对 AI 辅助证明的透明度，提议建立一套类比自动驾驶分级的数学研究自主权标准。这份报告标志着 AI 在科学发现领域迈出了重要一步，展示了人机协作在解决高难度学术难题中的巨大潜力。