第565章 徐神的直播 九 【第二天的直播】(2/2)
于是今天留下来的，基本分成两类人。
一类是真正的数学从业者，数学系的教授丶博士后丶博士生丶硕士生，以及一些被导师逼着来看直播写学习报告的倒霉孩子。
另一类，则是AI公司的探子。
……
弹幕和提问区里，不断冒出一些和技术相关的问题。
「徐教授，您在昨天的多窗口并行任务里，似乎让M1在某些子任务中进行了动态中间状态重写，这个策略是基于固定启发式，还是有元控制层在做策略调度？」
「请问诸葛架构在面对长链式数学证明时，对上下文的稳定性保持，是否使用了某种层次化记忆压缩机制？」
「如果在同一个问题中引入多个竞争性猜想路径，M1是如何避免搜索树爆炸的？」
问得都挺有水平，但也问得过于有水平了。
普通数学家一般不会这么问。真搞数学的人，更关心的是「为什么这个方向行得通」「这个引理能不能迁移」「这个证明框架能否套到我的问题上」。
只有做AI模型的人，才会拐弯抹角地盯着那些架构层面的核心决策逻辑，以及实现路径背后的底层动机来提问。
徐辰起初还耐着性子回答了两个偏基础的问题，但随后发现这些提问全都是冲着开源论文里故意隐去的深层技术细节来的。
一听就是AI厂商在「白嫖」商业机密。
这些倒不是不能讲，不过徐辰知道对方单纯是为了商业目的，所以也懒得惯着他们。
反而是那些纯粹的数学问题，徐辰更愿意回答。
于是接下来，再遇到类似的AI技术的提问，徐辰要么直接略过，要么轻描淡写一句「这个论文里已经写得比较清楚了」，然后继续往下讲。
……
「好了，闲话少说。我们先来验收一下昨天挂机跑了一晚上的作业。」徐辰将画面切到了M1的后台界面。
经过一晚上的推演，昨天三十个窗口中，已经有七八个窗口成功跑出了最终的逻辑闭环。
徐辰首先点开了一个窗口。
这正是昨天让孔采维奇在巴黎书房里咖啡差点洒出来的那个任务。
屏幕上，一段结构严整的证明框架已经被M1整理完毕。后面还附带了形式化验证的局部检查报告，以及若干需要人工进一步审阅的边界条件。
徐辰快速扫了一遍，神色平静地点了点头。
「这个结果比我预期的稍微好一点。」
他拿起马克笔，在白板上画了一个简单示意图。
「简单说，昨天我们验证的是：在一类具有温和奇异点的卡拉比-丘流形上，通过引入非交换Hodge结构的形变，可以让同调镜像对称的核心对应关系继续成立。」
「那只是说明，在原本断掉的桥面上，我们铺了一块临时钢板，人可以过去。」
「今天M1给出的结果更进一步。它证明了这块钢板不是临时的，而是可以扩展成一段稳定桥梁。也就是说，这个方法不仅能处理单点奇异，还能处理一类带有可控退化族的奇异结构。」
「如果用不严谨但直观的话讲，孔采维奇教授原来的理论地图，在这里多开了一片新的区域。」
对于研究其他方向的数学家来说，这几个成果或许只是一堆漂亮的公式，没有太直接的用处。但对于那些死磕「同调镜像对称」这个大坑的数学研究者来说，这简直就是无数的水论文的机会！
徐辰关于新开地图的比喻非常容易理解，不少看热闹的人也听懂了，一片弹幕。
「卧槽，同调镜像对称理论的DLC更新了？」
「同调镜像对称：奇异点版本正式上线！」
「这是徐神的导师的研究方向吧？」
「徐神给导师开资料片是吧？」
「反过来给导师布置课题是吧？」
「太孝了，真是太孝了！」
……