アンドリュー・ワイルズ
過去の有名な予想のうちいくつかは、20世紀になって開発されたより強力な技法によって解決されることになった。ヴォルフガング・ハーケンとケネス・アッペルは、1976年にコンピュータを使用して四色定理を証明した。 アンドリュー・ワイルズは数年にわたる独力の研究で、1995年にフェルマーの最終定理を証明した。また、20世紀になって数学の共同研究はかつてない規模で行われるようになった。有限単純群の分類の理論は1955年から1983年の間に発行された、約100人の執筆による500余りの雑誌記事からなるが、その総体は何万ページにもわたる。