从奥数金牌到数学发现：深度解读DeepMind Aletheia开启的自主数学研究新纪元

2026年3月9日，Google DeepMind发布论文《Towards Autonomous Mathematics Research》，推出数学研究代理Aletheia。本文深度解读了Aletheia如何从竞赛解题者进化为科研探索者，攻克4个长期未解的数学难题，并发表达到出版水准的论文。文章详细分析了Aletheia的技术核心——Gemini Deep Think模型与推理时间扩展定律，以及其迭代式生成-验证-修正循环。同时探讨了自然语言推理与形式化证明的平衡、人机交互卡片的伦理框架，以及AI对数学家未来角色的深远影响。