La inteligencia artificial podría provocar la mayor crisis de las matemáticas en más de un siglo, según Terence Tao
El matemático más influyente del mundo alerta de que la IA no amenaza la verdad matemática, sino los valores de la disciplina: qué cuenta como aportación valiosa y quién merece el crédito.
Terence Tao, ganador de la Medalla Fields (el Nobel de las matemáticas), advierte que la IA podría provocar una crisis comparable a la de principios del siglo XX: no amenaza la verdad matemática, pero sí cuestiona qué cuenta como aportación valiosa, quién merece crédito y cómo se valora el esfuerzo intelectual cuando las máquinas pueden generar demostraciones que ningún humano comprende del todo.
Terence Tao, considerado uno de los matemáticos más brillantes de la actualidad y ganador de la Medalla Fields (el equivalente al Nobel en matemáticas), acaba de publicar un ensayo donde advierte que la inteligencia artificial podría desencadenar una crisis comparable a la que sacudió las matemáticas a principios del siglo XX. Según informó The Decoder, Tao no teme que la IA vaya a cuestionar la verdad matemática en sí — como sí hicieron en su día los teoremas de incompletitud de Gödel (que demostraron que siempre habrá verdades matemáticas imposibles de probar dentro de un sistema lógico dado) — sino que alterará de raíz los valores del campo.
Lo que está en juego, explica Tao, es qué tipo de trabajo cuenta como una contribución valiosa, qué esfuerzos merecen reconocimiento académico y, sobre todo, cómo se atribuye la autoría cuando una demostración ha sido generada o completada por un modelo de IA. En otras palabras: si una IA puede resolver problemas complejos o encontrar demostraciones (pruebas formales que verifican una afirmación matemática), ¿sigue teniendo el mismo valor el trabajo humano? ¿Y quién se lleva el mérito?
Tao propone una regla práctica clara: una demostración que ningún humano pueda explicar debe considerarse incompleta. Para él, el valor de las matemáticas no reside únicamente en llegar a la respuesta correcta, sino en comprender el camino — y en que otros matemáticos puedan seguirlo, verificarlo y aprender de él. Si una IA produce una prueba que funciona pero que nadie entiende realmente, se pierde esa dimensión esencial de conocimiento compartido.
La comparación con la crisis de principios del siglo XX no es casual. En aquella época, figuras como Bertrand Russell y David Hilbert intentaron reconstruir las matemáticas sobre bases absolutamente sólidas, y el trabajo de Kurt Gödel demostró que ese objetivo era inalcanzable. Ahora, según Tao, la IA no desafía los fundamentos lógicos de la disciplina, pero sí obliga a repensar su cultura: cómo se valora el esfuerzo intelectual, cómo se enseña, cómo se publica y cómo se reconoce a quienes hacen avanzar el conocimiento.
Tao no descarta que la IA pueda convertirse en una herramienta poderosa para explorar nuevas áreas de las matemáticas o verificar demostraciones largas y complejas — algo que ya está ocurriendo con sistemas de demostración formal como Lean (un software que permite escribir pruebas matemáticas que una computadora puede verificar automáticamente). Pero insiste en que el reto no es técnico, sino humano: cómo mantener el sentido de propósito y rigor en un campo donde las máquinas empiezan a hacer parte del trabajo que antes solo podían hacer personas.
