第565章 徐神的直播 八 【博士生们的哀嚎】
（抱歉了最近内容有点啰嗦了，节奏没把控好，先这么写吧，等完结了我再回头改改，辛苦各位追读读者了）
有了达里奥的重金许诺，A社的动作很快。
理查德和其他几十名数学顾问和工程师，在接下来的一天里，逐帧回放徐辰的直播录像。
在这个过程中，达里奥可以说是不计成本，该项目被赋予了更多的算力用于弥补算法效率之间的差距。
在这种疯狂的投入下，Anthropic那边，总算是勉强追上了徐辰第一天直播的进度。
……
就在硅谷为守住股价不计成本的时候，另一群人却根本没心思关心Anthropic究竟涨了多少。
全世界各大高校的数学系，已经彻底乱了。
原因也很简单。
对华尔街而言，这是路线之争，是几百亿美元的资本盛宴。
对数学系的博士生而言，这是饭碗之争！
资本市场崩不崩，他们最多看个热闹。毕竟以博士生的工资，账户里那点钱，做不了什么投资。
但AI会不会把自己的课题做完，这就非常值得关心了。
因为它真有可能影响自己能不能毕业。
……
MathOverflow上，有一条帖子很火，标题是《Vibe Mathing出现之后，博士阶段的数学研究应该如何调整？》
提问者是一名来自欧洲的代数几何博士生。
他的语气透着一股绝望：
“我的博士论文目前主要研究奇异簇上的某类导出范畴问题。昨天，我把其中一个困扰我几个月的子问题输入M1，并按照徐教授直播中展示的方法补充了方向性约束。”
“它用了四十七分钟，给出了一个基本可行的证明框架。”
“我的导师今天上午看完后很兴奋，说这能让我们的项目至少提前半年。”
“问题是，我的导师很兴奋，但我现在很害怕，我不敢跟他说这是我用AI跑出来的。”
“如果跟他说了，他会让我毕业吗？”
这个问题下方，迅速聚集了几百条回复。
点赞最高的回答只有一句话：
“以我对导师们的了解，如果你的项目提前半年结束，那么恭喜你将获得两个新的课题。”
下面整齐排列着一片哭脸。
“我的导师昨天看完了徐辰的直播，今天早上就把我叫过去，让我把之前推了三个月的极小模型猜想部分，写个详细的提示词框架出来。他是不是打算直接喂给M1，然后让我滚蛋啊？”
“完蛋了，我感觉我的学术生涯还没开始就要结束了。”
“前有Mythos证伪单位距离猜想，后有M1批量三十个研究窗口。AI这是要把我们往死里卷啊！”
“别悲观。AI至少暂时不能参加组会。”
“你确定这是优势？AI可是24小时上班的。”
“而且导师骂AI的时候，还不用考虑AI的情绪。AI也不会因为导师凌晨两点发邮件而破防。”
这下更绝望了。
……
当然，在一片哀嚎声中，也有一些资深教授和大佬出来安抚大家的情绪。
普林斯顿一位教授就发帖表示：“大家不必过于恐慌。AI的出现，并不会让数学家失业，它只是改变了我们做研究的方式。未来，一个优秀的数学家，不仅要会提出问题，还要会问AI问题。这是一种全新的技能，也是一种新的机遇。”
“没错，按照这个发展速度，就算今年的AI还不够成熟，明年、后年呢？数学的研究范式，毫无疑问将迎来一场巨变。我们应该拥抱它，而不是恐惧它。”
这些大佬的话虽然很有道理，但对于那些等着毕业论文救命的博士生来说，这种“宏大叙事”显然没起到什么安慰作用。
“道理我都懂，可我下个月就要交毕业论文了啊！”
“教授们当然不怕。AI是他们的新博士生。问题是，我们就是旧博士生。”
“拥抱变化？我只想拥抱我的毕业证……”
……
不过，感叹归感叹，数学界对徐辰接下来的动作，依旧充满了期待。
美国，加州大学洛杉矶分校（UCLA），陶哲轩的办公室。
作为近两年少数持续公开讨论“AI如何真正介入数学研究”的顶级数学家，陶哲轩一直对这条路线抱有相当积极的态度。他不仅多次公开表达过对数学AI前景的看好，还系统性地提出过不少关于未来“人机协同证明”“形式化验证”以及研究型数学工作流重构的设想。
在他的设想里，未来的数学家未必需要把大量时间耗费在检索文献、验证边界情形和补全漫长的技术细节上。人类可以负责提出定义、选择方向、判断什么问题真正重要；AI则负责搜索、推演和形式化验证。
换句话说，AI未必会取代数学家，但一定会改变数学家做研究的方式。
他此时正坐在电脑前，看着屏幕上MathOverflow论坛里密密麻麻的讨论帖。
站在他身后的博士生亚历克斯难掩激动地说道：“教授，论坛上都已经疯了。大家都在猜，徐辰这三天的直播，到底能掏出什么级别的怪物。”
陶哲轩轻声感叹道：“是啊，他可是说过要连播三天的。现在，才第一天。”
亚历克斯忍不住问道：“您觉得，徐教授这三天里能有超越Anthropic那个单位距离猜想的成果吗？那可是准菲奖级别的啊！”
“单位距离猜想……亚历克斯，你得明白，Anthropic的那个成果，本质上是一次证伪。在数学的逻辑体系里，要证明‘所有天鹅都是白色的’很难，但要推翻它，只需要利用算力在一片白森林里暴力找出一只‘黑天鹅’。”
他顿了顿，继续说道：“我承认那个成果的学术意义非常重大。但在实现路线上，它极大地依赖了Mythos海量算力穷举的优势，带有明显的取巧成分。”
“但徐教授昨天在直播里干的事情，完全不同。”
“他开的那三十个窗口，全是在做正面的框架推演！这是实打实的正面硬刚，无论难度还是工作量，都根本不可同日而语！”
听到导师这番极高的评价，亚历克斯敏锐地察觉到了什么，声音不由自主地抬高了几分：“那他真能用AI拿到一个的菲奖级成果吗？”
“甚至……”亚历克斯深吸了一口气，像是自己都觉得这个猜测有些疯狂，“超越菲奖？”
“超越菲奖？”陶哲轩被这句话逗乐了，回头看了学生一眼，轻笑道：“你对徐教授还真是充满信心啊。”
他转过头，重新看向屏幕上徐辰的直播预告页面。
“想要单枪匹马、在短短三天内用AI跑出一个‘超越菲奖’的终极理论……理智告诉我，这几乎不可能做到，因为这违背了数学发展客观的厚重积累规律。”
半晌之后，他才轻声补上后半句。
“不过……”
“如果那个人是徐辰的话——”
“我还真不敢把话说死。”
……
(https://www.shubada.com/121182/34936386.html)
1秒记住书吧达：www.shubada.com。手机版阅读网址：m.shubada.com