La preuve Navier-Stokes d’OpenAI contestée

MMarc

OpenAI a proposé une preuve potentielle du problème de Navier-Stokes, mais des mathématiciens contestent l’affirmation de l’entreprise sur la méthode suivie, selon The Decoder. Longue de 166 pages et rédigée en Lean, cette preuve est examinée par le Clay Mathematics Institute. Le mathématicien Gonzalo Cao-Labora estime qu’elle diffère de l’approche de Diego Córdoba et Luis Martínez-Zoroa, contrairement à ce qu’OpenAI avait affirmé. OpenAI indique avoir mobilisé environ 10 000 instances de modèles pendant 88 heures et utilisé 130 milliards de tokens pour élaborer cette solution potentielle. Noam Brown, chercheur chez OpenAI, reconnaît que la contribution précise de l’organisation multi-agents n’est pas connue. Selon son estimation, moins de 10 % du succès serait attribuable à cette organisation ; le modèle de base et sa capacité à travailler longtemps et en parallèle compteraient davantage. The Decoder fait aussi état d’un débat sur l’origine des idées : des travaux de Tristan Buckmaster avec Levent Alpöge, d’Anthropic, auraient pu être liés à certaines idées de la preuve, mais cette origine resterait difficile à établir. OpenAI nie avoir utilisé les données de Buckmaster, et les modèles, décrits comme des boîtes noires, ne permettraient pas de trancher facilement cette question.