1、世界三大数学猜想即费马猜想、四色猜想和哥德巴赫猜想。费马猜想的证明于1994年由英国数学家安德鲁·怀尔斯完成，遂称费马大定理。

2、四色猜想的证明于1976年由美国数学家阿佩尔与哈肯借助计算机完成，遂称四色定理。哥德巴赫猜想尚未解决，目前最好的成果（陈氏定理）乃于1966年由中国数学家陈景润取得。