第496章 要不搓个AI助手吧 一（1 / 2）
请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。
將闭关失败的鬱闷暂且拋到脑后，徐辰决定给自己放半天假，放鬆一下紧绷的神经。
他靠在宽大的沙发上，隨手点开了手机上的几个学术交流群。
他发现，就在自己埋首於n-s方程的这几天里，学术界似乎发生了一件大事。
因为，从北大数院的青年教师群，到远在欧洲的博士校友群，各个学术群內討论的，竟然都是同一条新闻。而且消息数量全是99+，那种刷屏的频率，通常只在某位大牛去世或者某个世纪猜想被证明时才会出现。
“总不能是黎曼猜想被人给证了吧”
徐辰好奇地点开了一条被转发了无数次的连结。
新闻的標题极其抓人眼球，带著一种浓浓的划时代意味：
【数学奇点初现！ai独立证明45年未解的埃尔德什第281號数论猜想！】
【菲尔兹奖得主陶哲轩亲自验证：ai在概念性论证上表现出色，没犯任何逻辑错误！】
徐辰眉头一挑，点开了详细报导。
事情的起因是一家科技巨头最新发布的ai模型，在一次內部测试中，被研究人员抱著“隨便玩玩”的心態，餵了一道悬赏了45年的数论难题——保罗埃尔德什与罗纳德格雷厄姆在1980年共同提出的第281號猜想，涉及同余覆盖系统与自然密度的深层关係。
（ps：真实新闻是2026年1月，gpt-5.2pro证明281號猜想。）
结果，这个ai没有採用人类数学家惯用的组合计数或解析数论路径，而是另闢蹊径，利用遍歷理论和哈尔测度，结合紧致性论证，直接给出了一份完整且无懈可击的证明！
之所以说是无懈可击，是因为陶哲轩亲自动手，把这套遍歷论的论证翻译成了组合学语言，重新走了一遍推导流程，最终给出了一锤定音的评价：“证明完全成立，在概念性论证上表现出色。这是迄今为止ai解决开放性数学问题最明確的案例之一。”
这篇新闻在公眾领域引发了狂欢，无数网民惊呼“人类科技发展的奇点已至”、“强人工智慧时代到来”。
……
然而，人类的悲欢並不相通。
与新闻下方网友评论的激动相比，学术圈群內，尤其是底层的“学术牛马”们，反而十分悲观。
在各大论坛和博士生群里，简直是哀鸿遍野。
【完了完了，连埃尔德什猜想都能独立证明了，我们这些算数据的博士生还有什么存在的价值】
【我导昨天刚给了我一个数论的推导方向，让我算三个月。今天一觉醒来，ai五分钟跑完了，我感觉我的博士学位岌岌可危……】
【我花了三年做的蒙特卡洛模擬验证，一个ai一小时搞定，我的青春啊……】
【生化环材的兄弟们天天在实验室吸毒气，好歹还有个搬砖的体力活。我们搞纯数的，本来以为靠脑子吃饭最安全，结果居然是被ai第一批优化的】
↑返回顶部↑