OpenAI affirme qu’un projet de démonstration du problème de l’existence et de la régularité de Navier-Stokes, estimé entre 10 et 15 millions de dollars, pourrait coûter environ 100 000 dollars en 2027 grâce aux gains d’efficacité de l’IA. Le système a mobilisé environ 10 000 agents d’IA pendant 88 heures pour produire l’analyse, puis 17 heures supplémentaires pour la formaliser et la vérifier dans Lean. Selon OpenAI, la démonstration montre que les équations de Navier-Stokes peuvent présenter des singularités en temps fini à partir de conditions initiales lisses, sans que l’énergie totale devienne infinie. Bien que le Clay Mathematics Institute récompense ce problème à hauteur d’un million de dollars, OpenAI a indiqué qu’il ne réclamerait pas le prix. La démonstration fait aussi l’objet d’un débat entre mathématiciens sur la priorité des travaux et l’attribution du crédit, alors que des experts continuent d’en examiner la validité.
Source: Lire l’article original
