OpenAI a annoncé une résolution au problème d'existence et de lissitude de Navier–Stokes, l'un des sept 1,000,000 Problèmes du Prix Millennium, à l'aide d'un modèle interne non publié. L'affirmation est survenue dans le contexte d'accusations de la part de Tristan Buckmaster, professeur de mathématiques à NYU, et Levent Alpöge, mathématicien chez Anthropic, qui allèguent qu'OpenAI aurait pu accéder à leur travail.

Buckmaster et Alpöge ont collaboré pendant près d'un an en utilisant Claude et Codex (principalement GPT-5.6 Sol), obtenant une avancée le 15 août. Après la diffusion de rumeurs selon lesquelles Anthropic avait résolu un problème majeur, OpenAI a lancé son propre effort le 1er septembre, achevant une preuve vérifiée par Lean le 6 septembre en utilisant GPT‑6 Astra. Les agents d'OpenAI ont envoyé 2,7 millions de messages et utilisé environ 130 milliards de jetons de sortie uniquement pour Navier–Stokes.

OpenAI a proposé une publication simultanée mais a exclu Alpöge en raison de liens concurrentiels avec Anthropic. Buckmaster s'est demandé si le modèle d'OpenAI avait été entraîné sur leurs sessions Codex ; OpenAI a nié avoir accédé aux données utilisateur mais a reconnu que les données d'utilisation anonymisées pourraient avoir amélioré les modèles. Les deux preuves diffèrent, notamment sur le cas d'Euler (contraint vs. non contraint). Ce litige met en évidence les tensions autour de la découverte mathématique assistée par IA et la priorité intellectuelle.