List of Conjectures - Proved (now Theorems)

Proved (now Theorems)

The theorems may not be their official names.

• Adams conjecture (J-homomorphism)
• Andrews–Curtis conjecture
• Bieberbach conjecture, 1916 (De Branges' theorem, 1984)
• Blattner's conjecture (Blattner formula)
• Burnside conjecture (Feit–Thompson theorem)
• Cameron–Erdős conjecture
• Catalan's conjecture, 1844 (Mihăilescu's theorem, 2002)
• Conway–Norton conjecture (monstrous moonshine)
• Dinitz conjecture (Galvin's theorem)
• Deligne's conjecture on 1-motives
• Denjoy's conjecture
• Dodecahedral conjecture (Hales–McLaughlin theorem)
• Epsilon conjecture (Ribet's theorem)
• Fermat's Last Theorem (Andrew Wiles' proof in 1994)
• Frobenius conjecture (Iiyori and Yamaki)
• Gradient conjecture (Kurdyka–Mostowski–Parusinski theorem)
• Heawood conjecture (Ringel–Youngs' theorem)
• Kummer's conjecture on cubic Gauss sums (Kummer sum)
• Mahler–Manin conjecture
• Manin–Mumford conjecture (Raynaud's theorem)
• Milnor conjecture (Voevodsky's theorem)
• Mordell conjecture (Faltings' theorem)
• Mumford conjecture (Haboush's theorem)
• Poincaré conjecture, 1904 (theorem about the characterization of the three-dimensional sphere)
• Oppenheim conjecture (Margulis' theorem)
• Ramanujan–Petersson conjecture (consequence of the proof of the Weil conjectures)
• Road coloring conjecture, 1970 (2008)
• Scheinerman's conjecture (proved 2009)
• Segal's Burnside ring conjecture (Carlsson theorem)
• Serre's conjecture (Quillen–Suslin theorem)
• Seymour's conjecture
• Smith conjecture (Gordon's theorem)
• Stanley–Wilf conjecture (Marcus–Tardos theorem)
• Star height problem (Hashiguchi theorem)
• Strong perfect graph conjecture (Chudnovsky–Robertson–Seymour–Thomas theorem)
• Sullivan conjecture
• Tameness conjecture (Agol or Calegari–Gabai theorem)
• Taniyama–Shimura conjecture (Modularity theorem)
• Thurston's geometrization conjecture (3-manifolds of the uniformization theorem for surfaces)
• Wagner's conjecture (Robertson–Seymour theorem)
• Weil conjectures (Deligne's theorems)