OpenAI rapporte qu'un système d'IA interne a produit une preuve montrant que la dynamique des équations de Navier-Stokes pour le mouvement des fluides peut développer une singularité en temps fini. La solution, dérivée par un système multi-agents alimenté par un modèle significativement plus capable que GPT-6 Astra, établit l'énoncé "C" de la formulation du Prix Millennium.
Le système a utilisé environ 10 000 agents concurrents qui ont envoyé 2,7 millions de messages et ont utilisé environ 130 milliards de tokens de sortie pour résoudre le problème en environ 88 heures. La preuve identifie une structure de vortex où les vitesses du fluide croissent sans limite tandis que l'énergie reste finie, marquant une rupture dans l'approximation continue malgré la viscosité.
OpenAI a publié à la fois un texte expliquant la preuve analytique et une formalisation Lean pour informer le monde du rythme des progrès de l'IA et des capacités des modèles frontier à venir.