OpenAI甩出700份AI证明后，陶哲轩开始带头抵制

10月6日，OpenAI挂出700多份机器证明，不少数学家点开，眼前一黑。

第二天，陶哲轩牵头人类数学协会发声明，核心就一句：这不算科研，并在声明中敦促数学家停止跟OpenAI合作。

这批证明的来历也不复杂。OpenAI用内部模型测了约8000个开放难题，命中率5%左右，平均解一道只烧约3小时的高端算力。三小时机器运算，对上学者几年甚至十几年的研究。

让学者破防的不是快，是稿子没法读。没有同行评审，通篇逻辑跳跃，堆一堆现成结论却不说适用范围。理论计算机科学家斯科特·阿伦森的妻子、学者达娜·莫什科维奇研究一个顶级猜想多年，文档里赫然写着“已证明”，她连夜看完只觉得荒诞：像吃了致幻剂的人写的。

跑模型的工程师，不负责核验这些证明。

看得懂证明的人被天书折腾，学者被这些公开稿子推着，免费当起验题工具人。

声明发布前早有伏笔。OpenAI之前拉着普林斯顿高等研究院设过咨询小组，第一份报告就划红线：别拿内部模型擅测高深难题。在AHM看来，这条红线没被当回事。

陶哲轩更警惕的是：一个问题一旦被宣称解决，就回不到未解决的状态，哪怕答案存疑，也会污染更深的研究路径，已经有年轻学者不敢公开自己的方向。

Meta首席AI科学家、图灵奖得主杨立昆看法相反：船的发明降低了游泳的重要性，却让人发现新大陆。只是被700份稿子砸中的人，大多不想先上那艘船。


AI 人工智能 AI数学家