OpenAI a annoncé avoir généré une solution au problème du prix du millénaire de Navier-Stokes grâce à l’intelligence artificielle.
Le problème de Navier-Stokes, l’un des sept problèmes du prix du millénaire de mathématiques, concerne la description du mouvement des fluides. Sa résolution complète est dotée d’un million de dollars par le Clay Mathematics Institute. OpenAI a partagé sur son blog une solution générée par IA, accompagnée d’une explication détaillée et d’une preuve formelle rédigée en Lean.
Cette annonce met en lumière les capacités croissantes de l’IA dans la résolution de défis scientifiques et mathématiques complexes. La preuve formelle en Lean, un assistant de preuve, souligne l’effort de vérification et de rigueur associé à cette approche. Cela pourrait ouvrir de nouvelles voies pour l’application de l’IA dans la physique théorique et l’ingénierie.
L’impact de cette avancée sur la compréhension des fluides et le développement de nouvelles méthodes de résolution reste à évaluer par la communauté scientifique.
Source : OpenAI Blog