陶哲轩用Claude改OpenAI手稿 26年猜想告破

时间：2026年10月22日至10月26日 地点：意大利米兰（博科尼大学）、美国得州（得克萨斯农工大学）、美国加州（陶哲轩博客） 人物：博科尼大学 Simon Becker、得克萨斯农工大学杨梦轩、菲尔兹奖得主陶哲轩、Abhinav Nellore 与 Johannes Schmitt 等四位学者、不列颠哥伦比亚大学数学教授 Lior Silberman 事件详情：2026年10月22日，Simon Becker 与杨梦轩在arXiv提交论文《Lenses make many points: Pure point spectrum disproves Simon's L2 conjecture》（arXiv:2610.31637，35页），称在LLM辅助下构造出光滑有界非负透镜型势函数，使得薛定谔算子在正半轴上仅有纯点谱，从而否定了数学物理泰斗 Barry Simon 2000年提出的多维L2猜想（其"薛定谔算子二十一世纪"十五大问题中的第8题）。论文摘要明确写明构造过程为"with LLM-assistance"。作者在文中披露了与ChatGPT协作的三步过程：第一步先检查OpenAI此前公开的719篇手稿确认该题尚未被认领，再与ChatGPT配合设计出同心球壳势函数，用微弱角度势能充当"弱透镜"把波包聚焦进窄角通道、以径向周期势充当"反射障壁"，在有界能量区间内消除绝对连续谱；第二步引入Combes-Hislop谱平均准则，在不改动几何结构的前提下微调参数，证出更强的纯点谱；第三步ChatGPT把参数推到极限，将纯点谱性质推广到整个正半轴。作者称"令我们大感意外"。两人随后将35页手稿从头推演写定并为全部证明负责。 同一天前后，数学界的另一条战线同步发酵。10月24日，陶哲轩在博客刊发 Abhinav Nellore、Johannes Schmitt、Soledad Villar 与 Rachel Ward 四位学者的联名文章，宣布启动 GitHub 开源项目 oai-math-revised，邀请全球同行提交合并请求，为 OpenAI 那批 AI 数学手稿补齐文献引用并重写推导过程。仓库提交记录显示，账号 teorth（陶哲轩本人）针对编号003的 Landau-Siegel 零点一致排除问题已提交第2号和第3号合并请求，起草工具正是 Claude Code（Opus 5.5），核对无误后把署名栏改为"OpenAI（含社区贡献）"。截至10月25日，该仓库13条修订记录中有8条标注由 Claude Code 协助起草。新成立的"人类数学协会"（AHM）实名成员同期突破1008人，其中654人加入内部"无AI派"。 背景：这轮风暴的导火索是10月6日 OpenAI 一夜公开719篇数学手稿、覆盖372个问题族、约42%附带 Lean 形式化验证，每个结果消耗约3小时 ChatGPT Pro 思考算力，模型未开源。9月 OpenAI 宣称其内部模型用88小时解决 Navier-Stokes 方程存在性与光滑性问题（克雷数学研究所悬赏百万美元），过程始于一位数学家把未发表手稿输入 ChatGPT 润色，随即被包装为"AI 突破千禧年难题"，引发学界强烈反弹。AHM 首份声明直指商业巨头的密集造势"展现的是算力霸权，与严谨的学术研究无关"，称巨头企图用不透明的统计黑箱取代人类理解，把数学家变成替机器输出盖章的"验证技工"；协会期刊工作组随后要求各大数学期刊，审稿环节动用 AI 必须先过作者这一关。 影响： - Barry Simon 2000年问题清单中的第8题在26年后被否定，且论文摘要自陈构造依赖 LLM 辅助，这将成为 AI 参与前沿数学的标志性案例 - 反例构造高度依赖参数微调，其谱平均论证尚未经独立专家核验，目前仍属未经同行评议的预印本性质 - 陶哲轩用 Claude Code 亲手为 OpenAI 的 AI 数学手稿改稿并署名"含社区贡献"，在抵制AI的宣言内部形成了强烈的反讽与分裂 - AHM 实名成员突破1008人、其中654人加入"无AI派"，显示学术界的反 AI 立场正在从个别声明升级为成建制的组织化行动 - 修稿工作引发无偿劳动与训练数据回流之争：英属哥伦比亚大学数学教授 Lior Silberman 认为整理文献本就是署名作者的本职工作，评论者则指出无偿改出的高质量证明可能被吸收进下一代模型训练集 - Becker 与 Yang 选择"OpenAI 尚未触及的 Simon 问题"作为目标，显示研究者正把选题策略与 AI 的能力边界对齐 总结：过去几周数学界发生的三件事，本质上是同一个断裂的三个侧面。OpenAI 用算力批量产出证明，把"提出问题、斩获荣誉、读懂并验证答案"这条延续数百年的等号第一次劈开；Becker 与杨梦轩在 arXiv 上的新论文展示了这个断裂的另一面——机器不仅能验证答案，还能真的把一个悬置26年的猜想推翻；与此同时，1008名数学家选择用组织化的方式筑墙拒绝为商业 AI 出力。陶哲轩的博客评论区把这三重张力压缩成了一幕荒诞剧：宣称要抵制 AI 的菲尔兹奖得主，正用 Claude Code 给另一家 AI 巨头的数学论文打补丁，13条修订里8条由 AI 起草。值得注意的是，这三位主角都留了同一条缝——AHM 的承诺是不在署名著作中包含 AI 生成的文本，而 Becker 与杨梦轩在论文中完整披露了 AI 的每一步贡献并由人类作者为全部证明负责，陶哲轩则在发布前逐条核对后才署上"含社区贡献"。这场论战真正的分歧点或许不是"用不用 AI"，而是"AI 参与的成果由谁署名、谁担责、谁有权定义它的贡献比例"。数学界的答案正在这个维度上形成，而论战远未结束。 参考来源： https://arxiv.org/abs/2610.31637 https://arxiv-vanity.com/papers/2610.31637 https://36kr.com/p/4042643106075778 https://finance.sina.cn/2026-10-26/detail-iniwqarn2509735.d.html https://www.sohu.com/a/1093015431_473283 https://postcutoff.com/e/2026-10-22-simon-l2-conjecture-disproved-chatgpt https://mathworld.wolfram.com/SimonsL2Conjecture.html https://deniz.in/mathematicians-launch-community-hub-to-revise-openai-s-math-write-ups https://mindpattern.ai/f/31094 https://aidaily.fyi/en/a/community-launches-oai-math-revised-to-fix-openai-math-write-261024 https://kingy.ai/mathematics-science-breakthrough-tracker/records/math-simon-l2-conjecture-counterexample-2026