姚先生一下就来了兴趣。
上回在书房里，李东可是亲口说过，要自己搭一个垂直跑数学的模型。
那天两个人聊得很畅快，他这些日子也一直惦记着，没想到这麽快李东就捣鼓出来了。
“来，我看看。”
李东吧笔记本上面的原型代码调了出来，然後将屏幕转向了姚先生。
姚先生笑着点开了第一个文件。
“谑。”
“好漂亮的代码。”
最开始的几分锺他还是笑着的。
可看着看着，他脸上的笑意就一点一点淡了下去。
十分锺。
半个小时。
一个小时。
姚先生保持着同一个姿势坐在那里一页一页地往下翻，翻到底了又倒回去重看。
小院里安静的只剩下风吹过竹叶的沙沙声。
翁博士看了一眼天色，又看了一眼杨先生，正犹豫着要不要提醒一句杨先生时间差不多了。
杨先生则是先摇了摇头，压低声音说道。
“别去打扰她。”
“我们回去就行了。”
杨先生知道，能让老姚把时间都忘掉的东西，这世上已经不多了。
翁博士会意，轻手轻脚地推来轮椅，扶着杨先生坐了上去。
回屋之前，杨先生回头看了一眼院子里的一老一少。
“忘年交呀，真好。”
然後翁博士就推着他回屋了。
……
又过了半个来小时。
姚先生终於摘下了眼镜，闭着眼睛揉了揉眉心，然後长长地叹了一口气。
“天才呀。”
李东刚想客气两句，姚先生抬手止住了他。
“枚举搜索框定假设空间，等价性判定折叠假设空间，精确归约做最终裁决。”
“三个原语，撑起的一个可计算的通用归纳。”
“李东啊，你自己知不知道，你搓出来的这个东西是什麽？”
姚先生没等李东回答又继续说道。
“我在你这个代码里看到了最优解，看到了计算里的乌托邦。”
“这条路……”
“真的很好，很好！”
说到这里，姚先生又看了李东一眼。
“不过……”
“是不是差基底呀？”
姚先生能看出来，李东毫不意外，
…。。