第559章徐神的直播三【直播】
第559章徐神的直播三【直播】(第3/3页)
夹里随便单拎一个文件出来，都够普通博士写一篇顶刊混个教职了吧？！」
「他管这叫『杂项』？这分明是顶刊备忘录吧！」
「我开始严重怀疑徐神是不是人类了…」
……
徐辰随手复制了一段极长的文本，「比如这道题，这是关于函数域上朗兰兹纲领的一个延伸问题。洛朗·拉福格教授当年证明了朗兰兹纲领的函数域情形，但他的证明中对自守表示的局部约束条件还留了一个缺口。也就是说，在某些特殊的剩余特徵条件下，他的论证并不完全。」
「要补上这个缺口，需要你既要懂自守表示论丶又要懂算术几何丶还要懂l进表示论。这三个领域的交集本身就极其罕见。而且算力工作量大得惊人——我之前试过用传统方法，光是搜索相关的引理就花了两个月。」
「所以我设计了一个思路：与其正面证明自守表示的存在性，不如用反证法。我先构造一个虚假的表示，然后让ai去证明这个虚假表示必然导致矛盾。这样一来，问题就转化成了一个相对容易处理的'矛盾搜索'问题。」
「我的提示词是这样的——」
徐辰指向屏幕上的那段文本。那段文本密密麻麻，充满了符号和严格的逻辑约束。即使是直播间里那些顶级数学家，看着那些约束条件也需要花几分钟才能完全理解。
「你看，这里我定义了表示空间的拓扑结构，这里我给出了矛盾的搜索边界，这里我限制了引理应用的范围，这里我预留了同伦等价的退路。每一行都不是废话，每一个约束都直指问题的本质。「
徐辰将那段包含着密集拓扑结构定义丶边界条件和代数几何直觉的文本，粘贴进了m1的输入框。
随后，按下了回车。
……
「只要你的提示足够清晰，逻辑链条给足了前置约束，剩下的脏活累活，就交给机器吧。」
「因为m1的产品架构是agent化的，也就是说它不是一次性输出，而是可以持续不断地自我纠偏。一旦任务提交，它会自己连续运行，逐步逼近解，直到解决问题或者走进死路为止。在这个过程中，它会自动回溯丶尝试替代路线丶调整策略。你要做的，就是给它一个好的起点和清晰的约束。」
屏幕上，第一个窗口开始飞速输出代码和公式。
随后徐辰重新打开了一个新的网页窗口。
「一个一个等太慢了，m1的并发处理能力还是不错的，咱们多开几个。」
……