第405章 克劳德·埃尔伍德·香农

第405章 克劳德·埃尔伍德·香农 (第2/2页)

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