乐玩体育为你整理相关体育消息：

新智元报道 数学界的天，彻底塌了！

统治人类逻辑高地几千年的数学家门，第一次感受到了「灭顶之灾」的寒意。

就在这两天，全球顶尖名校的数学系，直接掀起了一场声势浩大的集体大反抗。

直到目前， 全球已有整整1008名数学家重磅联名 ，加入了一个新成立的组织—— 「人类数学协会」（AHM） 。

光看签署名单，长到一眼划不到底。

他们在此立下「军令状」：从今往后， 绝不给商业AI出半点力，也绝不发任何一篇AI写出来的数学论文 ！

更令人瞠目结舌的是，654名顶尖学者加入了内部的「无AI核心组」，公开向全世界发誓—— 以后的日常科研中，不管是找证明思路、挑反例，还是提新课题，100%不用任何AI。

甚至，就连 菲尔兹奖得主陶哲轩 ，都亲自下场转发了声明。

同一周的arXiv上，悬置26年的Barry Simon猜想轰然倒塌。

把反例参数推到极限的ChatGPT ，连两位人类作者都感到意外。

陶哲轩用Claude给OpenAI改稿 评论区吵翻了 月初，OpenAI一夜倾泻700+篇手稿，成为这一切的导火索。

当时OpenAI测试了约4000个未解问题，每个结果消耗3小时的ChatGPT Pro思考算力，一口气放出719篇文稿。

这批文稿归入372个问题族，约42%附带Lean形式化验证。

虽然逻辑上能跑通，但配套的自然语言证明晦涩破碎，还漏掉了大量前人文献。

面对这批半成品，Abhinav Nellore与Johannes Schmitt等四位学者，搭建了名为oai-math-revised的GitHub开源仓库。

10月24日，陶哲轩在博客刊发四位学者的联名文章 。

文章邀请全球同行提交代码合并请求，替这批AI文稿补齐文献引用并重写推导过程。

仓库提交记录里藏着一个极具戏剧性的细节。

早在仓库公开前几天，账号名为teorth的陶哲轩就已经悄悄动手了。

他针对编号003的「Landau-Siegel零点一致排除问题」（关系到素数分布均匀性的数论难题），接连提交了第2号和第3号合并请求。

让人意想不到的是， 陶哲轩起草这两次修改，动用的正是Claude Code（Opus 5.

5） 。

他在核对无误后，把文稿署名栏改成了「OpenAI（含社区贡献）」，并一举补上了Banks、Green及他本人的文献脉络。

截至10月25日，该仓库的13条修订记录里有8条都标注了由Claude Code协助起草。

人类数学家带着一家公司的 AI 编程工具，去给另一家商业巨头的AI数学论文打补丁。

这成了今年秋天数学界充满荒诞感的一幕。

这篇招募帖在陶哲轩博客评论区引发正面冲撞，21条长评迅速分成两派。

不列颠哥伦比亚大学数学教授Lior Silberman态度鲜明。

他直言这批文稿的署名作者既然是OpenAI，整理文献、把证明写清楚本来就是作者自己的本职工作。

在他看来，如果商业公司想要学术界提供审稿与润色服务，就该按市场价掏钱。

学者没有理由去当免费志愿者。

评论者Skip Tich则点破了背后的训练数据算盘。

他指出同行们无偿改出的高质量证明，转头就会被吸进下一代模型训练集。

支持修稿的学者同样给出了沉重的理由。

评论者Nestor打了个比方，跨国巨头在国家公园倾倒了有毒污泥。

虽然污染不是志愿者的错，但如果不动手清理，整个学术生态都会受损。

面对质疑，陶哲轩在10月25日清晨亲自写下回复，拿自己补齐Siegel零点文献的提交举例。

他表示这个 仓库 是为了给学界建一个由 社区 自己掌控的公共据点。

这样才能把分散在各处的纠错、后续研究和批评声音集中到一起。

即便有菲尔兹奖得主亲自出面灭火，关于「人类该不该替商业模型收拾残局」的裂痕依然越撕越大。

1008名数学家公开割席 654人彻底戒断AI 正是因为不愿沦为替商业巨头善后的免费劳力，上千名数学家选择了直接筑起高墙。

截至10月25日，新成立的「人类数学协会」（简称AHM）实名成员突破1008人，全员签署了两项核心承诺。

第一是不为任何自动化数学商业实体提供劳动、咨询或宣传。

第二是绝不在署名著作中包含任何AI生成的文本。

其中654人进一步加入协会内部的「无AI派」。

他们承诺在寻找证明、探索算例乃至提出问题的全流程科研中完全不用AI。

OpenAI逼反全球数学家 把这上千名数学家逼到公开割席的导火索，正是OpenAI此前高调宣传攻克「Navier-Stokes方程」（千禧年七大数学难题之一）的那场风波。

当时一位数学家把未发表手稿输入ChatGPT润色。

OpenAI随后调动约10000个Agent并发运转88小时，生成了一份连专家都难以核验的庞大证明。

这场算力奇观随后被包装成AI突破百万美元悬赏难题的标志性事件，点燃了学界的怒火。

协会在首份声明中把话挑明，直指商业巨头近期的密集造势「展现的是算力霸权，与严谨的学术研究

乐玩体育将继续整理相关资讯。