主题：据说：中国军用笔记本电脑 -- 大卫

相信离实用化还远，还在科学家的试管里晃荡。而且我觉得它只是听上去花哨，未必会给人类带来什么革命性变化。相比较而言，量子计算如果成功的话影响力会大很多。

吴文俊做的我不太懂，似乎是自动定理证明。这不是高一层AI，而是AI最传统的内容，从最开始人们就希望朝这个方向发展。这个分支已经好多年没有突破了。AI的发展很奇怪，往往人们事先想象的方向会遇到极大困难而陷入停滞，可又在其他出人意料的地方获得突破。比如google，现在几乎无所不知，谁也不敢和它比博学，钱钟书复活也不成。以前的AI科学家做梦都想给计算机灌输各种知识，却没有料到今天这一切来得这样容易，是通过这种方式。