OpenAI affirme qu'un système d'IA a résolu le problème de Navier-Stokes. Il s'agit de l'un des sept problèmes du prix du millénaire, les questions ouvertes les plus difficiles en mathématiques.
L'entreprise a déclaré que 10 000 agents IA ont travaillé ensemble pendant 88 heures pour atteindre la preuve. Le professeur de l'NYU Tristan Buckmaster conteste ce crédit.
Ce que OpenAI affirme
Les équations de Navier-Stokes décrivent comment les fluides se déplacent, comme l'air ou l'eau.
La preuve d'OpenAI suggère que les équations peuvent atteindre une explosion en temps fini, lorsque les vitesses du fluide deviennent infinies au lieu de rester lisses.
La preuve provient d'un modèle non publié que OpenAI affirme surpasser son système GPT-6 Astra publié.
GPT-6 Astra a ensuite passé 17 heures à vérifier la logique de la preuve.
L'Institut de mathématiques Clay offre 1 million de dollars pour la résolution de l'un des sept problèmes. OpenAI a déclaré qu'elle ne réclamera pas le prix.
Le litige de crédit
Le professeur de l'NYU Tristan Buckmaster affirme qu'il et le mathématicien d'Anthropic Levent Alpöge étaient proches d'un résultat connexe.
Leur travail se trouvait à l'intérieur de Codex d'OpenAI, un modèle d'IA axé sur la programmation. Buckmaster a déclaré que cela pourrait l'avoir exposé à l'équipe d'OpenAI.
Buckmaster a répondu directement à cette préoccupation dans une déclaration publique :
Je ne sais pas ce que leur modèle a fait, ni comment. Je ne sais pas si nos données ont été utilisées. Je n'accuse personne de quoi que ce soit.
— Tristan Buckmaster, mathématicien de l'NYU
Le chercheur d'OpenAI Sébastien Bubeck a répondu lors d'un point de presse. Il a démenti que l'entreprise ait accédé à ou utilisé leur travail non publié.
OpenAI a également reconnu autre chose. Il ne peut exclure que l'utilisation du produit par les chercheurs ait influencé l'entraînement de son modèle.
Le litige survient alors qu'OpenAI se prépare à un dépôt public rapporté d'une valeur de 1 000 milliards de dollars. Anthropic poursuit une valorisation encore plus élevée grâce à son propre projet de CTO.