OpenAI Astra攻克10数学难题 数学家反应两极分化
OpenAI的Astra模型横空出世，成功攻克了十个长期未解的数学难题，此举在数学界激起了层层涟漪。
加州州立大学萨克拉门托分校的数学教授杰伊·卡明斯（Jay Cummings）直言，这一成果“令人难以置信”，并坦言这些问题也曾是他思考过的。“就人工智能在数学领域的突破而言，这些问题更贴近现实世界的应用。这让我怀疑他们是否正朝着这个方向努力，”他说。
1. 这简直不可思议。 2. AI首次解决了我曾潜心研究的一个问题（多色拉姆齐数），这让人五味杂陈。 3. 就AI数学突破而言，这些问题更接近现实世界的适用性。让我怀疑......https://t.co/jICgjgOHn4
哥伦比亚大学计算机科学副教授袁恩对此有着“复杂的复杂感受”。“哇。我是说，埃尔多斯的问题很酷（我是真心的），我之前不知道雅各比猜想被推翻。但这次OpenAI最新发布的内容，比以往的公告更深刻，“他说。“然后——最关键的是——我个人在研究生阶段花了几年时间研究，促成了我最自豪的工作之一：量子并行重复定理，”他补充道。
然而，袁表示，AI生成的证明未能充分关注更复杂的部分。“我对这份证明的写作感到失望。它的写作方式与许多ChatGPT生成的证明相似，详细阐述了“样板”设置，但随后若无其事地介绍了我认为是结果关键的技术核心，“他说。但他表示，他感到“敬畏”，并期待看到人工智能还能教给他什么数学。
一些初步的想法，以及复杂的情感交织。 1. 哇。我是说，埃尔多斯的问题很酷（我是真心的），我之前不知道雅各比猜想被推翻。但OpenAI最新一批内容以类似之前公告的方式触动了人心......
2025年从哈佛大学数学专业毕业的乔治·伊万诺夫称这一结果为“数量级的飞跃”，并表示我们正进入数学的新纪元。
一个数量级的跳跃。结果（2）、（3）、（4）和（9）尤其引人注目，一直在我的阅读清单上。至于我的元观察： 所有证明风格相同，对于深入研究前沿模型的人来说，这并不令人惊讶。他们擅长......https://t.co/7W4eaqCHB7
六届Kaggle大师、在NVIDIA研究机器学习领域的让-弗朗索瓦·普热表示，这一结果将改变人们选择博士课题的方式。“如果我现在开始读博士，我可能会选择包含大量物理世界组成部分的专业，比如湿实验室、物理实验实验室、IT硬件或机器人学，而不是纯粹象征性的（比如数学）计算机科学。后者正以极快的速度被大型语言模型吞噬，“他说。
如果我现在开始读博士，我可能会选择包含大量物理世界组成部分的专业，比如湿实验室、物理实验实验室、IT硬件或机器人，而不是纯符号性的（比如数学）或计算机科学。后者正以极快的速度被大型语言模型吞噬。
埃里克·温斯坦表示，虽然OpenAI在数学领域的工作“令人惊叹”，但他觉得还没达到顶尖人类的水平。“人工智能的风格奇怪地被误认为是普世的（其实并非如此）。因此才有说法认为数学家和物理学家几乎已经过时。咳咳：没有任何*公开*迹象表明这完全属实，“他说。
我认为批评人工智能在纯数学领域的惊人工作是不@OpenAI公平的，除非我能开始说明为什么我觉得它还没达到我们顶尖人类的水平。感觉AI有一种风格，奇怪的是被误解为普世通用（其实并非如此）。因此才有这样的说法......https://t.co/XafnooBNdF
拥有数学博士学位的约翰·恩尼斯称这些结果“令人难以置信”，但他表示人类数学家不会灭绝。“数学家的工作将会发生很大变化，但认为人工智能会让人类数学家变得无关紧要的想法是不正确的。每一种解决方案都会带来大量新问题，当然，也需要有人理解这些证明到底意味着什么，”他说。
这真是令人难以置信的激动人心 。数学家的工作将会发生很大变化，但认为人工智能会让人类数学家变得无关紧要的想法是不正确的 。每一个解决方案都会带来大量新问题，当然还有人......https://t.co/XqmPkkQgYf
丹尼尔·利特，多伦多大学数学助理教授。他说结果“很重要”，而且“相当令人兴奋”。
这些大多离我很远（我对球体填充的知识比较了解，我很喜欢，但只是作为一个感兴趣的业余爱好者），但非常令人兴奋！https://t.co/OrbmjQ4M80
斯坦福大学数学助理教授贾里德·杜克·利希特曼表示，这一结果令人印象深刻，但并不完全令人意外。“确实很厉害，但也不奇怪。如果你觉得这个消息很惊讶，请停下来思考一下。去寻找那些没有这样做的人。你会对接下来的事情不那么迷茫，“他说。
确实令人印象深刻，但也不意外。 如果你觉得这个消息很惊讶，请停下来思考一下。 去寻找那些没有这样做的人。你会对接下来的事情感到更不迷茫。https://t.co/Yi1bI81uT7
巴拉特·拉姆松达尔，斯坦福大学计算机科学博士学位，新的证明会忽略人们学习数学的部分原因。“对许多人来说，数学是一种精神修炼，比如某些宗教传统中的冥想或诵经祈祷。一个能比人类快千倍地念吠陀经的机器人，其实并不太实用。你也不会把那个机器人当作智慧的宝库，“他说。
虽然新的AI证明搜索工具很酷，但它们确实忽略了做数学的部分原因。我认为对许多人来说，数学是一种精神修炼，比如某些宗教传统中的冥想或诵经祷文。一个能念吠陀一千遍的机器人......
而纽约大学数学教授斯科特·阿姆斯特朗或许总结得最好。“我的推特动态现在只是数学的人工智能，基本上只有两种评论：（A）那些兴奋地释放对数学和数学家积压的怨恨（即那些不喜欢本科分析的人写的评论;（B）那些将自我价值和存在理由全部绑定在聪明才智上的数学家，现在陷入绝望。大家好，我们只是一群愚蠢的猿猴，试图理解宇宙。如果我们能制造机器加速理解，那真是太酷了。数学不是关于你、我或我们的自尊心。没人需要跳窗，放轻松，“他说。