福建
据媒体报道
近日
OpenAI公开了
由前沿模型产出的
722篇数学手稿
覆盖数论、几何等诸多领域的难题
在全球数学界掀起巨大波澜
有媒体认为
AI公司正以工业化的节奏
冲击着数学这座人类最古老的知识堡垒
AI与数学家的这场博弈
关乎数学学科的未来走向
一个月内两度破解
数学界知名难题
OpenAI此次发布的
722篇数学预印本论文
在代码托管平台GitHub上公布
按照结果相关性划分为
372个“结果族”
涵盖理论计算机科学、数论
几何、数学物理等17个领域
部分成果附有Lean形式化证明
可由计算机逐步检查
逻辑推导的有效性
另一些则仅依赖非形式化论证
这些成果中
包含在准黎曼假设等
重要数学问题上的进展
OpenAI表示
绝大多数结果均采用相同流程
使用尚未发布的内部模型获得
平均每个结果耗费相当于
ChatGPTPro三个小时的计算量
OpenAI表示
公司目标是
为包括数学家在内的科学家
打造强大的新工具
这是OpenAI在一个月内
第二次使用大模型
破解数学界知名难题
9月初
OpenAI就曾宣布
其使用一个比GPT-6Astra更强
尚未公开的下一代模型
组织约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介入可能会打乱
学科研究节奏
甚至引发署名混乱、引用失当
隐性抄袭等一系列学术伦理问题
撰文：朱昱晗编辑：张晨昊排版：李飞统筹：李政葳
参考：科技日报、经济日报、中国科学报、21世纪经济报道
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
