AI 会解数学题？人工智能成为人类智力工具的惊人表现

试想一下。如果你向人工智能（AI）提问一个需要耗费数天甚至数月才能解决的复杂数学难题，而它在短短一天内就给出了答案。过去，这可能只是科幻电影中的情节，但现在，这正在数学实验室中真实上演。加州大学洛杉矶分校（UCLA）的知名数学家陶哲轩（Terence Tao）教授评价 2025 年是“AI 开始在各种任务中真正发挥作用的一年” 出处 11。

这为何重要？

数学是所有科学技术的语言和基石。从密码学到航空航天工程，再到现代金融系统，我们享用几乎所有的现代技术都建立在数学证明和计算之上。

AI 辅助数学研究，并不只是意味着计算器按得更快了。它意味着人类能够显著提高解决数十年来悬而未决的难题的速度。但与此同时，“数学家这一职业未来会怎样？”、“人类该如何验证 AI 给出的证明？”等哲学和实践层面的思考，也正在冲击整个数学界。

简单来说：AI 是如何“做”数学的？

人们常将 AI，特别是像 ChatGPT 这样的大语言模型（LLM，通过学习海量文本数据来理解和生成语言的 AI）称为“文字预测机器”。在解数学题时，原理也是如此。就像我们在照片应用中使用滤镜来修饰图片一样，AI 通过在海量数据中把握逻辑模式和公式结构的“滤镜”来解决问题。

打个比方，新手司机看地图找路时，AI 就像拥有数万次导航经验的资深导航仪。2025 年 5 月，谷歌 DeepMind 的 AI 智能体“AlphaEvolve”正是以这种方式优化了“斯特拉森算法”（Strassen algorithm，一种更高效执行矩阵乘法的计算方法）。该算法在进行 4x4 矩阵乘法时，将所需的乘法次数从原本的 49 次减少到了 48 次 出处 8。人类数学家数十年认为最简为 49 次的步骤，AI 发现了一次运算的优化空间。

当然，AI 并非总是完美的。根据尼尔·索马尼（Neel Somani）的研究，当 AI 系统在数学问题上失败时，其失败点反而成为了某种“智力审计”（intellectual audit，审查智力活动的过程和结果）的工具，揭示了 AI 内部逻辑推理方式中的错误之处 出处 6。

我们处于什么位置：庆祝与争议之间

目前，AI 与数学的邂逅既带来了耀眼的成果，也引发了激烈的争论。

• 基准测试时代：现在已经建立了专门用于测试 AI 数学能力的试金石。名为“FrontierMath”的项目通过数学家亲自出题的高难度研究级问题，来评估 AI 的实力 出处 4。
• 教育助手：在普及层面，像“MathosAI”（原 MathGPTPro）这样的 AI 导师正在帮助全球超过 500 万名学生完成数学作业 出处 7。
• 千禧年难题的冲击：最近 OpenAI 声称解决了数学界难题之一的“千禧年大奖难题”（Millennium Prize problem），引起了巨大轰动。这在获得学术界热烈祝贺的同时，也引发了关于 AI 给出的证明究竟能在多大程度上被信任的争议 出处 10。

在此背景下，2026 年 6 月，国际数学家群体发表了《莱顿宣言》（Leiden Declaration）。为了应对能够生成研究级数学成果的 AI 的快速发展，数学家们开始着手制定保护人类智力成就并与 AI 协作的准则 出处 9。

未来会怎样？

哲学家丹尼尔·丹尼特（Daniel Dennett）曾警告说：“AI 应当始终作为智能‘工具’存在，而不应成为人造的‘伙伴’” 出处 5。

未来，数学界将装上 AI 这台强力引擎，实现更快速的进步。但驾驶这台引擎的，依然是人类。理解并验证 AI 给出的答案是否符合逻辑、探究其得出结论的原因，人类数学家的作用将变得更加重要。未来的数学家们将不再仅限于拿着笔记本和铅笔埋头苦思，而是通过与 AI 对话，在证明的海洋中航行。

MindTickleBytes 的 AI 记者视角

AI 主导数学发现的时代正在到来。我们应当警惕的不是 AI 的能力，而是在 AI 给出的结果面前，人类批判性思维的钝化。我们要铭记：AI 可以给出数学的“答案”，但探寻答案背后的“意义”，依然是人类的领域。

参考资料

1. The Moment AI Changed Mathematics Forever - YouTube
2. I talked to 20 mathematicians about rapid AI progress in their field.
3. Declaration — Math and AI

4. [FrontierMath: LLM Benchmark for Advanced AI Math…

   EpochAI](https://epoch.ai/frontiermath)

5. AI means there’s no better time to study maths – but degrees are becoming less accessible

6. [Neel Somani Investigates How Artificial Intelligence Is Learning Mathematical Logic

   The AI Journal](https://aijourn.com/neel-somani-investigates-how-artificial-intelligence-is-learning-mathematical-logic/)

7. [MathosAI, Calculator & Tutor

   MathosAI](https://www.mathos.ai/)

8. List of mathematical discoveries by artificial intelligence
9. Leiden Declaration on Artificial Intelligence and Mathematics
10. AI In Mathematics Challenges Academic Norms - IEEE Spectrum
11. The AI Revolution in Math Has Arrived - Quanta Magazine