“意义重大”：数学界对 OpenAI 的 Astra 模型解决 10 个未解数学难题的反应

来源：https://officechai.com/ai/big-deal-how-the-math-community-has-reacted-to-openais-astra-model-solving-10-open-math-problems/

OpenAI确实引起了数学界的关注，他们宣布用尚未公开的模型Astra解决了10个未解数学问题，数学家们对此消息反应各异。

加州州立大学萨克拉门托分校的数学教授杰伊·卡明斯（Jay Cummings）说，他的成果“令人难以置信”，并表示这些问题是他自己也曾思考过的。“就人工智能数学突破而言，这些问题更接近现实世界的应用。“这让我怀疑他们是否正试图朝那个方向发展，”他说。

1. 这太不可思议了。 2. AI首次解决了我花时间研究的一个问题（多色拉姆齐数），这让这件事更加难受。 3. 就人工智能数学突破而言，这些问题更接近现实世界的适用性。让我怀疑......https://t.co/jICgjgOHn4 —— 杰伊·卡明斯（@LongFormMath）2026年8月2日

哥伦比亚大学计算机科学副教授袁恩表示，他对这一结果有着“复杂的复杂感受”。“哇。我是说，埃尔多斯的问题很酷（我是真心的），我之前不知道雅各比猜想被推翻。但这次OpenAI最新发布的内容，比以往的公告更深刻，“他说。“然后——最关键的是——我个人在研究生阶段花了几年时间研究，促成了我最自豪的工作之一：量子并行重复定理，”他补充道。

然而，袁表示，AI生成的证明未能充分关注更复杂的部分。“我对这份证明的写作感到失望。它的写作方式与许多ChatGPT生成的证明相似，详细阐述了“样板”设置，但随后若无其事地介绍了我认为是结果关键的技术核心，“他说。但他表示，他感到“敬畏”，并期待看到人工智能还能教给他什么数学。

一些初步想法，以及复杂的情感交织。 1. 哇。我是说，埃尔多斯的问题很酷（我是真心的），我之前不知道雅各比猜想被推翻。但OpenAI最新一批内容以类似之前公告的方式触动了人心...... —— 袁亨利（@henryquantum）2026年8月1日

2025年从哈佛大学数学专业毕业的乔治·伊万诺夫称这一结果为“数量级的飞跃”，并表示我们正进入数学的新纪元。

一个数量级的跳跃。结果（2）、（3）、（4）和（9）尤其引人注目，一直在我的阅读清单上。至于我的元观察： 所有证明风格相同，对于深入研究前沿模型的人来说，这并不令人惊讶。他们擅长......https://t.co/7W4eaqCHB7 —— 乔治·伊万诺夫（@GeorgiIlIvanov）2026年8月2日

六届Kaggle大师、在NVIDIA研究机器学习领域的让-弗朗索瓦·普热表示，这一结果将改变人们选择博士课题的方式。“如果我现在开始读博士，我可能会选择包含大量物理世界组成部分的专业，比如湿实验室、物理实验实验室、IT硬件或机器人学，而不是纯粹象征性的（比如数学）计算机科学。后者正以极快的速度被大型语言模型吞噬，“他说。

如果我现在开始读博士，我可能会选择包含大量物理世界组成部分的专业，比如湿实验室、物理实验实验室、IT硬件或机器人，而不是纯符号性的（比如数学）或计算机科学。后者正以极快的速度被大型语言模型吞噬。 —— JFPuget （@JFPuget） 2026年8月2日

埃里克·温斯坦表示，虽然OpenAI在数学领域的工作“令人惊叹”，但他觉得还没达到顶尖人类的水平。“人工智能的风格奇怪地被误认为是普世的（其实并非如此）。因此才有说法认为数学家和物理学家几乎已经过时。咳咳：没有任何*公开*迹象表明这完全属实，“他说。

我认为批评人工智能在纯数学领域的惊人工作是不@OpenAI公平的，除非我能开始说明为什么我觉得它还没达到我们顶尖人类的水平。感觉AI有一种风格，奇怪的是被误解为普世通用（其实并非如此）。因此才有这样的说法......https://t.co/XafnooBNdF —— 埃里克·温斯坦（@ericweinstein）2026年8月2日

拥有数学博士学位的约翰·恩尼斯称这些结果“令人难以置信”，但他表示人类数学家不会灭绝。“数学家的工作将会发生很大变化，但认为人工智能会让人类数学家变得无关紧要的想法是不正确的。每一种解决方案都会带来大量新问题，当然，也需要有人理解这些证明到底意味着什么，”他说。

这真是令人难以置信的激动人心 。数学家的工作将会发生很大变化，但认为人工智能会让人类数学家变得无关紧要的想法是不正确的 。每一个解决方案都会带来大量新问题，当然还有人......https://t.co/XqmPkkQgYf —— 约翰·恩尼斯（@johnennis）2026年8月1日

丹尼尔·利特，多伦多大学数学助理教授。他说结果“很重要”，而且“相当令人兴奋”。

这些大多离我很远（我对球体填充的知识比较了解，我很喜欢，但只是作为一个感兴趣的业余爱好者），但非常令人兴奋！https://t.co/OrbmjQ4M80 —— 丹尼尔·利特（@littmath）2026年8月1日

斯坦福大学数学助理教授贾里德·杜克·利希特曼表示，这一结果令人印象深刻，但并不完全令人意外。“确实很厉害，但也不奇怪。如果你觉得这个消息很惊讶，请停下来思考一下。去寻找那些没有这样做的人。你会对接下来的事情不那么迷茫，“他说。

确实令人印象深刻，但也不意外。 如果你觉得这个消息很惊讶，请停下来思考一下。 去寻找那些没有这样做的人。你会对接下来的事情感到更不迷茫。https://t.co/Yi1bI81uT7 ——贾里德·杜克·利希特曼（@jdlichtman）2026年8月1日

巴拉特·拉姆松达尔，斯坦福大学计算机科学博士学位，新的证明会忽略人们学习数学的部分原因。“对许多人来说，数学是一种精神修炼，比如某些宗教传统中的冥想或诵经祈祷。一个能比人类快千倍地念吠陀经的机器人，其实并不太实用。你也不会把那个机器人当作智慧的宝库，“他说。

虽然新的AI证明搜索工具很酷，但它们确实忽略了做数学的部分原因。我认为对许多人来说，数学是一种精神修炼，比如某些宗教传统中的冥想或诵经祷文。一个能念吠陀一千遍的机器人...... —— 巴拉特·拉姆松达尔（@rbhar90）2026年8月2日

而纽约大学数学教授斯科特·阿姆斯特朗或许总结得最好。“我的推特动态现在只是数学的人工智能，基本上只有两种评论：（A）那些兴奋地释放对数学和数学家积压的怨恨（即那些不喜欢本科分析的人写的评论;（B）那些将自我价值和存在理由全部绑定在聪明才智上的数学家，现在陷入绝望。大家好，我们只是一群愚蠢的猿猴，试图理解宇宙。如果我们能制造机器加速理解，那真是太酷了。数学不是关于你、我或我们的自尊心。没人需要跳窗，放轻松，“他说。

阅读最新前沿科技趋势报告，请访问21世纪关键技术研究院的“未来知识库”

未来知识库是 “21世纪关键技术研究院”建 立的在线知识库平台，收藏的资料范围包括人工智能、脑科学、互联网、超级智能，数智大脑、能源、军事、经济、人类风险等等领域的前沿进展与未来趋势。目前拥有超过8000篇重要资料。每周更新不少于100篇世界范围最新研究资料。 欢迎扫描二维码或访问https://wx.zsxq.com/group/454854145828进入。

截止到2月28日 ”未来知识库”精选的百部前沿科技趋势报告

（加入未来知识库，全部资料免费阅读和下载）