El 8 de septiembre de 2026, Open AI anunció una solución generada por IA al problema de la existencia y suavidad de Navier–Stokes, uno de los siete problemas del Milenio. El anuncio provocó un debate sobre la asignación de crédito entre humanos y máquinas, con Tristan Buckmaster llamándolo un "momento Deep Blue–Kasparov". Surgieron preguntas existenciales sobre si las matemáticas están al borde de ser "resueltas" como el ajedrez y el Go.

La narrativa de que la IA ha "resuelto" las matemáticas se basa en dos suposiciones erróneas: primero, que la IA realmente resolvió un problema matemático, y segundo, que las matemáticas solo se trata de resolver problemas. Proporcionar una mera respuesta—incluso si está certificado formalmente—no es suficiente sin un prueba inteligible que los matemáticos humanos puedan entender y construir sobre ella.

Las matemáticas son mucho más amplias que la resolución de problemas. Los matemáticos desarrollan nuevos conceptos, hacen preguntas novedosas, unifican áreas, educan comunidades y crean obras valoradas por su belleza y profundidad. En lugar de retirarse a "seguir jugando", debemos rechazar caracterizar las matemáticas como un juego y en su lugar examinar de qué manera realmente son las matemáticas y qué queremos que sean.

Open AI produjo una respuesta—sí, Navier–Stokes puede desarrollar una singularidad—junto con una formalización Lean y un manuscrito informal. Aunque más que la "42" de Deep Thought, sigue siendo insatisfactorio porque la prueba misma tiene múltiples nociones, y el entendimiento subyacente sigue incompleto.

Entidades clave: Empresas: Open AI | Personas: Silvia De Toffoli, Eamon Duede, Tristan Buckmaster, C. Thi Nguyen | Locaciones: Universidad para Estudios Avanzados IUSS Pavia, Universidad de Princeton, Universidad de Purdue

Preguntas frecuentes: ¿Cuáles son las dos suposiciones erróneas en la narrativa de que la IA ha resuelto las matemáticas?

El primero es que la IA realmente resolvió un problema matemático—proporcionar una mera respuesta—incluso si está certificado formalmente—no es suficiente sin una prueba inteligible que los matemáticos humanos puedan entender y usar. El segundo es que las matemáticas solo se trata de resolver problemas, cuando en realidad abarca el desarrollo de conceptos, hacer preguntas nuevas, unificar áreas, educar comunidades y crear obras valoradas por su belleza y profundidad.