El 8 de septiembre de 2026, OpenAI anunció haber generado una solución a uno de los Problemas del Milenio, el problema de la existencia y suavidad de Navier-Stokes. Este anuncio provocó un intenso debate sobre la atribución del crédito y la naturaleza de la inteligencia artificial en las matemáticas. Los autores del artículo, Silvia De Toffoli y Eamon Duede, cuestionan si la disciplina está al borde de ser «resuelta» por las máquinas, comparando la situación con la derrota de Kasparov ante Deep Blue.
Sin embargo, los académicos argumentan que la narrativa de que la IA ha «resuelto» las matemáticas se basa en dos supuestos erróneos: que la IA realmente resolvió el problema y que las matemáticas se limitan a resolverlo. Distinguen entre una «respuesta» y una «solución» genuina. Aunque OpenAI proporcionó una formalización en Lean que certifica la validez lógica, falta la «inteligibilidad» que permite a los matemáticos comprender, comunicar y utilizar el resultado para avanzar. La verdadera solución requiere tanto corrección lógica como comprensión humana, algo que aún no está claro en el anuncio de OpenAI.