“我是来给您拜年的。”1月5日，全国人大常委会副委员长、中科院院长路甬祥继元旦前后两次看望部分老领导、老科学家后，又来到吴文俊的家中，代表中科院党组向他们致以新春的问候。  

在吴文俊院士家里，谈话很快进入了主题。路甬祥说：“前不久，数学与系统科学研究院刚开完建院10周年庆祝大会，这两年数学院有很大进步，年轻人都很努力，这证明数学院是一个和谐、奋进的科研院所，这与您的努力与帮助是分不开的。”

路甬祥说：“我始终认为，数学应该与其他学科，如物理、生命、经济等学科有更多的交叉。我们可以考虑组织经常性的跨学科研讨会，让年轻人多接触其他学科。您带了个好头，您的数学机械化证明创造性地把数学与机器证明结合起来，解决了现实中的很多应用问题。”