OpenAI发布722篇数学手稿引数学界抗议
AI 总结
据36氪刊文，2026年10月6日OpenAI在GitHub发布722篇数学手稿，涉及挂谷猜想、准黎曼猜想、霍奇猜想特殊情形等，以372组成果的形式公开；文中还称OpenAI宣布其内部模型找到了纳维-斯托克斯问题的反例，并因此与纽约大学数学家Tristan Buckmaster产生署名争议。文章称，25位菲尔兹奖得主联名抗议、近7000名数学家联署，陶哲轩牵头的人类数学协会呼吁停止与OpenAI合作；719份文稿中仅约42%完成Lean形式化验证，发布次日撤回了3篇手稿。相关署名指控与成果细节尚未获得独立证实，OpenAI方面予以否认。
深度见解
它把AI产出数学成果的验证、署名与合作规范问题推到台前，可能改变AI实验室与学术界的合作方式。