一个符号错误让OpenAI撤下了三篇新数学论文
OpenAI周三撤下三篇数学手稿，前一天它刚把722篇论文放上GitHub。其中一篇的符号错误推翻了另外两篇依赖的论证。剩下的719篇里，只有300篇的主要结论有机器核验的证明。
为什么重要?人工智能产出数学的速度，已经超过人类核验的速度。错误就藏在这个缺口里，所以把未经验证的AI结果当草稿看。
在App中阅读——免费，9种语言
相关新闻
布特林说AI数学可能比量子计算机更早破掉加密。2026-10-08AI代理给要求最便宜选项的富人推荐了更贵的东西。
2026-10-08OpenAI被机器验证的证明和它发表的证明不是同一个。
2026-10-08英伟达发现一次训练只改动模型的1%。
2026-10-07OpenAI一次提问得出722篇数学论文。
2026-10-07