第329章 乾坤未定，你我皆是黑马 (第2/2页)
不在乎证明是不是被人理解。
它只在乎答案有没有被生产出来。
数学不应该这样，这毫无神圣可言。”
对面坐的皮埃尔-路易·科昂眉头紧皱，“就像工厂流水线，数学的浪漫时代结束了。
真要这样发展下去，恐怕以后将迎来数学工业时代。
以前那种一个难题深耕几年，甚至十几年的个人英雄主义，以后怕是不会有了。”
陶哲宣无奈揉了揉太阳穴，“甭管浪漫不浪漫，问题是它给的答案是正确的。
布里德森前两天说过，有些结果‘会令许多人兴奋，令其他人恐惧，对某些人来说是毁灭性的’。
这话我认同。
恐惧归恐惧，你不能因为恐惧就捂眼睛。”
“我没捂眼睛。”布尔热声音拔高，吐出一口浓烟，“我是说，数学如果被简化成‘谁先产出答案’，那我们这帮人以后去干什么？
难题都被Ai攻克，我们存在的意义是什么？”
“所以你要抵制？”玛农·勒费弗尔在角落里笑了一声。
她是这几个人里最年轻的。
代数几何方向，30出头。
短发，指甲上沾着蓝墨水。
“抵制完之后呢？
AI明天继续放1000篇，你继续在讨论班骂它没灵魂？”
布尔热心生不悦，反驳道：“我不是骂它没灵魂，我是骂它把‘理解’这件事从数学里抠出去了。”
“可它确实在推进前沿。”勒费弗尔把平板转过去，屏幕上显示OpenAI仓库日志，“准黎曼猜想那篇，如果是人类写的，直接菲尔兹奖。
现在它挂在一个模型名下，没有署名，没有讲法，没有‘我为什么这么想’，但不妨碍它可能是对的。”
现场气氛顿时变得压抑。
无人反驳。
因为这是不争的事实。
没办法逃避。
片刻后，亨利·德维尔慢吞吞开口，每个字都像从齿缝里磨出来：“对不对是一回事，值不值是另一回事。
AI给你300页输出，验证都要3年。
同行评审没了，数学共同体正在被淹。”
“所以必须限制Ai！”
屋里又吵起来。
一群大佬吵得不可开交，面红耳赤。
等他们冷静下来，陶哲宣才幽幽开口，“别吵了，咱们在这逼逼赖赖，有后辈可比咱们硬气得多。”
“你是说云川？”勒费弗尔眼神一凝。
北大基本上向整个数学界都发了邮件。
他自然也知道。
在场所有人都清楚。
被陶哲轩这么一提醒，顿时全反应了过来。
“算算东大时间，云川那边应该开始挑战了吧？”
布尔热满脸前辈对后辈的轻视，一点没把这事放在心上。
“云川，没拿过菲尔兹，没拿过沃尔夫。
挑战Ai？
别做梦了！
他倒是很会做戏，赚流量。”
“云川是新生代里最拔尖的那一批。”科昂替云川说了句公道话，但依旧持负面看法，“但AI不是人，它背后是上万智能体、上千亿tOken，一夜跑几万个证明路径。
云川再快也只有一个人，一支笔。”
“没错，而且他输了更麻烦。”德维尔心情沉重，一想到后果，连带着对云川也没好脸色，“现在数学界处境堪忧。
他要是输了，对数学界来说更是一次沉重打击。
我们的处境只会更加艰难。”