第561章 徐神的直播 五【A社的IPO】(1/2)
持续了整整六个多小时的直播,终於在傍晚时分落下了帷幕。
三十个並行的推演窗口,其中,有十几个窗口成功得出了阶段性的成果。
比如让孔采维奇惊坐起的那个“非交换hodge结构形变”,確实完美拓展了同调镜像对称的適用范围。但也仅仅是“拓展適用性”,距离彻底解决这背后的终极难题,还有很长一段路要走。
这本身就在徐辰的计划之內。毕竟这是钓鱼计划的產物。
钓鱼嘛,你得让鱼尝到点甜头,还得让鱼觉得这鉤子上的肉得自己用力去咬才行。
要是他把后续的推导全部都搞定了,那等於直接把导师们的饭碗给端了。那还钓个屁的鱼?
把导师的理论往前拓展,叫薪火相传。
把导师的理论直接干穿,顺手把后续方向全堵死,让人家以后无题可做,那叫丧心病狂、欺师灭祖。
更何况,后续工作本身也极其复杂。即便对现在的徐辰来说,想把那些分支全部推到底,也得消耗不少时间和精力。
而且徐辰作为数学等级lv4的境界,再和菲奖级別的数学家抢一两个成熟的课题,多少有点欺负人了。
他更应该做的,是去开闢新的疆域,定义新的问题,给后来者留下足够辽阔的战场。
……
今天的直播除了这些阶段性成果,其实还出现了一些让不少观眾颇为意外的插曲。
这三十个窗口里,有三个直接跑偏,甚至提前报错结束了推演。屏幕上,m1的对话框无情地弹出了“存在不可逾越的逻辑矛盾”或“局部奇点无法消除”的红色警告,隨后被迫中止了进程。
这並不是m1的算力不足,也不是模型的逻辑系统突然崩溃。
101看书 101 看书网超给力,????????????.??????书库广 全手打无错站
纯粹是因为徐辰给出的初始思路,本身就是错的。
比如其中一个窗口,m1的结论极其直白:
【当前约束条件与候选紧致化路径存在不可消除的衝突。】
【建议回溯至第4步,调整关於边界除子的假设。】
徐辰看了一眼屏幕上刺眼的红字,倒没什么尷尬,反而十分坦然地点点头:
“嗯,这个思路走到死胡同里了,失败了。”
弹幕瞬间一滯。
“啊?”
“居然真有失败的?”
“不是说m1很强吗,怎么也会卡住?”
“翻车了!徐神直播翻车现场!”
徐辰看到这些弹幕,倒是没放在心上。他拿起笔,在白板上把一个关键假设圈出来。
“这並不是m1失败,是我的初始思路有问题。”
“我一开始希望通过控制法向退化来维持极小模型程序的某种单调性,但这个假设太乐观了。它在低维情形里看著成立,推广到一般情形就会和边界除子的跳跃行为衝突。”
数学研究本来就是这样。
你以为顶级数学家每天都在灵光一现,写下几行公式,世界难题便轰然倒塌?
实际上,大部分时间都是死路。
是你在一条看似无比光明的路径上走了三个月,终於发现前面不是出口,而是一堵墙。
区別只是,普通研究者撞到墙后,可能要花很久才能確认那真是一堵墙;而徐辰和m1的组合,能以更快的速度找到墙、標记墙、分析墙,然后掉头去走下一条路。
……
但是对於並不了解数学的公眾来说,他们早就被硅谷那些科技巨头们“报喜不报忧”的公关手法给惯坏了。在那些精心剪辑过的ai发布会上,模型总是对答如流,十个演示任务成功率100%。没人知道在镜头背后,那是淘汰了九十个失败案例后才挑出来的完美切片。
而徐辰玩的是无剧本、无剪辑的实时直播。三十个任务,翻车三个。
在外行看来,这就意味著“翻车率10%”,这就意味著“m1並没有吹的那么神,它也有解不出来的题”。
……
於是这种认知的错位,在网际网路上形成了一种撕裂感。
一方面,全球的数学家、研究员们在各大硬核学术论坛上激动得简直要原地螺旋升天。他们疯狂地分析徐辰直播中的每一个提示词,將其奉为vibe mathing的《圣经》。
但另一方面,在twitter热搜和大眾媒体上,基调却显得有些平淡,甚至带著一丝嘲讽:
“deepseek_m1直播首秀:未见准菲奖级重大突破。”
“错误率高达10%,m1或许只是一个高级计算器。”
“在创造性上,似乎依然落后於能解决单位距离猜想的mythos。”
面对这种舆论,多位数学教授气得在推特上发文,试图向大眾解释徐辰展示的那些“阶段性成果”到底有多么牛逼,解释那个10%的错误率恰恰证明了m1没有过擬合,是在真正地进行逻辑探索。
然而,这类长文下只有寥寥几百个点讚。
反倒是一条“徐辰直播翻车三连”的十五秒的恶意剪辑,播放量迅速突破了千万。
网际网路上的人就是喜欢这种带有明確情绪的结论。
要么是神,要么就是骗子,没有第三种可能。
本章未完,点击下一页继续阅读。