Terence Tao, el matemático de UCLA ampliamente considerado como la figura viva más influyente en este campo, ha publicado un ensayo en el que sostiene que la inteligencia artificial está empujando a las matemáticas a un período de turbulencia comparable a la crisis fundamental que reformó la disciplina hace un siglo. El artículo, "Matemáticas en la era de la IA", apareció en arXiv el 17 de agosto y se basa en una conferencia pública que Tao pronunció en el Congreso Internacional de Matemáticos de 2026.
El ensayo se ha convertido rápidamente en uno de los textos científicos más discutidos de la semana entre investigadores e ingenieros, atrayendo grandes audiencias en foros como Hacker News. Para un campo que ha pasado los últimos tres años debatiendo si la IA realmente puede hacer matemáticas a nivel de investigación, el argumento de Tao cambia la pregunta por completo.
Una crisis de valores, no de verdad
El marco histórico de Tao es deliberado. Aproximadamente entre 1900 y 1930, las matemáticas se vieron sacudidas por la paradoja de Russell en 1901 y los teoremas de incompletitud de Gödel en 1931, descubrimientos que obligaron a los matemáticos a abandonar los supuestos informales y construir los fundamentos explícitos y rigurosos en los que todavía se basa la materia en la actualidad. Esa turbulencia, sostiene, finalmente fortaleció a las matemáticas.
El paralelo que establece es preciso: lo que se está poniendo a prueba ahora no es el marco matemático para la verdad, sino su "marco en gran medida implícito de valores y prácticas matemáticas": lo que la comunidad considera que es una contribución, qué recompensa, qué considera entendido y quién o qué considera que ha hecho el trabajo. Así como la última crisis obligó a lo implícito a volverse explícito, Tao sostiene que ésta obligará a los matemáticos a codificar objetivos que nunca han tenido que ser escritos.
Saltarse el debate sobre la capacidad
La elección estructural más sorprendente del ensayo es que se niega a discutir si la IA puede hacer matemáticas. En cambio, Tao condiciona la hipótesis de que llegarán herramientas de inteligencia artificial capaces de realizar tareas matemáticas a nivel de investigación, y trata todo lo que se deriva de esa suposición como el problema real. A esto lo llama la "Pregunta de respuesta de la comunidad": cómo debería responder la comunidad matemática, no si las capacidades son reales.
Es un movimiento deliberadamente ortogonal. Los debates sobre la capacidad del modelo, según Tao, son irresolubles en abstracto y no vienen al caso. Las preguntas urgentes (para qué sirven las matemáticas y qué valoran realmente sus practicantes) exigirían respuestas incluso si el progreso de la IA se estancara mañana.
Escasez de pruebas, abundancia de pruebas y ley de Goodhart
El elemento central del ensayo es un estudio de caso sobre la resolución de problemas, el componente de la práctica matemática más directamente amenazado por la automatización. Tao examina lo que sucede cuando el campo pasa de una economía de escasez de pruebas (donde las pruebas originales y verificadas son raras y valiosas) a una economía de abundancia de pruebas, donde los argumentos generados por máquinas son baratos y abundantes.
Su lista de palabras clave señala el terreno que cubre: formalización, asistentes de prueba, revisión por pares, ley de Goodhart. Ese último elemento –el principio de que una medida deja de ser una buena medida una vez que se convierte en un objetivo– se repite en todo momento. El recuento de publicaciones, los resultados de las competiciones y la procedencia de los teoremas han servido como sustitutos de la contribución matemática. En un mundo donde la IA puede inflar esos indicadores a escala, la comunidad necesitará recompensar lo que realmente valora en lugar de lo que históricamente ha podido contar.
El ensayo cierra con recomendaciones y un estudio de los flujos de trabajo emergentes, incluidos entornos de prueba formales del tipo que el propio Tao ha defendido en experimentos con matemáticas formalmente verificadas y asistidas por IA, junto con un reconocimiento sincero de que la respuesta de la comunidad evolucionará a medida que lo haga la tecnología.
Por qué un ensayo de matemáticas es importante fuera de las matemáticas
Tao es una figura inusual: un medallista Fields que ha pasado años trabajando directamente con asistentes de prueba y herramientas de inteligencia artificial en lugar de comentarlos desde la distancia. Ese compromiso práctico le da al ensayo un peso más allá de las matemáticas puras, porque casi todas las disciplinas de investigación enfrentan la misma inversión que él describe. La revisión por pares, la autoría, el crédito y la definición de una contribución están bajo la misma presión en la física, la biología y la informática, campos que carecen de la ventaja centenaria de las matemáticas para hacer explícitos sus fundamentos.
La recepción hasta ahora sugiere que el argumento ha llegado a buen puerto. Los hilos de discusión se han centrado en el enfoque de escasez-abundancia de Tao como una lente útil para el mundo académico en general, con especial atención a su punto de que la crisis de valores, a diferencia de la crisis de fundamentos, no puede ser resuelta por un pequeño grupo de lógicos. Tendrá que ser elaborado por toda la comunidad: revistas, comités de contratación, organismos de subvenciones y los matemáticos cuyas carreras se basan en las normas implícitas que ahora están bajo presión.
La conclusión de Tao es, en última instancia, más constructiva que alarmante. La crisis fundacional produjo un marco confiable que sobrevivió a un siglo de pruebas. Sostiene que un examen exhaustivo y honesto de lo que realmente valoran las matemáticas podría hacer que la disciplina sea más fuerte y resiliente que antes, siempre que la comunidad haga el trabajo de hacer explícitas sus reglas no escritas antes de que las circunstancias tomen la decisión.
---
Manténgase a la vanguardia de la IAObtenga las últimas noticias, análisis y avances en IA, todo en un solo lugar.
Leer más noticias sobre IA →
