最近数学圈这出大戏,比爽文还刺激,不到十天,直接把全球学术界整得坐过山车。
![]()
10月6日OpenAI扔出重磅消息,说自家AI搞定了准黎曼假设,直接给圈子炸得人仰马翻。
有名家直接放话,真要是能搞定这个成果,拿菲尔茨奖一点悬念都没有,要是真解决了无Siegel零点问题,拿两个都不过分。
![]()
当时网上全是“硅基降维打击碳基”“人类数学家要失业”的论调,恐慌直接在数学圈传开了,连底层数论问题AI都能啃,人类还有啥是AI拿不下的?
谁都没等多久,反转就来了,才过去六天,人类数学家就直接冲出来搞出大动静。
10月12日预印本平台上冒出来一篇新论文,两位人类数学家直接把AI磨出来的工具,平移套用到了更复杂的有限阶Hecke L函数上。
![]()
说白了你可以这么理解,零点就像大海里的暗礁,以前这片海域全是雾,船根本不敢走,现在俩人借着AI探出来的路,直接圈出一块绝对没暗礁的安全区,第一块阵地直接被人类拿了下来。
这个结果出来,直接点燃了全球数学极客的热情,原来的安全区太小太保守,既然门框都松动了,为啥不直接把墙给拆了?
全世界最聪明的脑子直接在线组队,对着那个常数往死里优化,抠逻辑减误差,一次次往外推边界。
![]()
常数从1/6000一路掉到1/32,安全区直接放大了上百倍,最后还过了Lean定理证明器的验证,半点儿逻辑漏洞都挑不出来,实锤靠谱。
到这儿还不算完,真正的王炸才刚登场,arXiv上一篇三位人类数学家署名的论文直接掀了桌子。
这篇论文盯的是悬了19年的Ellenberg–Venkatesh界,早2007年就有大佬给出了完美结论,但这个结论一直带个大缺陷,必须建立在广义黎曼猜想成立的前提下,相当于一直拄着拐走路,19年来没人能把这根拐扔掉。
这回不一样了,之前刚抢下来的1/32无零点安全区,正好就是大佬们等了19年的底座。
他们把新的结论直接套进旧框架,断裂了19年的逻辑链条直接严丝合缝拼上了。
最终结论直接亮瞎眼,这个悬了19年的难题,被无条件证明了,不再需要任何假设前提,19年的悬案直接尘埃落定。
最绝的不是解决了难题,是论文末尾那短短一句话的声明。
三位作者没有煽情没有感慨,就留下一句特别硬气的话:这项工作中,没有使用任何人工智能工具。
这话出来直接炸了评论区,说它是给AI焦虑党的响亮耳光也对,说它是人类数学家的硬核宣言也对,太提气了。
很多人到现在还在吵,AI是不是要取代人类数学家了,这场十天的大戏其实早就给出了答案。
AI能当超级推土机,帮我们推开挡路的巨石,开出一条新路,但真正踩着新路冲顶,啃下最硬那块骨头的,还是人类的眼光和拼劲。
![]()
不存在你死我活的对抗,AI开路人类冲顶,本来就是最好的搭配,这不比任何编出来的爽文都好看?
参考资料:新华网 国际数学领域研究获多项新进展
特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.