- 许多数学家认为，随着 AI 迅速提升解题和定理证明能力，数学领域正经历历史上最快速的变革之一。
- 2025 年，数学家 Daniel Litt 曾打赌 AI 在 2030 年前写出媲美顶级数学家论文的概率仅为 25%，但仅一年后，他表示自己可能会输掉赌局。
- 几年前，AI 几乎无法解决高中数学题，但现在已经可以处理实际数学研究中的问题。
- 来自 OpenAI 和 Google DeepMind 等公司的 AI 系统在国际数学奥林匹克竞赛中达到了相当于金牌的水平。
- 2026 年 1 月，数学家开始利用 AI 解决由数学家保罗·埃尔德什（Paul Erdős）提出的若干长期未解难题。
- 加州大学伯克利分校的 Nikhil Srivastava 发起了一个名为 First Proof 的新项目，旨在创建一套实际研究题目来评估 AI 的数学能力。
- 第一批测试集包含来自不同数学领域的 10 道题目，难度从偏难到高级不等。
- 据专家评估，OpenAI 的 AI 正确解决了约 5/10 的题目，而 Google DeepMind 的系统解决了 6/10。
- 谷歌开发了名为 Aletheia 的数学 AI 工具，将 Gemini 聊天机器人与验证算法相结合，以检测解题错误并通过多次迭代改进结果。
- 除了解决问题，AI 在将手写证明转换为计算机可验证的代码（称为“形式化”）方面也取得了进展。
- Math, Inc. 公司引起轰动，其 AI Gauss 自动形式化并验证了马林娜·维亚佐夫斯卡（Maryna Viazovska）关于球体填充问题的菲尔兹奖获奖证明。
- AI 生成的证明长达约 20 万行代码，相当于世界上已形式化数学总量的 10% 左右。
- 研究人员相信，未来 AI 可以自动检查新的数学论文，并在学术评审过程中发现错误。
📌 结论： AI 正在深刻改变数学研究的方式。AI 系统在 First Proof 项目的研究课题中达到了 5/10 至 6/10 的正确率，甚至通过 20 万行代码自动形式化了菲尔兹奖级别的证明。这项技术可以自动验证证明并辅助研究，但也引发了人们对因机器解题过快而导致人类失去学习机会的担忧。
