李光耀还说过不要站在历史错误的一边。这跟生命逻辑和社会逻辑有关。

我在上海试图向学生介绍新逻辑理论时，有位学生问：你在说不可知论吗？

我是怎么回答并鼓励学生继续思考的，学生们还记得吗？当然学生没兴趣，我也不讲下去了。

但这些逻辑问题跟现在的语言模型和人工智能关系很大。语言模型什么时候该回答不知道，有没有更好的办法？

十几年前我在linkedin上跟人争论自动驾驶是否是未来时，我提出人类驾驶需要全神贯注，而半自动驾驶会导致人类司机失去专注，在需要人类干预时人类司机会常常来不及反应。

谷歌随后宣布把全自动驾驶当作主要研究方向。但我指出无人车的事故率是高度不稳定的，几年后问题会变得很严重。2023年12月有两辆Waymo无人车在几分钟内撞上同一辆卡车，证明了这一点。在骚乱、战争、丛林化环境下，问题更严重。无人车，特别是大型无人卡车，很容易落入敌对方陷阱，被改装成无人机发射平台和恐怖攻击工具。

有企业家喜欢丛林化环境？海地、西哈努克港、缅北出现过的状况是未来？别叶公好龙！

我还提出人类的居住和工作环境是为人类设计的，所以需要研究人形机器人。其实还有更重要的理由需要研究人形机器人。但我只把人形机器人当作基础研究，在材料、传感、运动、操作和控制等等方面需要研究，并不认为近期内有较大的商业前景。

当时有位新加坡国立大学的副教授跟我有过交流。

近年新加坡国立大学的杨跃和复旦大学教授们合著的教材《数理逻辑：证明及其限度》不但无法研究语言模型和人工智能的进展，也无法研究人工智能导致的数学界新危机。其它逻辑教材也有这些问题。

这是陶哲轩他们需要研究的。