軌道力学
ヨハネス・ケプラーは、高い正確性で惑星の軌道のモデル化に成功した最初の人物であり、1605年にケプラーの法則を発表した。アイザック・ニュートンは、天体の運動のより一般的な法則を1687年の著書『自然哲学の数学的諸原理』の中で発表した。
ケプラー予想
証明の形式が異例だったにもかかわらず、Annals of Mathematics誌の編集者は掲載に同意したが、12人の専門家による査読を条件とした。2003年、四年間の作業を経て、査読者団の筆頭であったガボル・フェイェシュ＝トートは証明が正しいことに「99%の確信を持っている」と報告した。しかし、コンピュータによる計算がすべて正しいと保証することはできなかった。