李未院士加入百度院士专家工作站，成为第六位入站的学术泰斗，并做《科学发现的逻辑》报告，李院士越来越高兴，谈古论今，他认为科学的发现是可以通过预测、反驳、修正和猜想的可操作过程，让智能机器人来辅助人类发现科学。
