“科学不仅是理性的门徒,也是浪漫和激情的门徒。”
We are on the verge: Today our program proved Fermat's next-to-last theorem.