西北大学数学家布莱纳·克拉回忆说,参加者对OpenAI的会议反应是“既兴奋又担忧”,但这次会议被认为是一个有希望的第一步。她告诉WIRED,数学界曾请求OpenAI不要像之前那样仅通过博客或推特发布成果,而是应该发表论文,详细解释工作内容,以便数学家们能够理解、消化并利用这些结果。“显然,这一建议被忽视了,”克拉说。
据知情人士透露,OpenAI计划在周二通过GitHub发布数百个未解决数学问题的解决方案。这将是今年AI生成的数万个数学解答中的最新一批,随着前沿模型能力的提升,AI在数学领域的表现越来越强。
OpenAI的麦考勒姆表示:“8月28日,我们开始训练一个新的内部模型。除了攻克纳维-斯托克斯千禧年大奖问题外,该模型还解决了数学大部分领域中100多个长期未解的问题。我们正在根据高级研究院数学与人工智能咨询组的建议,负责任地发布下一批数学成果,但尚未确定具体发布时间。”
然而,多位顶尖数学家认为,这次即将发布的成果显示公司并未从之前的争议中吸取教训。
这些学者在接受WIRED采访时表示,数学领域正成为OpenAI及其竞争对手Anthropic展示模型能力的舞台。为了争夺市场领先地位,传统科学成果发布和署名的规范被忽视。
最引人注目的是9月发生的一起事件。OpenAI动用了数千个代理去解决一个价值百万美元的千禧年大奖难题,原因是听闻“有传言”其他团队接近解决方案。纽约大学数学家特里斯坦·巴克马斯特指责OpenAI抢先发布了他与Anthropic员工Levent Alpöge合作研究的部分成果。两人尚未发表论文,但一直使用OpenAI工具辅助研究。
在协商署名问题时,巴克马斯特称OpenAI研究员塞巴斯蒂安·布贝克暗示应排除Alpöge的署名,理由是这会使事情复杂化。(布贝克回应称,他曾公开否认过要求排除Alpöge署名。)巴克马斯特拒绝了这一提议。会议记录显示,布贝克还担心Anthropic会全力投入计算资源以获得千禧年大奖问题的解决方案,并警告巴克马斯特若将此事曝光可能会毁掉他的职业生涯。布贝克说:“如果你不想让我友好,那我也没必要友好。”
纽约大学访问教授内斯特·吉伦告诉WIRED,数学界普遍感受到AI公司“黑帮式”的行为。
对此,麦考勒姆回应称:“我们不同意这种说法。”
吉伦表示:“我和我的数学同行越来越感到焦虑,这不是针对AI本身,而是针对AI公司。我认为这种焦虑源于权力过度集中。”
OpenAI于9月中旬成立了一个咨询小组,协助公司评估和发布新成果,维护学术标准,并开发支持数学研究和学习的工具。但数学家们认为公司进展有限。

许多数学家对OpenAI和Anthropic仍通过博客而非科学论文发布成果感到不满,这种做法难以验证且常常忽视其他数学家的先前工作。零散的发布不仅限于实验室,Alpöge本人曾在世界杯决赛后通过推特宣布推翻了一项已有87年历史的猜想。
克拉说:“通过推特和新闻稿发布数学成果,无法培育出孕育这些成果的生态系统。”
今年,一些数学家开发了新工具应对机器辅助证明的增加,帮助社区利用新成果并筛选需要进一步消化的内容。这些工具包括主要收录AI生成材料的Hexagon和机器验证数学的Palomar。
尽管OpenAI被直接鼓励使用这些工具,克拉指出:“他们并未改变行为。”她也认为公司的做法与她参与起草的莱顿宣言不符,该宣言呼吁AI公司遵守数学界标准。
据知情人士透露,OpenAI内部部分员工认为他们的技术已经让数学“死亡”。麦考勒姆则表示:“我们不认为数学的未来已定,我们正与数学界合作,共同探索未来。”
在8月的会议上,AI能力超越人类研究者的情景被描述为假设,但与会者向WIRED透露,这更像是对未来的警告。有人形容公司向数学家通报其能力和突破的方式,就像警方在报告车祸死亡前通知家属一样。
据知情人士称,布贝克认为其公司的技术将迅速终结大多数数学家的职业生涯。布贝克告诉WIRED,他相信更强大的AI能帮助数学家解决更具挑战性的问题,更好地连接研究成果以应对现实世界难题,并让数学更易于理解。“我认为这是扩展数学家能力和影响力的机会,”他说。
数学家们知道必须适应变化,尤其是为年轻一代做好准备,但他们不认为数学领域已经终结。克拉说:“这改变了我们的工作方式,但也是一个让我们思考更大可能性的时刻。”她很高兴拥有强大的新工具来解决问题,只是希望公司能更好地披露信息,以便她信任并基于这些成果继续研究。
“这是一个令人害怕的时代,”她说,“但同时也是一个极其激动人心的时代。”
更新:2026年10月6日下午2:22,WIRED更新了报道,澄清了OpenAI向数学家透露已解决的一组数学问题的相关内容。


