La prueba de Shinichi Mochizuki de la conjetura ABC (aunque puede considerarse un resultado secundario). Para llegar al resultado, desarrolló teorías completamente nuevas en matemáticas que probablemente terminarán teniendo mucha más aplicación que probar la conjetura ABC. Su trabajo para desarrollar la conjetura ABC se describe en esta publicación aquí:
Una visión general de la Teoría de Teichmüller Inter-universal y la prueba de Shinichi Mochizuki de la Conjetura ABC, junto con la situación actual y cómo podemos comenzar a entender esta teoría por Joseph Heavner en Posts
Culminando en casi 1000 páginas de conocimientos previos antes de que uno pueda entender su trabajo. Actualmente, solo Mochizuki y dos colegas entienden el trabajo en su totalidad (a partir de febrero de 2014) y dicen que se verifica.
Editar:
También está el teorema de los cuatro colores que se probó con la primera prueba asistida por computadora importante, y fue controvertido porque ningún ser humano pudo verificar cada caso, pero solo una computadora pudo.
- ¿Cómo obtengo una expresión lógica que genere los valores de verdad en la última columna de una tabla de verdad?
- ¿Cómo se prueba el teorema de compresión?
- ¿Puede existir una declaración condicional verdadera con un contrapositivo falso?
- ¿Se puede demostrar que no hay pruebas de cierto problema?
- ¿Qué es una prueba epsilon-delta de la regla de límites de diferencia?