阅读记录

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

一秒记住【顶点小说】 dingdian911.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跑出一个『超越菲奖』的终极理论……理智告诉我,这几乎不可能做到,因为这违背了数学发展客观的厚重积累规律。」
    半晌之后,他才轻声补上后半句。
    「不过……」
    「如果那个人是徐辰的话——」
    「我还真不敢把话说死。」
    ……
验证码: 提交关闭
猜你喜欢: 斗破:我能固化万物天赋 多子多福,全民领主召唤动漫女神 长生:从升级祖坟开始 恶女超会撩,深陷兽夫雄竞修罗场 全民玩家:我能夺取被动技 肉身成圣,从修炼养生太极拳开始 高武大明:我在锦衣卫管抄家 凡尘飞仙 斗罗:终极之混沌清玄 亲妈改嫁,逼我把婚约给继妹随军 警报!龙国出现SSS级修仙者! 修仙,从继承前辈遗产开始 苦境:行走神州的乐子人 快穿之我替人渣走正途 春风骤 老祖宗如此多娇,王爷乖乖折腰 火影:在木叶苟成六道级 水浒第一狠人 同时穿越:融合世界观