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