Solo unos pocos teoremas importantes tienen pruebas realmente difíciles que la mayoría de los matemáticos desconocen e incluso los mejores no pueden resolver por sí mismos cuando escuchan el resultado declarado. Estos son algunos de los más importantes, cada uno de los cuales tardó décadas en resolverse.
- Teorema de la curva de Jordan: cada curva cerrada simple en un plano la divide en dos regiones, dentro y fuera. Trivial para polígonos, no es difícil para curvas diferenciables. bastante duro en el caso general.
- Teorema de 4 colores, que involucra miles de casos particulares, verificado por computadora.
- Clasificación de grupos simples finitos, originalmente en un conjunto de pruebas de más de 3.000 páginas.
- Teorema de Taniyama-Shimura, la base para la prueba del último teorema de Fermat: cada curva elíptica es modular y viceversa.
- Conjetura de Poincaré en múltiples homeomorfas a 3 esferas.
Dos de los que realmente esperamos, de una forma u otra, son la Hipótesis de Riemann, que ha resistido un siglo y medio de esfuerzo, y P = NP.