Des mathématiciens questionnent la méthode de preuve d'OpenAI pour les équations de Navier-Stokes
Des chercheurs remettent en question l'affirmation d'OpenAI de résoudre un problème du millénaire, soulevant des doutes sur la méthodologie et la contribution des agents IA. Le processus de validation devrait prendre des années.
Des universitaires ont commencé à remettre en question l'annonce d'OpenAI en septembre concernant une solution aux équations de Navier-Stokes, l'un des problèmes du prix du millénaire. Bien qu'OpenAI ait présenté une preuve de 166 pages et affirmé que son système d'IA interne avait résolu le problème en 88 heures, les mathématiciens examinent la méthodologie de la preuve et sa relation avec les recherches antérieures.
Les mathématiciens notent que l'approche d'OpenAI diffère considérablement des méthodes proposées précédemment par Diego Córdoba et Luis Martínez-Zoroa. Les experts suggèrent qu'OpenAI n'a peut-être pas pleinement compris le processus de son propre modèle au moment de la publication. Bien qu'OpenAI ait utilisé le langage de vérification formelle Lean, cela ne garantit ni la validité scientifique ni la compréhension humaine de la preuve.
Des questions ont également été soulevées concernant l'origine de la recherche d'OpenAI. Certains mathématiciens soupçonnent que l'entreprise a pu bénéficier de travaux antérieurs réalisés avec des modèles accessibles au public. OpenAI a réfuté ces allégations et a déclaré avoir enquêté sur l'affaire, mais les différends concernant le lien entre les méthodes de recherche et les résultats persistent.
Une autre ambiguïté clé concerne la contribution réelle des milliers d'agents d'IA impliqués. Bien qu'OpenAI ait rapporté avoir utilisé environ 10 000 agents parallèles, l'étendue de la contribution de cette architecture distribuée au résultat final reste floue. Certaines estimations suggèrent que la collaboration multi-agents pourrait avoir représenté moins de 10 %, la capacité du modèle sous-jacent à traiter les tâches sur de longues périodes et à explorer plusieurs solutions étant plus critique.
La communauté mathématique évalue toujours les résultats de recherche d'OpenAI, un processus qui devrait prendre plusieurs années. Le débat ne porte pas seulement sur la capacité de l'IA à générer des preuves formelles, mais aussi sur la validité des méthodes de recherche, l'attribution des résultats et la mesure de l'impact réel des agents d'IA.