陶哲轩带头宣战！人类数学家联合抵制OpenAI
陶哲轩带头宣战！人类数学家联合抵制OpenAI彻底撕破脸了。
来自主题: AI资讯
6861 点击 2026-10-09 11:33
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
彻底撕破脸了。
陶哲轩在SAIR最新演讲中呼吁AI公司放慢数学解题速度，称AI量产证明却缺乏理解、阐释和传播，将引发“Proof Indigestion”与数据污染风险。
Caltech的Anima Anandkumar团队利用物理信息神经网络（PINN）和自研优化器，在三维无强迫欧拉方程自由空间中求得奇点候选解，缩放指数收敛至约0.5，但最终证明仍待完成。
上周六，陶哲轩、邓煜、彼得·舒尔茨等 25 位菲尔兹奖得主联合发表了一份声明《人工智能在数学中的严重错位》，引发广泛讨论。陶哲轩还表示「事态紧迫」，他们根本没有时间等待更广泛的协商就决定先行发布。
说AI毁了数学，可能还是太小瞧AI了。
Shengtao Guo、Ethan X. Fang和Junwei Lu署名的预印本论文宣称利用Odin Automatic AI Research Agent证明了悬而未决40年的Komlós猜想并给出常数界3√(2π)，次日陶哲轩等25位菲尔兹奖得主发表联合声明《AI在数学中的严重失准》，警告AI证明速度已远超学界验证与消化的能力。
陶哲轩等25位菲尔兹奖得主联名发表公开信，抗议OpenAI与Anthropic将千禧年数学难题当作基准测试和公关素材，指控其涉嫌窃取数学家未公开研究成果以暴力破解黎曼猜想等难题，警告AI公司正在摧毁数学学术生态。
今天，全网都在吃OpenAI的这个大瓜。
上台前最后一分钟，陶哲轩还在用AI捣鼓数学证明。
Grok，学会一键看片了？