Hace tres años, la IA no podía sumar dos números. Hace un año, los modelos de Open AI y Deep Mind obtuvieron nivel de medalla de oro en la IMO. Ahora resuelven autónomamente importantes preguntas abiertas. Esta tendencia probablemente continúe, exigiendo un replanteamiento radical de las matemáticas.

Una charla titulada El fin de las matemáticas advirtió sobre un futuro sombrío donde la IA es sobrehumana pero las instituciones frenan la comprensión humana. Creo que podemos evitarlo si las matemáticas académicas se adaptan.

No hay consenso sobre los objetivos: resolver problemas, jugar, penetrar el reino platónico o transmitir el amor por las matemáticas. Mis respuestas: producir y comprender matemáticas de alta calidad, y producir matemáticos de alta calidad.

Operacionalizamos los objetivos mediante la demostración de teoremas. Pero si ese fuera el objetivo, sería trivial automatizarlo: una computadora podría enumerar pruebas de ZFC. El objetivo no es demostrar teoremas; es comprender.

Entidades clave: Empresas: Open AI, Deep Mind