根据网传的联合声明内容，一场针对OpenAI的全面抵制行动，正由菲尔兹奖得主陶哲轩带头砸在桌面上。
这家算力巨头刚刚把几百份机器生成的数学证明文件，强行甩到了全球顶尖数学家的面前。根本没人求他们解这些题。
理论计算机科学家Scott Aaronson的妻子Dana，把半辈子的心血都砸在了一个顶级猜想上。一天早上，她在这批机器吐出的文档里，一眼看到了自己研究领域的终极答案。
她滑动鼠标滚轮，屏幕上的字符闪烁，整篇论文里堆满了一脚跨过银河系的结论跳跃，没有任何铺垫，通篇都是人类从未见过的诡异推演路线。她在手机屏幕上重重敲下几个字：“这就像是吃了致幻剂写出来的东西。”
学术界早就试图踩过刹车。之前，OpenAI专门拉着顶尖机构弄了个咨询小组，摆出一副共建的姿态。专家们当时划死了一条红线：前沿AI绝不能擅自在内部模型上测试高深难题。
然而，这家巨头转头就把意见扫进了垃圾篓。
他们启动内部模型，一口气往机器里塞进了成千上万道开放性数学题。一道能困住人类顶尖学者几十年甚至一生的世界级难题，被扔进模型里，机器只运转了几个小时，就吐出了一份所谓的“答案”。
几百份这样的证明草稿，就这么毫无征兆地倒进了学术圈。
陶哲轩牵头的人类数学协会在声明里，字眼极其锐利，直接喊话所有同行停止与这家公司合作。
机器按下回车键，根本不关心逻辑。它们只是用暴力算力强行碾压出一条路。现在，原本坐在象牙塔尖的数学家们，被迫沦为了给机器检查作业的“阅卷工具人”。不靠AI辅助，人类的肉眼根本看不懂那些天书般的乱码。
更让人后背发凉的是，在这批海量公开的文件里，唯独少了一个版块：密码学。谁也不知道，那些极其庞大的算力，是不是正在暗处悄悄拆解现代安全协议的底层锁眼。
陶哲轩把机器的这种行为叫做“污染”。
一个顶级猜想，一旦被机器宣称“已解决”，人类原本的探索过程就被彻底阻断了。年轻学者连笔都不敢提，生怕自己刚写下几行公式，就被大模型一秒截胡。
但在另一边，图灵奖得主杨立昆却给出了完全相反的论断。他觉得重点早就变了。轮船的发明确实让游泳显得不再重要，但它能带人类发现新大陆。
一边是痛斥暴力算力摧毁了人类探索的尊严，一边是欢呼机器替人类跨越了计算的泥潭。
当机器只要几个小时就能抹平一个人一生的心血时，你觉得，这到底是科学的灾难，还是新世界的门票？