ChatGPT攻克26年猜想，千位数学家宣战AI！数学界彻底撕裂了
2026.10.27 · 事件 · AI事件 · 媒体报道
千名数学家联名拒为商业AI出力，同期ChatGPT却助人类推翻悬置26年的数学猜想。
全球1008名数学家联名成立「人类数学协会」，承诺不为商业AI提供劳动、不发表AI生成论文，其中654人加入「无AI核心组」。同期，两位学者借助ChatGPT推翻了悬置26年的Barry Simon猜想，陶哲轩也用Claude Code为OpenAI的719篇文稿补文献。
- 截至10月25日，新成立的「人类数学协会」实名成员突破1008人，全员承诺不为自动化数学商业实体提供劳动、咨询或宣传，且不在署名著作中包含AI生成文本。
- 其中654人加入「无AI派」，承诺在寻找证明、探索算例乃至提出问题的全流程科研中完全不用AI。
- 博科尼大学Simon Becker与得州农工大学杨梦轩借助ChatGPT分三步推翻悬置26年的Barry Simon猜想，ChatGPT将纯点谱性质推广到整个正半轴。
- 月初OpenAI测试约4000个未解问题，放出719篇文稿，归入372个问题族，约42%附带Lean形式化验证。
- 陶哲轩用Claude Code为OpenAI文稿起草修订，截至10月25日仓库13条修订记录中8条标注由Claude Code协助起草。
为什么值得看
看数学界与AI从协作走向公开割席的转折时刻
适合谁关注
关注AI与学术生态、科研范式变化的读者