北京
2026年10月，OpenAI在GitHub上一次性公开了722篇数学手稿。这些手稿由内部未发布的模型生成，号称在黎曼猜想弱化形式、平面染色问题、挂谷猜想四维版本等372组悬而未决的难题上取得突破。
但发布次日，就有3篇因符号错误被撤回，另有14篇需要修补。没有一篇经过同行评审，也没有人类作者署名。
机器检查过了，然后呢
约42%的结果通过了Lean形式化机器检查。这个数字看起来不低，但形式化工具只能保证代码逻辑自洽，无法核实形式化命题是否等价于原学术猜想。也就是说，机器验的是代码，不是数学。
要确认一篇证明是否真的成立，仍然需要专家逐行核对代码。而模型尝试了约4000个未决难题，最终给出372组结果——大量证明表述含糊、难以阅读，审阅的包袱被直接甩给了学术界。
陶哲轩：这是露天开矿
陶哲轩把这比作露天开矿，把未解问题一片一片挖光。他批评这种“论文轰炸”掠夺了年轻学者的研究空间，破坏了数学界通过讲座研讨吸收消化新思想的传统传承机制。
有数学家形容，这是一大坨屎被倒在了自家门口。数百名数学家联名呼吁抵制合作。
AI绕过方法论解释直接抛出答案，剥夺了年轻学者的课题成果与经费机会，也阻断了同行研讨、简化证明并转化为教材的科学演进链路。一次放出700多个文件，是在秀肌肉，算不上学术。
生成式AI的产出速度与严谨学术共同体的消化节奏之间，裂开了一道口子。这道口子目前没有缝合的迹象。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
