第559章 徐神的直播 三【直播】（2/2）

“我之前收集了很多数学问题的解法思路，但是觉得推下去太费体力，就存著没管了。今天刚好拿来当演示素材。”

徐辰一边说，一边打开了桌面上一个名为“杂项备忘录”的文件夹。

那里面，密密麻麻全是当初“钓鱼计划”和“天网计划”留下的数学框架和提前准备好的提示词！

当这个文件夹的內容投屏在直播间的那一刻，对於那99%连微积分都掛科的普通网友来说，这些宛如天书的標题並没有引起太大的波澜，大家只是觉得不明觉厉，跟著大部队无脑狂刷“臥槽牛逼”、“前排膜拜大佬”，纯当看个热闹。

然而，在b站另一个专门面向高校硕博生和研究员的数学区硬核转播间里，气氛却在这一刻陷入了令人毛骨悚然的死寂。

那些深知这些標题分量的数学系天坑人们，看清那些文件命名的瞬间，感觉头皮仿佛过了电一般发麻：

《关於函数域上朗兰兹纲领的一个延伸问题》

《同调镜像对称在奇异簇上的適用性探討》

《关於p=w猜想的一个弱化形式的证明思路》

《算术几何中的hodge猜想衍生问题》

……

整个文件夹里，少说有四五十个这样的標题，横跨代数几何、数论、表示论、辛拓扑等各个深水领域！

一个人，怎么可能同时在这么多壁垒森严的数学分支上，都积累到了“有想法但没时间推”的离谱阶段？！这已经不是用“天才”或者“努力”能解释的范畴了，这简直就像是把整个现代数学金字塔的精华，强行塞进了一个碳基生物的脑子里！

足足过了半分钟，硬核转播间那死寂的弹幕才如同决堤般爆发：

“臥槽！这他妈是什么怪物啊？！”

“不是，这文件夹里隨便单拎一个文件出来，都够普通博士写一篇顶刊混个教职了吧？！”

“他管这叫『杂项』？这分明是顶刊备忘录吧！”

“我开始严重怀疑徐神是不是人类了…”

……

徐辰隨手复製了一段极长的文本，“比如这道题，这是关於函数域上朗兰兹纲领的一个延伸问题。洛朗·拉福格教授当年证明了朗兰兹纲领的函数域情形，但他的证明中对自守表示的局部约束条件还留了一个缺口。也就是说，在某些特殊的剩余特徵条件下，他的论证並不完全。”

“要补上这个缺口，需要你既要懂自守表示论、又要懂算术几何、还要懂l进表示论。这三个领域的交集本身就极其罕见。而且算力工作量大得惊人——我之前试过用传统方法，光是搜索相关的引理就花了两个月。”

“所以我设计了一个思路：与其正面证明自守表示的存在性，不如用反证法。我先构造一个虚假的表示，然后让ai去证明这个虚假表示必然导致矛盾。这样一来，问题就转化成了一个相对容易处理的矛盾搜索问题。”

“我的提示词是这样的——”

徐辰指向屏幕上的那段文本。那段文本密密麻麻，充满了符號和严格的逻辑约束。即使是直播间里那些顶级数学家，看著那些约束条件也需要花几分钟才能完全理解。

“你看，这里我定义了表示空间的拓扑结构，这里我给出了矛盾的搜索边界，这里我限制了引理应用的范围，这里我预留了同伦等价的退路。每一行都不是废话，每一个约束都直指问题的本质。“

徐辰將那段包含著密集拓扑结构定义、边界条件和代数几何直觉的文本，粘贴进了m1的输入框。

隨后，按下了回车。

……

“只要你的提示足够清晰，逻辑链条给足了前置约束，剩下的脏活累活，就交给机器吧。”

“因为m1的產品架构是agent化的，也就是说它不是一次性输出，而是可以持续不断地自我纠偏。一旦任务提交，它会自己连续运行，逐步逼近解，直到解决问题或者走进死路为止。在这个过程中，它会自动回溯、尝试替代路线、调整策略。你要做的，就是给它一个好的起点和清晰的约束。”

屏幕上，第一个窗口开始飞速输出代码和公式。

隨后徐辰重新打开了一个新的网页窗口。

“一个一个等太慢了，m1的並发处理能力还是不错的，咱们多开几个。”

……