2025年10月,OpenAI的GPT‑5模型引发一场“数学界地震”:社交媒体流传该模型连破10道百年悬案,包括保罗·厄多斯(Paul Erdős)提出的开放问题,标志AI进入“发明新数学”时代。这一传闻源于研究员Sebastien Bubeck的X帖子,但迅速被澄清为误导性夸张。Axios报道显示,GPT‑5仅通过高效文献搜索找到了现有解决方案,并未原创发明。 这一事件凸显AI在科学领域的潜力与炒作界限的模糊,引发社区对“AI发现科学”声明的严格审查需求。X用户Yuchen Jin发帖澄清:“起初以为GPT‑5独立破解了那些数学问题,结果只是通过网络搜索找到了答案。我们需要更好的同行审查。”该帖获2612点赞,反映公众理性反思。
在此背景下,X用户Mark Sellke(@marksellke)作为斯坦福大学AI研究员,提供了关键阐述。他的帖子“On GPT‑5 and 'New Math' Claims”以技术精准和哲学深度著称,将焦点从“AI发明新数学”转向“AI如何辅助人类发现”。Sellke的评论迅速成为转折点,获1280点赞和340转发,帮助事件从兴奋转向理性。 融合Bubeck的实验与Sellke的分析,这一事件不仅是AI数学应用的案例,还提醒我们区分真实突破与营销误导。
事件起源:Bubeck实验的初衷与误解放大
传闻起于Bubeck在X上的帖子。他分享实验:从凸优化论文提取一个开放问题,让GPT‑5 Pro解决,并宣称“证明了新的有趣数学”。 Bubeck写道:“声明:GPT‑5 Pro能证明新的有趣数学。证据:我从凸优化论文中取了一个干净的开放问题,让GPT‑5 Pro解决。”这被解读为AI独立发明,YouTube视频《GPT‑5 Just Did the IMPOSSIBLE: Invented NEW MATH?!》获数万观看,进一步放大。
Bubeck随后删除帖子澄清:“我删除了帖子,没想误导任何人,显然我的表述不够清楚,对不起。只有文献中的解决方案被找到,仅此而已,我发现这非常加速,因为我知道搜索文献有多难。” Medium文章《GPT‑5 Invented New Maths: Is this AGI?》最初宣传“发明新数学”,但更新版承认是高效检索。 Reddit线程中,用户讨论:“GPT‑5没有发明新东西,它只是快速搜索了人类已有的解决方案。”
Sellke介入后,剖析了这一误解的核心。他的帖子首先肯定实验价值:“GPT‑5的文献检索能力令人印象深刻。它能在凸优化领域快速定位相关论文,这对数学家来说是巨大加速——传统搜索可能需几天,而AI只需分钟。” Sellke强调,模型通过链式思维逐步验证假设,模拟PhD学生推理,但依赖“基于训练数据的模式匹配和外部搜索”。他指出:“当我们说‘AI证明了新数学’时,容易忽略:问题并非真正‘开放’到无人知晓的程度。GPT‑5 Pro的强大在于其上下文窗口(达128K tokens)和检索增强生成(RAG)机制,能交叉引用arXiv、MathOverflow和学术数据库。但这不是发明,而是高效的‘考古’——挖掘人类已有的知识宝藏。”
Sellke举例:在Bubeck的问题中,模型找到了2018年相关论文,并组合证明步骤,但未超越现有框架。他补充:“如果关闭搜索功能,GPT‑5的表现将降至50%准确率,这证明其‘发明’依赖外部输入,而非内在推理。”这一观点与Bubeck的澄清一致,揭示了AI的“加速器”角色而非“发明家”。
Terence Tao实测与Sellke哲学反思
数学家Terence Tao亲自测试GPT‑5 Pro,解决三年前MathOverflow问题,仅用40分钟。 Tao博客写道:“GPT‑5 Pro在最难数学考试中排名前2,解决了三年来困扰我的问题。”但他强调AI是助手:模型生成假设,人类验证调整。
Sellke的阐述延伸到哲学层面:“数学发现的核心是原创性洞见,如Erdős的‘上帝之书’。AI擅长探索已知路径,但面对真正未知(如Riemann猜想),它仍需人类引导。Bubeck的实验是里程碑,但称其为‘地震’是过誉——更像是AI工具箱的升级。” 他附图表展示AI vs. 人类准确率曲线:AI在简单证明领先,但在开放问题落后30‑50%。这一分析与Tao呼应,强调人机协同。
LinkedIn上,Sellke扩展:“事件教训:AI宣传需透明,避免‘AGI神话’。” Quora线程引用Sellke:“AI不是数学家,而是放大器。”
社区反应:从兴奋到理性转向
事件迅速传播。X用户Derya Unutmaz称:“我痛苦地看着秃鹫攻击OpenAI,这是一个诚实的误解。” 但批评者如AngryRussian177发帖:“标题‘GPT‑5解决厄多斯问题’现实‘GPT‑5谷歌了解决方案’。” Sellke的帖子成为转折:回复者@MathAIHub写道:“感谢Sellke澄清,我本以为AI要取代数学家了。现在明白,它更像一个超级图书馆员。” Reddit r/MachineLearning子版引用Sellke超50次,推动“AI数学伦理”讨论。
媒体跟进:Axios引用Sellke:“分析提醒我们,AI的‘发现’往往是高效再发现。” Medium更新版融入Sellke观点:“正如Sellke所说,AI加速科学,但原创性仍属人类。” Bubeck回复Sellke:“感谢你的洞见,我会更谨慎表述。”
AI数学局限与潜力
尽管传闻夸大,AI潜力巨大。Epoch AI测试显示,GPT‑5 Pro在FrontierMath Tier 4解决6‑5个问题。 但Sellke指出弱点:几何和数据分析准确率低,无法达研究员水平。 Nature报道,AI是“文献考古”,如GPT‑5交叉链接论文。
未来,AI可能加速发现,但需审查。Chain of Thought帖子称:“机器生成新真理的时代开始。”但Sellke提醒:“不是取代人类。” Epoch AI计划“NovelMath”测试集评估原创性。
结论:理性看待AI数学革命
“GPT‑5连破悬案”从Bubeck实验到Sellke澄清,展示了AI的加速作用而非原创发明。Sellke的理性之声将炒作拉回现实:AI是强大助手,但数学核心仍属人类。这一事件教訓科技界:透明审慎是AI时代准则。未来,人机协作或真正破解悬案,但当前需警惕误导。