数学界的天,彻底塌了!
统治人类逻辑高地几千年的数学家门,第一次感受到了「灭顶之灾」的寒意。
直到目前,全球已有整整1008名数学家重磅联名,加入了一个新成立的组织——「人类数学协会」(AHM)。
他们在此立下「军令状」:从今往后,绝不给商业AI出半点力,也绝不发任何一篇AI写出来的数学论文!
同一周的arXiv上,悬置26年的Barry Simon猜想轰然倒塌。把反例参数推到极限的ChatGPT,连两位人类作者都感到意外。
月初,OpenAI一夜倾泻700+篇手稿,成为这一切的导火索。
10月24日,陶哲轩在博客刊发四位学者的联名文章。文章邀请全球同行提交代码合并请求,替这批AI文稿补齐文献引用并重写推导过程。
让人意想不到的是,陶哲轩起草这两次修改,动用的正是Claude Code(Opus 5.5)。
这篇招募帖在陶哲轩博客评论区引发正面冲撞,21条长评迅速分成两派。
其中654人进一步加入协会内部的「无AI派」。他们承诺在寻找证明、探索算例乃至提出问题的全流程科研中完全不用AI。
10月22日,博科尼大学的Simon Becker与得克萨斯农工大学的杨梦轩在arXiv上传了一篇论文。
这篇论文否定了数学物理泰斗Barry Simon在2000年提出的「多维L2猜想」。
人类学者以为手里的武器只能击穿一面盾牌。机器接过武器调了调准星,一举打穿了整座堡垒。
这也倒逼学术评价与青年培养做出改变,从奖励「谁先算出结果」,转向看重「谁能提出好问题、建立新框架」。
参考资料:
https://x.com/Hesamation/status/2114153199414157752?s=20
https://x.com/Math_files/status/2114406007682326996
编辑:摩西 桃子