创新日报

陶哲轩牵头25位菲尔兹奖得主宣战OpenAI,700份机器证明砸向数学界

深夜,理论计算机科学家Dana Moshkovitz打开一份OpenAI发布的文档,手指停在屏幕上。她花了整个学术生涯研究“唯一博弈猜想”,此刻文档里赫然写着该猜想已被证明。读完一夜,她给丈夫Scott Aaronson发去短信:“这感觉像是吃了致幻剂的人写出来的东西。”没有同行评审,没有可读的人类逻辑。

希鸥网观察到,这场冲突的导火索由人类数学协会(AHM)点燃。这家由菲尔兹奖得主陶哲轩牵头、联合25位菲尔兹奖得主成立的行业组织,近日发布联合声明,全面抵制OpenAI。声明措辞罕见严厉:“没人求过你们解这些证明。”全球顶尖数学家自发建立的行业防线,正式向商业算力宣战。

OpenAI的算力霸权正在重构数学研究的成本结构。公开数据显示,其动用内部模型测试约8000个开放数学问题,命中率仅5%,平均每道题消耗3小时GPT-Pro级别算力。三小时,碾碎一个学者数年甚至一生的积累。这不是科研,是工业化收割。700多份机器草稿砸向学术界,试图让全球顶尖学者免费当人工验题工具人。

更令数学界愤怒的是信任被践踏。OpenAI曾拉普林斯顿高等研究院设立数学与AI咨询小组,官方发文宣称深度共建。专家小组首份报告明确划红线:前沿AI公司不应在内部模型上擅自测试高深数学难题。OpenAI充耳不闻,转头刷了8000道题,把700份草稿甩在所有人脸上。合作成了公关幌子。

恐惧正在年轻学者群体中蔓延。陶哲轩警告的“证明消化不良”已全面爆发:一个问题一旦被宣称解决,就再也回不到未解决状态。很多年轻学者不敢公开研究方向,害怕被大模型截胡。数学研究的心理契约被撕毁,人类学者沦为验算工具人。商业算力工业化收割难题,留给人类的是无法理解的荒地。

希鸥网认为,这场冲突的核心不在技术,而在价值分配。OpenAI用3小时算力换700份草稿,试图让全球顶尖学者免费当人工验题工具人,这是商业逻辑对学术共同体的降维打击。利益格局正在重构:资本与算力获益,学术声誉与人才培养受损。数学研究的公共品属性,正被私有化算力吞噬。谁在杀死数学?答案藏在8000道题的命中率里。

创业者从中能看到熟悉的影子。现金流比利润重要,现金流断了,利润再高也是死。数学界的“现金流”是学术信誉与智力积累,OpenAI的700份草稿看似产出丰厚,实则透支了学术共同体最宝贵的资产——信任。AI公司无休止加速,却对之后会发生什么一无所知,这种盲目扩张正是典型的现金流断裂前兆。

创始人必须比会计更懂数字背后的业务含义。数学界也需要看懂AI的“财务报表”。8000道题、5%命中率、3小时算力,这些数字背后是算力霸权的成本结构。若只看表面的“突破”,忽视对学术规范的实质破坏,就像司机看不懂仪表盘,迟早出车祸。陶哲轩反复追问:证明难题难道就是数学的全部?

融资不是成功的标志,很多时候是毒药。数学界几十年来依赖人类智力探索的节奏,正被AI“融资”加速。但算力再强,也无法替代数学研究中研讨会、讲座、跨代际传承的生态。AI给了数学界一笔巨额“投资”,但若没有配套的学术规范和使用边界,这笔钱只会让领域死得更快。守住自己的节奏,比盲目拥抱算力更重要。

金鸥品牌榜·2026年度创新案例库开放申报了。免费提报,独立评估,入榜品牌将获得电子版《入榜证明》及年度专题公示,优秀案例可获得深度专访+全平台分发。如需修改或发布文章,请加微信号:sheisceo

阅读量:1441
阅读时间:3分钟