Google DeepMind 发布了数学研究智能体 Aletheia，标志着 AI 在数学领域从「解题」到「科研」的重大跨越。此前 AI 数学系统（如 AlphaGeometry）主要聚焦竞赛题目，而 Aletheia 的目标是真正意义上的数学研究——自主提出猜想、构造证明、验证并修正。
Aletheia 基于 Gemini Deep Think 的高级版本，采用 Generator-Verifier-Reviser 三段式智能体循环。系统通过推理时算力扩展（inference-time scaling）显著提升性能——给模型更多「思考时间」，结果明显更优。
技术亮点：
- 采用自然语言完整证明，而非形式化语言（如 Lean/Isabelle）
- 三段式循环：生成→验证→修正，类似人类研究流程
- 推理时算力扩展效果显著
- 目标是发布在专业数学期刊级别的新发现
这是继 AlphaFold 之后，DeepMind 在科学发现 AI 化道路上的又一里程碑式尝试。