Matemático Terence Tao Alerta que la IA Ya Demuestra Teoremas Incomprensibles para Humanos

¿Qué pasa cuando una máquina llega a la respuesta correcta, pero nadie en la mesa puede explicar cómo lo hizo? Esa escena, que parece de ciencia ficción, ya empezó a inquietar a quienes trabajan con el lenguaje más exacto que existe: las matemáticas.

El hallazgo no sale de un laboratorio aislado. Surge del debate que recogió Understanding AI y de una advertencia directa de Terence Tao, una de las voces más influyentes del campo. Su señal es clara: estamos cerca de que una IA demuestre un resultado matemático importante sin que ningún humano pueda comprenderlo del todo.

La velocidad del cambio explica esa alarma. Hace poco estos sistemas todavía fallaban en operaciones aritméticas elementales. Ahora ya resuelven problemas que llevaban décadas abiertos y, en algunos casos, superan a humanos en competiciones como las olimpíadas de matemáticas.

Tao subraya que la IA debería ampliar el pensamiento humano, no reemplazarlo.

La pieza clave del problema no es solo acertar. Es entender. En matemáticas, una demostración no funciona como un número de lotería: no alcanza con que dé bien. Tiene que mostrar el mecanismo, el cableado interno, la razón por la que cada paso sostiene al siguiente.

Ahí aparece Lean, un lenguaje formal que convierte argumentos matemáticos en objetos verificables por ordenador. Es decir, puede revisar si una prueba está bien armada. Pero validar no equivale a explicar. Comprueba que el enchufe da corriente, no enseña cómo se diseñó la instalación.

El interruptor entre probar y comprender

Esa diferencia ya tuvo una señal concreta. OpenAI publicó un post en el que afirmaba haber resuelto o impulsado diez problemas matemáticos complejos con IA. Sin embargo, al menos una de esas demostraciones resultó errónea. El episodio revela una clave incómoda: una prueba convincente puede ser, Incorrecta.

Además, varios matemáticos creen que la balanza seguirá moviéndose. Jacob Tsimerman considera que la IA será pronto “robustamente sobrehumana” en matemáticas. Yu Deng, en cambio, imagina otro reparto: las personas generarían ideas y teorías, mientras la máquina se ocuparía de los detalles técnicos.

Hoy, de hecho, la IA ya cumple un papel más doméstico y práctico. Ayuda a buscar bibliografía, detectar ejemplos complejos y revisar borradores. Funciona como una central de apoyo: no reemplaza al matemático, pero le ahorra tiempo en tareas repetitivas y le abre nuevas oportunidades de exploración.

El riesgo aparece si ese trabajo intermedio desaparece. El aprendizaje matemático humano depende de equivocarse, resolver escalones pequeños y construir intuición. Si la IA se lleva esa parte, también puede llevarse una pieza clave de la formación de futuros expertos.

Qué futuro quieren preservar los matemáticos

Por eso el debate ya no es solo técnico. También es cultural. Timothy Gowers advirtió en su análisis sobre la Declaración de Leiden que podríamos terminar con una producción masiva de resultados que nadie entienda ni sepa usar. Sería una biblioteca inmensa, pero con libros cerrados.

Frente a eso, Daniel Litt propuso otro enfoque: usar la IA para construir bibliotecas de demostraciones acompañadas por guías explicativas. La idea no es solo acumular respuestas, sino convertir cada solución en un nuevo objeto de estudio humano.

En paralelo, la Declaración de Leiden busca preservar valores como la autonomía intelectual, la transparencia, la diversidad de métodos y la atribución correcta. Porque el debate de fondo no es si la IA puede hacer más matemáticas, sino qué parte del pensamiento conviene seguir dejando en manos humanas.

Si la matemática es una casa en expansión, la IA ya demostró que puede instalar nuevos circuitos a una velocidad asombrosa. La pregunta que queda abierta es si también sabremos leer ese plano antes de mudarnos.

Sofía Sicilia

Directora de operaciones en GptZone. IT, especializada en inteligencia artificial. Me apasiona el desarrollo de soluciones tecnológicas y disfruto compartiendo mi conocimiento a través de contenido educativo. Desde GptZone, mi enfoque está en ayudar a empresas y profesionales a integrar la IA en sus procesos de forma accesible y práctica, siempre buscando simplificar lo complejo para que cualquiera pueda aprovechar el potencial de la tecnología.