尋求真理所付出的代價，永遠比不冒風險的接受真理要高得多。-萊辛
計算機將在數學研究中發揮越來越重要的作用；用計算機解決數學問題，將啟發人們尋求更好、更簡單的方法，加深人們對數學本質特征的理解，促進以計算機為基礎的人工智能的發展。周海中