Une preuve mathématique d'OpenAI plonge la communauté scientifique dans la controverse
OpenAI affirme que ses agents de raisonnement ont produit une démonstration liée au problème de Navier-Stokes, l'une des sept énigmes du prix du Millénaire, non résolue depuis près de quatre-vingt-dix ans. L'annonce, d'abord révélée par le New York Times et Wired, a ensuite été détaillée sur le blog de l'entreprise, qui en fait un jalon pour les capacités mathématiques de ses modèles.
La revendication a immédiatement suscité la controverse. Plusieurs mathématiciens, dont Terence Tao, mettent en cause la manière dont le résultat a été vérifié et s'interrogent sur la part réelle de nouveauté du travail de l'IA par rapport aux avancées humaines déjà publiées sur le sujet. Le MIT Technology Review et Science.org rapportent que le débat dépasse le cas précis : il questionne la capacité de la communauté scientifique à valider, au rythme où elles sont annoncées, des percées attribuées à des IA.
L'épisode illustre une tension croissante entre la pression des laboratoires à communiquer sur des jalons spectaculaires et l'exigence de vérification propre à la recherche mathématique.