来源: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日 ”未来知识库”精选的百部前沿科技趋势报告
(加入未来知识库,全部资料免费阅读和下载)
热门跟贴