OpenAI anunció que un modelo de inteligencia artificial entrenado desde el 28 de agosto resolvió las formulaciones de existencia y suavidad (variantes C y D) de las ecuaciones de Navier-Stokes, uno de los siete Problemas del Milenio del Instituto de Matemáticas Clay, y además produjo soluciones para más de 100 problemas matemáticos que permanecían abiertos desde hace años. La empresa compartió la solución tanto en un artículo matemático como en un archivo formalizado con el asistente de pruebas Lean; sin embargo, no detalló cuáles son los 100 problemas resueltos ni presentó una evaluación independiente por pares.