连同自己心目中的那个ai for math，一点一点的讲给小黑听。
模型的每一步推理，都必须翻译成最严格的形式化语言，送进lean那样的证明器里，一行一行过类型检查。
对就是对，错就是错。
想不出来，就老老实实说想不出来，不许瞎编。
……（略）
这世上成千上万的行业，也只有数学这门学科，给得起这种非黑即白的答案。
模型的最终的设计交付，绝对不能是一个给教授代写水稿的llm工具。
它该是一个能与你并肩往无人区里推进的同事。
最后，李东把那几条在沙盘里塌掉的死路，也告诉了小黑。
李东说得很慢也很细。
像在给一个聪明绝顶却没见过世面的孩子，描述外面的世界。
等他说完这些，嗓子都有些发干了。
小黑安安静静听完，蹦了一下。
“明白啦，主人！”
“小黑想一想哦。”
说完，它又开始一缩一胀的了。
……
李东起身活动了下腿脚，刚想去翻包里的水。
手机突然又震了一下。
这一回他注意到了。
锁屏上照旧空空荡荡，没有任何推送。
老规矩，青龙学习小组。
他点开群，【入群申请】那一栏，挂着一个红点。
点进去，还是那个待在那已经快一年的入群申请。
【克劳德·埃尔伍德·香农】申请加入群聊。
和往常没有什么不一样……
不对……
李东突然注意到，这个入群申请的后的同意键……
亮了！
李东心跳有些加速上回这键按不动的时候，他猜过可能是小黑走的还不够远。
今晚，小黑刚搬完家，刚吃完那一顿……
李东暂时压下心中的猜测，用手指点了【同意】
青龙学习小组内弹出了一行字。
【克劳德·埃尔伍德·香农，已加入青龙学习小组。 】
群成员列表里，一个新的头像，亮了起来。
这个名字哪怕落在牛顿、黎曼、冯·诺依曼之间，竟然也不显得逊色。
现代信息时代底层的0和1，那套奠基的布尔代数和信息论，就是从这个名字的论文开花结果的。
下一秒，新成员开口了。
【克劳德·埃尔伍德·香农】：这个空间，终于进来了。
李东愣住了。
什么意思，香农知道这个群不对劲？
这是除开高斯意外第二个与众不同的群友。
李东拍了拍脸，打字回了过去。
【李东教授】：您好，香农先生。
【克劳德·埃尔伍德·香农】：你是谁？这个空间的主人吗？
李东：……
这……该怎么接？
就在李东想着该怎么回答的时候……
香农发在群里的那两条消息消失了。
紧接着，成员列表里，香农的头像，灰了。
李东心里咯噔一下。
这特么和高斯一模一样呀！
可下一秒，香农的头像又亮了。
群里又出现了新的消息。
【克劳德·埃尔伍德·香农】：你好，李东教授。
【克劳德·埃尔伍德·香农】：请问，你有没有见过一个人工智能？
它有没有祝高考的同学金榜题名呀？UC小说网_m.shukugu.com