L'annonce d'OpenAI selon laquelle ses agents ont résolu le problème de l'existence et de la régularité de Navier-Stokes — l'un des sept problèmes du millénaire de l'Institut de mathématiques Clay — a été éclipsée par la controverse. L'entreprise affirme que son modèle interne a largement surpassé le modèle Astra publié récemment pour prouver que les équations complètes peuvent s'effondrer sous certaines conditions. Cependant, des accusations ont émergé selon lesquelles OpenAI s'est appuyé sur les travaux du mathématicien de NYU Tristan Buckmaster et de l'employé d'Anthropic Levent Alpöge sans crédit approprié. Buckmaster a publié une preuve sur Mastodon lundi montrant qu'une version simplifiée des équations de Navier-Stokes peut s'effondrer, après près d'un an de recherche utilisant des modèles accessibles au public d'OpenAI et d'Anthropic. Sébastien Bubeck, membre du personnel technique d'OpenAI, a reconnu lors d'un point de presse que l'équipe avait été inspirée pour s'attaquer au problème après avoir entendu des rumeurs sur les efforts de Buckmaster et Alpöge. OpenAI a nié avoir utilisé directement leurs travaux et a déclaré ne pas avoir l'intention de réclamer le prix d'un million de dollars. Cet épisode met en lumière les tensions croissantes autour de la découverte mathématique pilotée par l'IA et soulève des questions sur la place des mathématiciens humains dans un futur dominé par les entreprises d'IA de pointe.

Buckmaster a détaillé ses interactions avec des employés d'OpenAI dans un document public, alléguant qu'ils lui ont présenté deux options : soit lui et Alpöge publient leurs travaux et OpenAI publie sa solution le lendemain, soit Buckmaster collabore sur un article d'OpenAI en excluant Alpöge en raison de son affiliation à Anthropic. Buckmaster a également rapporté avoir demandé si les agents d'OpenAI avaient accédé aux transcriptions de ses recherches et de celles d'Alpöge, ce qu'ils ont nié, et si leurs modèles avaient été entraînés sur ces transcriptions, auquel ils n'ont pas répondu. MIT Technology Review a contacté Buckmaster pour un commentaire mais n'a pas reçu de réponse avant la publication.

Cette controverse souligne l'évolution de la dynamique de la recherche mathématique, où les modèles d'IA deviennent de plus en plus essentiels pour résoudre des problèmes autrefois considérés comme hors de portée. Si seules quelques entreprises d'IA bien financées peuvent faire progresser les défis mathématiques les plus importants, cela pourrait fondamentalement modifier les normes de collaboration qui ont longtemps défini les mathématiques universitaires. Le problème de Navier-Stokes, impliquant des équations décrivant l'écoulement des fluides largement utilisées en physique et en ingénierie, est resté non résolu jusqu'à présent malgré son importance pour comprendre des phénomènes comme la vitesse infinie des fluides sous certaines conditions.