章节目录 第496章 要不搓个AI助手吧 一(1 / 2)

作品:《学霸的征途是星辰大海

[全本小说]:qbxs. N e t 一秒记住!

将闭关失败的郁闷暂且抛到脑后,徐辰决定给自己放半天假,放松一下紧绷的神经。

他靠在宽大的沙发上,随手点开了手机上的几个学术交流群。

他发现,就在自己埋首于N-S方程的这几天里,学术界似乎发生了一件大事。

因为,从北大数院的青年教师群,到远在欧洲的博士校友群,各个学术群内讨论的,竟然都是同一条新闻。而且消息数量全是99+,那种刷屏的频率,通常只在某位大牛去世或者某个世纪猜想被证明时才会出现。

「总不能是黎曼猜想被人给证了吧?」

徐辰好奇地点开了一条被转发了无数次的连结。

新闻的标题极其抓人眼球,带着一种浓浓的划时代意味:

【数学奇点初现!AI独立证明45年未解的埃尔德什第281号数论猜想!】

【菲尔兹奖得主陶哲轩亲自验证:AI在概念性论证上表现出色,没犯任何逻辑错误!】

徐辰眉头一挑,点开了详细报导。

事情的起因是一家科技巨头最新发布的AI模型,在一次内部测试中,被研究人员抱着「随便玩玩」的心态,喂了一道悬赏了45年的数论难题——保罗·埃尔德什与罗纳德·格雷厄姆在1980年共同提出的第281号猜想,涉及同余覆盖系统与自然密度的深层关系。

(ps:真实新闻是2026年1月,GPT-5.2pro证明281号猜想。)

结果,这个AI没有采用人类数学家惯用的组合计数或解析数论路径,而是另辟蹊径,利用遍历理论和哈尔测度,结合紧致性论证,直接给出了一份完整且无懈可击的证明!

之所以说是无懈可击,是因为陶哲轩亲自动手,把这套遍历论的论证翻译成了组合学语言,重新走了一遍推导流程,最终给出了一锤定音的评价:「证明完全成立,在概念性论证上表现出色。这是迄今为止AI解决开放性数学问题最明确的案例之一。」

这篇新闻在公众领域引发了狂欢,无数网民惊呼「人类科技发展的奇点已至」丶「强人工智慧时代到来」。

……

然而,人类的悲欢并不相通。

与新闻下方网友评论的激动相比,学术圈群内,尤其是底层的「学术牛马」们,反而十分悲观。

在各大论坛和博士生群里,简直是哀鸿遍野。

【完了完了,连埃尔德什猜想都能独立证明了,我们这些算数据的博士生还有什么存在的价值?】

【我导昨天刚给了我一个数论的推导方向,让我算三个月。今天一觉醒来,AI五分钟跑完了,我感觉我的博士学位岌岌可危……】

【我花了三年做的蒙特卡洛模拟验证,一个AI一小时搞定,我的青春啊……】

【生化环材的兄弟们天天在实验室吸毒气,好歹还有个搬砖的体力活。我们搞纯数的,本来以为靠脑子吃饭最安全,结果居然是被AI第一批优化的?】

【别学数学了,赶紧转行去学炒菜吧,起码AI还不会颠勺。】

𝙌 𝐵 𝕏 s . n e t