据外媒最新披露,菲尔兹奖得主陶哲轩,带着全球顶尖数学家组成的“人类数学协会”,正式向AI巨头OpenAI宣战了。
没有客套,没有周旋。OpenAI刚在网上甩出700多份宣称解开顶级数学难题的草稿,这群站在人类智力巅峰的学者们,直接摔了手里的笔,联合发出一封措辞极度强硬的抵制声明:“没人求你们解题,全都停下!”
这场冲突的导火索,是一场赤裸裸的算力“砸盘”。
不久前,OpenAI的工程师无视了专家组定下的安全红线,擅自启动内部大模型,对着8000多道人类高难度的数学题就是一通狂轰乱炸。平均解一道题,只消耗了三个小时的机器算力。
随后,他们把命中的700份机器证明,像发传单一样扔到了全球数学家的办公桌上。
几小时的通电运算,直接碾过了一个人类学者几年甚至半辈子的伏案心血。
理论计算机科学家达娜,在深夜点开了那份宣称破解了她毕生研究领域的文档。电脑屏幕冷白的光打在她紧绷的脸上,鼠标滚轮快速往下滑,但出现在她眼前的,不是清晰严密的推导,而是一大片东拼西凑、毫无铺垫、像吞了致幻剂后敲打出来的疯狂符号。
凌晨时分,她拿起手机给丈夫发了一条短信,字里行间透着荒诞:“全是不讲道理的外星逻辑,不靠AI辅助,人类根本读不懂。”
这正是让整个数学界集体反击的真正原因。
千百年来,数学家解开一道题,会办讲座、写教材,把思路一步步掰碎了教给后辈。但现在,商业算力像一台没有感情的推土机,把题目暴力撞开,却丢下一地无法理解的垃圾代码。
在这个连按下回车键的人都不懂原理的时代,顶尖人类学者没有等来掌声,反而沦为了一群被迫去给机器批改天书作业的“人工验算器”。很多年轻学生怕被AI截胡,甚至连自己想研究的方向都不敢往外说。
更让人后背发凉的是,有眼尖的学者翻遍了这700份文件,发现了一个诡异的细节:在全面覆盖的题海里,唯独最敏感的“密码学”领域,一片空白。连招呼都不打,没人知道这些AI巨头,是不是已经在暗处用庞大的算力,悄悄去拧动现代数字世界的底层密码锁了。
在陶哲轩看来,机器暴力强答,已经把数学这门古老学科彻底“污染”了。
但面对这群被逼到墙角的数学家,图灵奖得主杨立昆却在网上给出了截然不同的论调:机器把解题的活儿全包了不是挺好吗?人类正好腾出手去想新点子。就像造出了轮船,谁还非得靠自己游泳过河。
一边是被机器蛮力踏碎的学术尊严,一边是算力狂飙撕开的新大陆。
当一台机器用三个小时跑完你一辈子的路,还要你跟在后面帮它收拾烂摊子时,人类究竟该愤怒地拔掉它的电源,还是老老实实低头,去学着怎么当好一个副手?




