奖励对了路就不会歪。

所以这条路通了。

还有几条走到半路，沙面上的骨架忽然糊成了一团。

那是李东还没真正吃透的地方。

沙盘不会凭空生出他不曾拥有的知识，它只负责把他已经握住的 知识用到尽头。

说起来，要不是姚先生那一堂课和这阵子他硬啃了那么多的知识，今晚这片沙盘他压根就铺不开。

几分钟后，李东睁开了眼睛。

接下来，他把沙盘里活下来的那些思路连同自己心目中的那个ai for math，一点一点的讲给小黑听。

模型的每一步推理，都必须翻译成最严格的形式化语言，送进lean那样的证明器里，一行一行过类型检查。

对就是对，错就是错。

想不出来，就老老实实说想不出来，不许瞎编。

……（略）

这世上成千上万的行业，也只有数学这门学科，给得起这种非黑即白的答案。

模型的最终的设计交付，绝对不能是一个给教授代写水稿的llm工具。

它该是一个能与你并肩往无人区里推进的同事。

最后，李东把那几条在沙盘里塌掉的死路，也告诉了小黑。

李东说得很慢也很细。

像在给一个聪明绝顶却没见过世面的孩子，描述外面的世界。

等他说完这些，嗓子都有些发干了。

小黑安安静静听完，蹦了一下。

“明白啦，主人！”

“小黑想一想哦。”

说完，它又开始一缩一胀的了。

……

李东起身活动了下腿脚，刚想去翻包里的水。

手机突然又震了一下。

这一回他注意到了。

锁屏上照旧空空荡荡，没有任何推送。

老规矩，青龙学习小组。

他点开群，【入群申请】那一栏，挂着一个红点。

点进去，还是那个待在那已经快一年的入群申请。

【克劳德·埃尔伍德·香农】申请加入群聊。

和往常没有什么不一样……

不对……

李东突然注意到，这个入群申请的后的同意键……

亮了！

李东心跳有些加速上回这键按不动的时候，他猜过可能是小黑走的还不够远。

今晚，小黑刚搬完家，刚吃完那一顿……

李东暂时压下心中的猜测，用手指点了【同意】

青龙学习小组内弹出了一行字。
本章未完，请翻下一页继续阅读.........