Terence Tao en la Ceremonia de la Medalla Fields: Las Matemáticas Enfrentan una Crisis Centenaria

En el Congreso Internacional de Matemáticos (ICM) de 2026, inmediatamente después del anuncio de los galardonados con la Medalla Fields de 2026, Wang Hong y Deng Yu, Terence Tao, quien recibió el mismo premio en 2006, ofreció una charla titulada "Las matemáticas en la era de la IA". En lugar de debatir si la IA puede manejar las matemáticas, Tao propuso una hipótesis de trabajo: asumir que la IA pronto será capaz de resolver una parte significativa de los problemas de investigación a un costo razonable. Citando el referente independiente First Proof, donde los sistemas de IA resolvieron 7 de 10 problemas a un nivel publicable, enfatizó que esto permite trasladar la discusión al ámbito de los valores. Tao invocó la ley de Goodhart: cuando una métrica se convierte en un objetivo, deja de ser una buena métrica. Mostró cómo la evolución de los objetivos en la investigación matemática (resolución de problemas, verificación, exposición clara, aceptación por la comunidad, canonización) conducirá a una "indigestión de demostraciones" —una transición de una era de escasez de pruebas a una era de abundancia de pruebas. Tao pidió reducir el peso de la "primera solución" y aumentar la importancia de las etapas de "digestión": exposición, publicación y canonización. Respaldó la Declaración de Leiden sobre IA y Matemáticas, que exige la divulgación del uso de IA, con los autores asumiendo toda la responsabilidad por la corrección. La estricta regla de Tao: si un autor no puede presentar el trabajo oralmente de manera clara y experta, no debería publicarse. El propio Tao reconoció haber usado IA para preparar diapositivas y pidió un diálogo abierto dentro de la comunidad.