Terence Tao abre el debate sobre cómo deben responder las matemáticas a la IA

Fuentes: Terence Tao opens debate on how mathematics should respond to AI

El matemático Terence Tao, profesor en la Universidad de California en Los Ángeles, pronunció el 24 de julio de 2026 una conferencia pública inaugural en el Congreso Internacional de Matemáticos (ICM 2026) titulada 'Mathematics in the age of AI', en la que planteó que la disciplina atraviesa una etapa comparable a la crisis de fundamentos de principios del siglo XX. Tao sostuvo que la comunidad matemática debe examinar de forma crítica, y eventualmente codificar, las bases de su práctica ante el impacto de las herramientas de inteligencia artificial.

El núcleo de su intervención es la llamada Pregunta de Respuesta Comunitaria: cómo debe reaccionar la comunidad ante la capacidad real o atribuida de los sistemas de IA para ejecutar tareas matemáticas. Para abordarla, Tao formuló la Conjetura de Capacidad de IA, que evalúa si estas herramientas podrán acometer pronto tareas de investigación con cierto grado de éxito, supervisión humana y coste. Como referencia, mencionó la iniciativa First Proof (1stproof.org), que el 28 de mayo de 2026 evaluó cuatro entornos de IA sobre diez problemas originales de nivel de investigación: siete fueron resueltos con calidad publicable por al menos un equipo, con costes de entre 10 y 1.000 dólares por problema.

A partir de una Hipótesis de Trabajo que asume versiones razonablemente fuertes de esa conjetura, Tao se centró en la 'Pregunta de Objetivos y Valores': qué metas —explícitas e implícitas— persiguen realmente los matemáticos. Su conferencia insta a la profesión a definir con precisión sus objetivos y prácticas para preservar lo esencial de la investigación matemática en una era donde la IA asume parte creciente del trabajo técnico.