Demostración matemática con IA: cuando una máquina resuelve lo que nadie pudo en décadas
Las matemáticas son el único campo del conocimiento donde la verdad es absoluta. Una demostración matemática no admite “probablemente” ni “según ciertos estudios”: o es correcta o no lo es. Por eso resulta tan impactante que en 2024 y 2025 varios sistemas de inteligencia artificial hayan comenzado a resolver problemas matemáticos que llevaban décadas sin respuesta, a una velocidad que los mejores matemáticos del mundo reconocen como imposible de igualar a mano.
La Olimpiada Matemática Internacional y la IA que la superó
La Olimpiada Matemática Internacional es la competición de matemáticas más exigente del mundo para estudiantes. Sus problemas están diseñados para que solo los mejores mentes matemáticas del planeta los resuelvan en horas.
En 2024, Google DeepMind presentó AlphaProof y AlphaGeometry 2. Los dos sistemas resolvieron juntos cuatro de los seis problemas de la edición de ese año de la Olimpiada, una marca equivalente a una medalla de plata. AlphaGeometry 2, específicamente, resolvió el problema de geometría a un nivel comparable al de un ganador de medalla de oro.
Ningún sistema de inteligencia artificial había llegado tan lejos antes en este tipo de razonamiento matemático formal.
El equipo de DeepMind publicó los resultados en la revista Nature, acompañados de una nota que pocos esperaban: los sistemas no habían “memorizado” soluciones parecidas. Habían razonado, generando demostraciones matemáticas originales paso a paso.
La demostración matemática que corrigió un error de décadas
Lo que más ha llamado la atención a la comunidad científica en 2025 no es solo la capacidad de resolver problemas nuevos, sino la de encontrar errores en demostraciones matemáticas ya publicadas y aceptadas.
El matemático Terence Tao, único ganador de la Medalla Fields, considerada el Nobel de las matemáticas, ha declarado públicamente que usa herramientas de inteligencia artificial como asistentes en su propio trabajo de investigación y que ha encontrado en ellas una utilidad genuina para verificar pasos de demostraciones complejas que de otro modo requieren semanas de revisión manual.
En 2025, un equipo de investigación de la Universidad de Cambridge empleó herramientas formales de verificación asistidas por IA para detectar un error en una demostración matemática publicada décadas atrás en topología algebraica, un área de las matemáticas tan especializada que el número de personas en el mundo capaces de revisarla a mano se puede contar con los dedos de dos manos. La herramienta encontró el error en cuestión de horas.
Cómo funciona la demostración matemática automatizada
Los sistemas de demostración matemática formal trabajan con lenguajes como Lean o Coq, que obligan a expresar cada paso de una demostración de forma que el ordenador pueda verificarla lógicamente. Si un paso es incorrecto, el sistema lo detecta de inmediato, algo que los revisores humanos a veces pasan por alto incluso después de meses de lectura.
La inteligencia artificial entra en dos fases distintas: en la búsqueda del camino de demostración, donde el modelo explora millones de rutas posibles con técnicas de aprendizaje por refuerzo, y en la verificación formal, donde comprueba que cada paso sea lógicamente válido dentro del sistema matemático elegido.
FunSearch, otra herramienta de DeepMind, aplicó este tipo de razonamiento al campo de la combinatoria y encontró en 2023 soluciones nuevas al problema del cap set, una pregunta abierta en matemáticas que llevaba años sin avance relevante.
Lo que la IA todavía no puede hacer en matemáticas
La demostración matemática automatizada tiene límites claros. Los sistemas actuales funcionan bien en problemas que tienen una estructura formal bien definida, como la geometría o la teoría de números. Tienen mucha más dificultad con áreas donde la intuición matemática juega un papel central y donde el camino de demostración no sigue un patrón conocido.
La conjetura de Riemann, el problema matemático abierto más famoso del mundo, lleva más de 160 años sin resolverse. Los investigadores de DeepMind han sido explícitos al reconocer que sus sistemas actuales no están cerca de ese nivel de complejidad.
Lo que sí está claro es que la demostración matemática ya no es territorio exclusivo del cerebro humano. Y eso cambia algo fundamental en cómo la ciencia construye conocimiento verificable.
Si te interesa cómo la IA está redefiniendo los límites del conocimiento científico, en ExplicaIA tienes un artículo sobre optimización combinatoria que profundiza en las bases matemáticas de muchos de estos sistemas.
En ExplicaIA seguimos este campo de cerca, porque una IA que puede demostrar que algo es verdad de forma irrefutable es una de las herramientas más poderosas que la ciencia ha creado jamás.