10/09/2026
OpenAI informa que el trabajo fue realizado mediante aproximadamente 10.000 agentes de IA trabajando concurrentemente. Los agentes llegaron al resultado el 5 de septiembre, unas 88 horas después de iniciado el proceso. Después, la formalización y verificación en Lean requirió otras 17 horas. Durante el proyecto de Navier–Stokes se generaron aproximadamente 2,7 millones de mensajes y 130.000 millones de tokens :