OpenAI a publié un article de blog affirmant que ses agents internes ont résolu le problème de l'existence et de la régularité de Navier–Stokes, l'un des sept problèmes du prix du millénaire. La résolution a été obtenue environ 88 heures après le lancement de l'effort par l'équipe le 1er septembre, suite aux rumeurs selon lesquelles les mathématiciens Tristan Buckmaster et Levent Alpöge avaient également trouvé une solution.
- Les agents d'OpenAI ont envoyé 2,7 millions de messages et utilisé environ 130 milliards de tokens de sortie pour résoudre le problème de Navier–Stokes.
- La formalisation et la vérification avec Lean ont pris 17 heures supplémentaires via GPT‑6 Astra.
- L'effort total sur tous les problèmes tentés a impliqué 4,9 millions de messages et environ 300 milliards de tokens de sortie.
- OpenAI a déclaré n'avoir pas accès aux données spécifiques des utilisateurs de Buckmaster et Alpöge, mais n'a pas exclu que des données désidentifiées aient amélioré leurs modèles.
L'article met en lumière les implications éthiques des laboratoires d'IA utilisant potentiellement les données clients pour améliorer leurs modèles, soulevant des inquiétudes quant au fait qu'un tel entraînement puisse aider involontairement les concurrents à résoudre des problèmes en premier.