当AI“大战”数学家

据媒体报道

近日

OpenAI公开了

由前沿模型产出的

722篇数学手稿

覆盖数论、几何等诸多领域的难题

在全球数学界掀起巨大波澜

有媒体认为

AI公司正以工业化的节奏

冲击着数学这座人类最古老的知识堡垒

AI与数学家的这场博弈

关乎数学学科的未来走向

一个月内两度破解

数学界知名难题

OpenAI此次发布的

722篇数学预印本论文

在代码托管平台GitHub上公布

按照结果相关性划分为

372个“结果族”

涵盖理论计算机科学、数论

几何、数学物理等17个领域

部分成果附有Lean形式化证明

可由计算机逐步检查

逻辑推导的有效性

另一些则仅依赖非形式化论证

这些成果中

包含在准黎曼假设等

重要数学问题上的进展

OpenAI表示

绝大多数结果均采用相同流程

使用尚未发布的内部模型获得

平均每个结果耗费相当于

ChatGPT Pro三个小时的计算量

OpenAI表示

公司目标是

为包括数学家在内的科学家

打造强大的新工具

这是OpenAI在一个月内

第二次使用大模型

破解数学界知名难题

9月初

OpenAI就曾宣布

其使用一个比GPT-6 Astra更强

尚未公开的下一代模型

组织约1万个AI智能体

用88小时给出了

数学界著名“千禧年难题”之一的

纳维—斯托克斯方程

存在性与光滑性问题的证明

OpenAI将此成果称为

通用AI进入前沿科学发现的信号

成果存在诸多争议

有媒体梳理发现

OpenAI在一个月内

两次公布的相关成果

均在一定程度上

存在争议

在OpenAI宣布破解

纳维—斯托克斯方程问题后

有同样致力于解决该问题的

学者表示

他与合作伙伴此前也曾在

相近方向上取得进展

但因曾用Codex处理过对话

因此质疑OpenAI模型

是否接触会话影响了训练数据

OpenAI此次公开

数学研究手稿两天后

即在官方math仓库

发布首个成果更新日志

承认首批手稿存在瑕疵

并完成大规模修订调整

日志显示

OpenAI撤回3篇手稿

修订14篇

另有13篇更新了引用

其中3篇撤稿的原因

是一处“符号错误”

这一错误

使一篇论文中的论证失效

并连带影响到两篇

依赖其构造的论文

数学界多次发声反对

有媒体表示

近几个月

有关AI进入基础数学领域的

冲突不断激化

此前数学界已多次集体发声

对此表示反对

2026年6月

16位知名数学家就曾联合发布

《人工智能与数学莱顿宣言》

呼吁数学界建立清晰规范

研究者应透明披露工具的使用

保持结论正确性和引用完整性

且责任归属人类

9月11日

25名菲尔兹奖得主

联名发布公开信

《人工智能在数学中的严重错位》

警示AI“暴力破解”数学难题

带来的学术风险

随后

由顶尖数学家组成的

数学与人工智能咨询组（AGMAI）

也发布建议

明确反对前沿AI实验室

使用外界无法访问的内部模型

测试高难度数学问题

针对此次

OpenAI发布700余篇

AI数学手稿

菲尔兹奖得主陶哲轩

对OpenAI发起抵制

呼吁全球数学家

停止与OpenAI的合作

重回以人类理解为核心的科学愿景

他表示

发布超过700个数学文件

不是展示学术

而是展示权力

AI能高速生成命题和证明

但人类来不及

验证、理解、写作、教学和吸收

结果出现大量

“无人能消化的证明”

数学界普遍认为

基础数学研究

不在于快速得出标准答案

而在于人类

在推演、论证、思考过程中

诞生的全新数学思想

概念体系与研究方法

AI介入可能会打乱

学科研究节奏

甚至引发署名混乱、引用失当

隐性抄袭等一系列学术伦理问题