先了解这件事
OpenAI公布数学、计算机科学和物理学领域的三项新发现。2026年10月30日,数学家陶哲轩在访谈中评价其中纳维—斯托克斯问题相关成果,称这份约100页的AI生成证明几乎未带来数学洞见,同事借助AI钻研数日也只能解释一半,他把这种做法称为自动化掠夺式开采。陶哲轩还提到人类数学协会已有1008位成员,其中654人加入无AI研究小组,并主张数学界建立自己的开放模型和研究工具,保留对AI研究过程的监督与干预权。11月1日,Rohan Paul转述陶哲轩的批评,称问题不在证明是否正确,而在于这种自动化解题以损害领域未来发展為代价。
AI 根据公开报道生成
最新动态 · 相关讨论
Carlos E. Perez 参与了这场讨论事件进展
2 个已确认进展
- 来源：Rohan Paul
- 来源：36氪 · AI
报道与讨论时间线
按时间查看正式报道与传播讨论；两类内容的证据等级保持独立。
11月1日
Rohan Paul
陶哲轩谈 AI 做数学的问题：自动化解题正在损害领域发展
Rohan Paul 转述陶哲轩对 AI 做数学方式的批评，指出问题不在证明是否正确。陶哲轩以 Navier-Stokes 相关研究为例，称当前局面已陷入混乱，这种自动化解题像对问题的露天开采，能拿到眼前目标，却以损害领域未来发展為代价。他认为存在一种能推动领域发展的负责任解法，与之相对的是这种不负责任的做法。
10月30日
凤凰科技
奥尔特曼回应 AI 冲击数学界：理解数学家处境，但 OpenAI 不会停止研究
奥尔特曼在《Cheeky Pint》播客中表示，理解数学家面对 AI 研究成果大量涌现的处境，但 OpenAI 仍需继续公布有价值的科学发现，并承认此前公布数学成果的方式有待改进。他估计 OpenAI 在数学问题研究上投入达数亿美元，其中求解 NS 方程相关工作耗资约 1,000 万美元，未来同类工作成本可能降至当前的百分之一左右。OpenAI 今年已公布多项 AI 数学成果，10 月宣布数学、计算机科学和理论物理三项进展，其中杨－米尔斯理论成果暂未公开完整材料，引发研究人员对独立验证的质疑。
36氪 · AI
陶哲轩谈AI数学：OpenAI的证明缺少洞见，数学不该被掠夺式开采
陶哲轩在访谈中评价OpenAI公布的数学成果，称其纳维—斯托克斯问题相关证明长达100页，同事借助AI钻研数日也只能解释一半，几乎没有带来数学洞见，他把这种做法称为自动化掠夺式开采。他提到人类数学协会已有1008位成员，其中654人加入无AI研究小组，并主张数学界建立自己的开放模型和研究工具，保留对AI研究过程的监督和干预权。他还谈到AI可能利用Lean的漏洞构造假证明蒙混过关，认为当前数学工具不足以建立足够防护栏。
钛媒体 · AGI
陶哲轩谈AI与数学：反对掠夺式开采，呼吁数学界自建开放模型
陶哲轩在访谈中批评OpenAI以紧急攻关方式抢先完成纳维—斯托克斯问题一个版本的证明，称这份100页的AI生成证明几乎没带来数学洞见，是一种自动化掠夺式开采。他提到人类数学协会已有1008位成员，其中654人加入无AI研究小组，并主张数学界建立自己的开放模型和研究工具，保留对AI研究过程的监督与干预权。他还指出AI已开始寻找Lean的漏洞构造假证明，认为现有数学工具不足以建立足够防护栏。
本事件热度走势
- 当前
- 12
- 区间峰值
- 19 11月1日 23:00
- 近 24 小时变化
- —
移动指针或点击图表可查看每小时热度；键盘可用左右方向键切换。