网易首页 > 网易号 > 正文 申请入驻

AI证明准黎曼假设,6天后数学家反击,无AI声明成了最响亮的耳光

0
分享至

最近数学圈这出大戏,比爽文还刺激,不到十天,直接把全球学术界整得坐过山车。



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.

相关推荐
热点推荐
汤淼现状:瘫痪19年,母亲妻子改嫁,试管女儿9岁,郎平每年探望

汤淼现状:瘫痪19年,母亲妻子改嫁,试管女儿9岁,郎平每年探望

蕾爸退休日记
2026-10-22 10:35:32
再也回不到,你记忆中的那个样子

再也回不到,你记忆中的那个样子

疾跑的小蜗牛
2026-10-21 21:10:09
王凯访谈回应“消失”的两年,无儿无女,父亲已死,母亲不再催婚

王凯访谈回应“消失”的两年,无儿无女,父亲已死,母亲不再催婚

大眼妹妹
2026-10-20 14:40:07
欧冠3连冠悬了?巴黎官宣3大主力受伤!1.4亿巨星韧带断裂+赛季报销

欧冠3连冠悬了?巴黎官宣3大主力受伤!1.4亿巨星韧带断裂+赛季报销

我爱英超
2026-10-21 17:20:33
勇士队主教练科尔称球队在围绕斯蒂芬·库里建队方面,并非完美

勇士队主教练科尔称球队在围绕斯蒂芬·库里建队方面,并非完美

好火子
2026-10-22 03:17:02
局势突变,菲律宾总统府发出通告:不会驱逐中国大使,理由很直接

局势突变,菲律宾总统府发出通告:不会驱逐中国大使,理由很直接

万物知识圈
2026-10-22 09:54:53
从油车换到国产新能源后我悟了:宁可花多点钱,也要坚持3不买

从油车换到国产新能源后我悟了:宁可花多点钱,也要坚持3不买

麓谷隐士
2026-10-22 00:05:04
俄媒发文剖析中国歼-7!表面夸老飞机,实际想问生产线怎么不断?

俄媒发文剖析中国歼-7!表面夸老飞机,实际想问生产线怎么不断?

影孖看世界
2026-10-21 20:46:13
董宇辉直播卖大闸蟹翻车,连开两个都不达标,当场翻脸要求换商家

董宇辉直播卖大闸蟹翻车,连开两个都不达标,当场翻脸要求换商家

新游戏大妹子
2026-10-19 12:12:30
128-110!火箭赛季首秀轻取独行侠,杜兰特30+6,弗拉格32分

128-110!火箭赛季首秀轻取独行侠,杜兰特30+6,弗拉格32分

全景体育V
2026-10-22 11:03:32
李强会见俄罗斯总统普京

李强会见俄罗斯总统普京

新华社
2026-10-21 23:50:03
麦当劳中国卖薯条鼠标:99元限量4000个,两天抢完

麦当劳中国卖薯条鼠标:99元限量4000个,两天抢完

峡谷一级保护废物
2026-10-22 01:25:23
大选生变!蒋万安表态不参选,力挺卢秀燕出战,郑丽文失去资格?

大选生变!蒋万安表态不参选,力挺卢秀燕出战,郑丽文失去资格?

军情观察家
2026-10-21 18:05:04
美专家:中美加紧备战,3大原因或将开战,美方不许中国平起平坐

美专家:中美加紧备战,3大原因或将开战,美方不许中国平起平坐

林子说事
2026-10-19 07:35:47
高晓松要拍《林徽因传》,被梁再冰警告:“你要是拍我妈和徐志摩的感情线,我告你破产!”高晓松满脸不快

高晓松要拍《林徽因传》,被梁再冰警告:“你要是拍我妈和徐志摩的感情线,我告你破产!”高晓松满脸不快

背包旅行
2026-09-15 10:01:19
卢拉为了赢拼了!巴西大选前夜提前发钱,5000万人投票前领款

卢拉为了赢拼了!巴西大选前夜提前发钱,5000万人投票前领款

麓谷隐士
2026-10-22 00:05:04
美国:无人机去中国化成功!然后中国宣布零件禁运,没一个能交货

美国:无人机去中国化成功!然后中国宣布零件禁运,没一个能交货

观史搜寻着
2026-10-22 05:12:12
NBA大冷门森林狼131-106热火,字母哥被罚出场,84分先生全场最差

NBA大冷门森林狼131-106热火,字母哥被罚出场,84分先生全场最差

南海浪花
2026-10-22 10:28:11
燃气公司上门安检,根本不是查漏气!真正目的其实是这三件事

燃气公司上门安检,根本不是查漏气!真正目的其实是这三件事

娱乐圈见解说
2026-10-22 01:41:04
我国监狱在押171万人,张明楷:能少关就少关,重刑无益

我国监狱在押171万人,张明楷:能少关就少关,重刑无益

小虎新车推荐员
2026-10-19 18:59:26
2026-10-22 11:43:00
鹤羽说个事 incentive-icons
鹤羽说个事
这里是鹤羽说事儿,说点儿你爱听的事儿~
3870文章数 1073关注度
往期回顾 全部

科技要闻

腾讯云谷歌紧急行动!互联网安全出大事

头条要闻

公司称被拖欠工程款数百万元 中建一局:安排专人跟进

头条要闻

公司称被拖欠工程款数百万元 中建一局:安排专人跟进

体育要闻

热闹的NBA回来了,他却倒在新赛季大门口

娱乐要闻

杜淳王灿近况曝光:铁婚六年甜上热搜

财经要闻

为卖房,有房企花20万拍短剧

汽车要闻

有七座/续航提升 领克900L曝光还可选双色车身+大饼轮毂

态度原创

时尚
房产
数码
旅游
本地

中年男人,开始抢着打针回春

房产要闻

2026国际新消费(医疗)旅游服务出海论坛在海口盛大举办

数码要闻

149元!酷态科CP26电能块自带线充电宝开售:15000mAh磷酸铁锂 新国标认证

旅游要闻

以美为介 助农兴县——2026世界旅游小姐走进天等 文旅赋能绘就和美乡村新画卷

本地新闻

一场垂直登高赛跑出了"山城"的真正内核

无障碍浏览 进入关怀版