第288章 去攻克它，像你一如既往做到的那样（2/2）

即使两人已经有过许多次亲密接触，每一次靠近，她的心跳依然会不由自主地加快，心里也依旧是既期待又害羞的。

然而，预想中的温热触感久久没有落到她的唇上。她等了几秒，疑惑地睁开眼。

沈牧的脸近在咫尺，他英挺的眉骨、挺直的鼻樑，甚至他眼中映出的她自己小小的影子，都清晰可见。但他的自光並没有落在她这里，而是越过了她的肩头，凝视著她身后的方向，眉头微微蹙起，眼睛里似乎闪过一惊奇。

林初彤顺著他的视线转过头，发现沈牧好像是在看不远处的那块白板林初彤想的没错，沈牧此时的注意力確实是在那块白板上。

这並不能说他接吻不专心，他本来很专心地看著林初彤，可是打从进门就察觉到的房间里的一丝异样的他，刚才几乎是本能地向白板的方向看了一眼。

不看不知道，一看確实发现了不一样。

白板上原本写满了他关於“近似最优框架”中一系列核心引理的推导过程，包括一些高维流形上的测度集中不等式、非线性算子半群的逼近性质，以及几个尚未完全解决的、

关於近似度与计算复杂度平衡的猜想不等式。字跡是沈牧特有的，写得比较快，所以略显潦草。

但现在，在那些原有笔跡的旁边和下方空白处，多出了几行新的、更为工整细致的公式和推导步骤。

沈牧的注意力完全被那些新增的內容吸引了。他维持著靠近林初彤的姿势，但撑在书柜边缘的手微微用力，身体更向前倾了些，以便更清楚地阅读白板上的每一行符號。

“假设n：rr连续，单调非减，且满足n（o）=0。

若存在常数l，agt；0，使得n（e）≤lea（对充分小的e）

尝试构建n（e）dia（c）≈keΨ（c），其中k为常数Ψ（c）反映集合c的几何复杂度——”

“有意思————”

他讚嘆了两句，而后看向面前的林初彤，问道：“你写的”

注意到沈牧的神情和评价，林初彤脸上也露出个有些骄傲的微笑，“还行吧”

她语气放鬆下来，甚至带了点小小的炫耀，“你不是让我帮你训练圆圆吗我给了它你上次留下的几个边界条件参数集，还有你標记的那几个可能突破方向，就是那个————关於框架中代价泛函在特殊凸性缺失情形下的次梯度逼近问题。

“然后让它尝试做连续性推演，並模擬了几种不同的变分试探方法。这是它给出的、

在预设逻辑约束下最优的一个推理的过程，当然我不是很懂，我只是抄下来让你参考而已。

“”

圆圆是沈牧那个初步具备符號推理和逻辑推演能力的人工智慧辅助系统，当然，这名字是林初彤起的。

这段时间，在他的核心算法调整和在他们的交互调教下，圆圆在处理形式化逻辑链条、进行复杂符號运算和排查基础性推导矛盾方面，进步显著。

但沈牧认为它的思维高度依赖预设规则和已有模式，缺乏真正意义上的洞察和创造，更像个极其严谨、不知疲倦、但思维维度被固化的实习生。

然而，此刻白板上这几行由圆圆生成、经林初彤手写整理出的推导，却表现不俗，可以说是进步挺快。

当然虽然沈牧给圆圆设定的算法程序，调教它时用的数据都代表著自己的推理思维，但这並不代表这几行算式可以达到他的水平。

毕竟圆圆只能復刻他思考过，並和它聊过的课题，独立思考的话高度还是远远达不到。

但推演结果和思路依然不错，沈牧倒觉得有数学院大学毕业生，甚至是硕士毕业应该有的水平了。也难怪林初彤这丫头看不懂了。

沈牧之所以惊奇，因为他想到一件事。

人工智慧的推演严格遵循沈牧设定的底层数学公理、定义的算子规则如线性、非线性算子性质，拓扑结构，测度论基本定理等，以及林初彤给定的边界条件。每一步都逻辑自洽，符號变换准確无误。

圆圆不会犯程序设定的错误，但人类会。人类会依赖直觉，会做显然的简化，而这些简化在追求绝对严谨的理论上讲，可能並不那么理所当然。

这让沈牧意识到，也许眼前的困难，正是因为前面的某些步骤他犯了某些人类才会犯的经验性错误导致的。

不然，以他的经验来说，攻坚到这个时候，不会是一条思路都没有的。

所以，现在他要做的，並不是继续往前攻坚，而是把前面的所有推演步骤全部都梳理一遍————

林初彤一直安静地待在他臂弯和书柜形成的狭小空间里，看著他侧脸线条的绷紧与舒展，看著他眼中闪出智慧和专注的光芒。

她没有出声打扰，只是轻轻抬起手，放在他撑在书柜的手背上。

“去吧，哥哥，去攻克它，像你一如既往做到的那样。”

这声温柔而坚定的提醒，还有手背上传来的柔软温暖的触感，让沈牧短暂回神，重新看向眼前美得不可方物的女孩。

她的眼神清澈，里面没有被打断亲昵的嗔怪，没有等待的不耐，只有全然的理解和安静的支持。

沈牧心里像是被什么温暖的东西轻轻撞了一下。他没有再多说什么，只是快速地低头，在她唇上印下一个短暂却密实的吻。

“欠你的。”片刻后，他退开些许，看著她瞬间染上更多红晕的脸颊和晶亮的眼睛，低声说，语气里带著笑意和一丝歉意。