OpenAI annonce que ses modèles d'intelligence artificielle ont réalisé trois découvertes scientifiques majeures dans les domaines des mathématiques, de l'informatique et de la physique, couvrant la preuve de la conjecture de Kakeya en analyse harmonique, la réfutation de l'hypothèse de temps exponentiel (ETH) en théorie de la complexité calculatoire, ainsi qu'une preuve rigoureuse de l'existence de la théorie quantique des champs en quatre dimensions (incluant QCD et le modèle standard).Auteur et source de l’article : AIBase
Récemment, OpenAI a officiellement annoncé trois découvertes scientifiques majeures réalisées par son modèle d'intelligence artificielle dans les domaines des mathématiques, de l'informatique et de la physique, concernant respectivement l'analyse harmonique, la théorie de la complexité calculatoire et la théorie des champs quantiques. Pour transformer ces données de recherche originales et de pointe en une véritable compréhension scientifique, OpenAI a expérimenté de manière innovante un nouveau modèle de collaboration approfondie avec la communauté académique externe et a mis en place des stratégies de publication diversifiées pour chaque domaine.
Dans le domaine de l'analyse harmonique, le modèle a réussi à démontrer la conjecture de l'adoucissement local (local smoothing) dans toutes les dimensions, résolvant ainsi directement les conjectures de Kakeya et de Stein sur la restriction en mathématiques. La nouvelle démonstration repose sur une équation aux dérivées partielles auxiliaire originale. OpenAI a publié sur son dépôt GitHub public le rapport généré par le modèle en langage naturel ainsi que la preuve en Lean.
Dans le domaine de l'informatique, un système a démontré que l'hypothèse du temps exponentiel (ETH), longtemps considérée comme vraie, est fausse. Cette conjecture est étroitement liée au célèbre problème P vs. NP et a été largement utilisée dans des centaines d'articles pour déduire des complexités calculatoires conditionnelles. Ce résultat a également été vérifié dans Lean. Ce travail a été soumis à une équipe d'experts de premier plan dirigée par Russell Impagliazzo, Ramamohan Paturi et Ryan Williams pour validation et orientation, et les résultats ainsi que la preuve formelle dans Lean sont désormais publiés sur un dépôt GitHub.
Dans le domaine de la physique, des preuves mathématiquement rigoureuses d'existence ont été fournies pour certaines théories quantiques des champs interactives en quatre dimensions contenant des champs de jauge et des fermions (y compris la chromodynamique quantique QCD et la unification complète du modèle standard de la physique des particules), incluant comme sous-problème la preuve d'existence de la théorie de Yang–Mills pure, qui fait partie des problèmes du prix du millénaire de l'Institut de mathématiques Clay. Ce travail complexe a été mené par un groupe de physiciens dirigé par David Gross (incluant Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov).
Pour soutenir pleinement l'examen indépendant et l'exploration approfondie de ces résultats révolutionnaires par la communauté académique, OpenAI a précédemment fait un don de 5 millions de dollars à la Fondation Simons afin de financer des ateliers, des conférences et des projets spéciaux. Ces initiatives mettent non seulement en lumière le potentiel considérable de l'IA dans la recherche aux frontières des sciences fondamentales, mais marquent également le fait que la physique théorique moderne et les mathématiques progressent vers des domaines de rigueur toujours plus élevés.