关灯 字号:小

第565章 徐神的直播 八 【博士生们的哀嚎】

章节报错(免登陆)

一秒记住【笔趣阁】biquge34567.com,更新快,无弹窗!


    (抱歉了最近内容有点啰嗦了,节奏没把控好,先这么写吧,等完结了我再回头改改,辛苦各位追读读者了)
    有了达里奥的重金许诺,A社的动作很快。
    理查德和其他几十名数学顾问和工程师,在接下来的一天里,逐帧回放徐辰的直播录像。
    在这个过程中,达里奥可以说是不计成本,该项目被赋予了更多的算力用于弥补算法效率之间的差距。
    在这种疯狂的投入下,Anthropic那边,总算是勉强追上了徐辰第一天直播的进度。
    ……
    就在硅谷为守住股价不计成本的时候,另一群人却根本没心思关心Anthropic究竟涨了多少。
    全世界各大高校的数学系,已经彻底乱了。
    原因也很简单。
    对华尔街而言,这是路线之争,是几百亿美元的资本盛宴。
    对数学系的博士生而言,这是饭碗之争!
    资本市场崩不崩,他们最多看个热闹。毕竟以博士生的工资,账户里那点钱,做不了什么投资。
    但AI会不会把自己的课题做完,这就非常值得关心了。
    因为它真有可能影响自己能不能毕业。
    ……
    MathOverflow上,有一条帖子很火,标题是《VibeMathing出现之后,博士阶段的数学研究应该如何调整?》
    提问者是一名来自欧洲的代数几何博士生。
    他的语气透着一股绝望:
    “我的博士论文目前主要研究奇异簇上的某类导出范畴问题。昨天,我把其中一个困扰我几个月的子问题输入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跑出一个‘超越菲奖’的终极理论……理智告诉我,这几乎不可能做到,因为这违背了数学发展客观的厚重积累规律。”
    半晌之后,他才轻声补上后半句。
    “不过……”
    “如果那个人是徐辰的话——”
    “我还真不敢把话说死。”
    ……
章节报错(免登陆)
验证码: 提交关闭
猜你喜欢: 穿成恶毒原配,我靠山吃山养家 官狱 流放恶雌?七个反派兽夫围着宠 寒甲问山河 边军:从送命小卒开始称霸 重生在大婚当日,蛇君护我救回姐姐 我在仙界开赌场 东宫婢色 乡野孽乱 大顺武圣! 无敌剑道 百级战力才破亿,请问我合格了吗 探花郎,她是女儿身! 替嫁绝嗣京少,七零美人一胎三宝 诸天,无限物品,我不吃牛肉 五仙门 重生60:睁眼躺在寡妇炕上 陆逢时 繁花笺