10月6日，OpenAI在GitHub一次性公开了722篇由其内部AI模型生成的数学手稿，涉及372个成果组。根据第一财经的报道，这家公司让模型尝试解答了约4000道未解数学题，并公开了部分Lean形式化证明代码——Lean是一种用计算机严格检查数学证明逻辑是否自洽的形式化工具。平均每项成果消耗的算力，相当于ChatGPT Pro连续思考三小时。第二天，菲尔兹奖得主陶哲轩在个人博客全文转载了人类数学协会（AHM，一个由数学家和研究者发起、关注AI对数学研究影响的组织）的声明。声明中有一句话被反复引用：“一次性发布700多份文件，展示的不是学术研究，而是权力。”更早些时候，陶哲轩和另外24位菲尔兹奖得主已经公开警告，AI公司正在让数学研究偏离原本的目标。
这个场面看上去很怪。照理说，一家公司声称用算法解决了大量数学难题，甚至包括“准黎曼猜想”、四维挂谷问题和“唯一博弈猜想”这类长期悬而未决的命题，应该被看作技术突破。但数学界的反应不是兴奋，而是警惕，甚至呼吁同行停止合作。原因在哪里？根据DeepTech深科技的报道，这722篇手稿里，截至10月7日只剩下719篇，约42...