菲尔兹奖得主陶哲轩转发数学家托马斯·黑尔斯的文章《数学家应该了解的Lean定理证明器：可靠性与人工智能问题》，并在Mathstodon上提出“Math 1.0”与“Math 2.0”的说法，主张数学界转向更重视解释、社区建设和新方向，而不是一味比拼谁先解题。文章提到，OpenAI于10月6日在GitHub一次性发布722篇由内部模型生成的数学手稿，涵盖372个结果系列和约4000个测试问题，次日其中3篇被撤回；文章还称Lean在2026年夏季接连暴露健全性漏洞，其中一份声称证伪考拉兹猜想的证明曾被Lean内核和独立检查器接受。报道称陶哲轩联署了25位菲尔兹奖得主的《人工智能在数学中的严重错位》宣言，其牵头机构呼吁停止与OpenAI合作，而受访研究者认为AI浪潮难以阻挡，短期内对社会科技的推动可能不如表面看起来大。