“把假设空间上的枚举搜索、候选程序的等价性判定、逐字符的精确符号归约，这三个原语贯彻下去，就是整套范式的核心，我这麽总结，对吧？”

“对哦，主人都问第三遍啦。”

“第一遍叫确认，第二遍叫复述，这一遍叫总结陈词。”

“哦。”

“你这个哦，是什麽意思？”

“没什麽意思呀，小黑只是在配合主人找回场子。”

李东深吸了一口气，决定不和一个没有实体的东西计较。

海淀，西北旺。

产业园的灰色小楼里，主控台上放着一台笔记本，墙角横七竖八的放满了外卖袋。

李东已经在这个机房里待了三天了。

第二天的时候他就想给林伟打电话了，可是他突然想到，这个代码自己都没啃透，真送到了华轩那边去，华轩的工程师要是问两个问题，把他问啥了怎麽办。

於是这几天他就在机房里向小黑学习。

“继续，等价性判定这个东西，你做的是商集划分，凡是判定意义下等价的候选程序，统统折叠成同一个代表元。”

“可是程序的语义性质，按莱斯定理是不可判定的，你这台判定器凭什麽停得了机？”

“因为小黑判定的从来就不是全体程序呀。”

“嗯？”

“枚举搜索出来的每一个候选，都是关在资源受限的假设空间里的，码长封顶，步数也就了封顶。”

“在一个停机性被强制保证的空间里做判定，莱斯定理它管不着哦。”

“所以……是搜索这一层先把不可判定性掐死，判定这一层才行得通。”

“空间再被等价类这麽一折叠，组合爆炸也跟着压了下去了？”

“主人好棒，奖励主人一朵小红花。”

李东：……

李东：问……（略）

“这个，昨天下午刚讲过哦，主人记性真差！”

……

“主人，你好笨呀。”

“主人，要梯度做什麽呀？”

“主人，你脑子转不过弯呀？”

“主人偶尔也能讲出很聪明的话呢。”

……

就这样的一问一答持续了整整三天。

三天里，李东把那个原型代码，从入口顺着调用链摸到了内核。

虽然最深处的细节他还没有完全吃透，但整个大框架算是没问题了。

不过代价是他被一个人工智能骂了整整三天。

偏偏小黑的语气又萌又乖，他连脾气都没处发。

……

第三天傍晚，李东走出了机房。

9月的阳光洒在他的脸上。

阳光，真好啊。

园区的路边停着一辆黑色的轿车。
本章未完，请翻下一页继续阅读.........