OpenAI a annoncé trois résultats scientifiques majeurs obtenus grâce à ses modèles d'IA. Ils concernent les mathématiques, l'informatique et la physique.
En mathématiques, le modèle a démontré la conjecture du lissage local (local smoothing conjecture) dans toute dimension spatiale supérieure ou égale à deux. Le résultat couvre également les conjectures de Kakeya et les estimations de restriction de Stein dans toute leur étendue.
L'entreprise a publié les résultats du modèle directement sur GitHub, suivant les recommandations des experts. Auparavant, la conjecture n'avait été démontrée qu'en trois dimensions.
En informatique, l'IA a réfuté l'hypothèse du temps exponentiel (Exponential Time Hypothesis). Un algorithme déterministe est présenté, qui compte exactement les affectations satisfaisantes pour les formules CNF de largeur fixe en temps sous-exponentiel.
La vérification du résultat sera dirigée par un groupe indépendant sous la direction de Russell Impagliazzo, Ramamohan Paturi et Ryan Williams. Les documents ont été rendus publics immédiatement.
En physique, une preuve mathématiquement rigoureuse de l'existence de certaines théories quantiques des champs en interaction avec des champs de jauge et des fermions en quatre dimensions a été obtenue. Parmi les exemples figurent la chromodynamique quantique et l'achèvement unifié du Modèle standard.
Le groupe de physiciens sera dirigé par David Gross, et comprend également Michael Douglas, Arthur Jaffe, Igor Klebanov et Nikita Nekrasov. Ils ont décidé de reporter la publication complète afin de préparer leur propre interprétation.
OpenAI a fait appel à des scientifiques externes comme « bergers » (shepherds) pour travailler sur les résultats. L'entreprise note que les différentes approches de publication comportent leurs propres compromis, notamment en matière d'accès et d'asymétrie de l'information.
Le professeur de mathématiques Alex Iosevich, de l'Université de Rochester, a qualifié la démonstration de la conjecture du lissage local d'évolution historique. Il a exprimé sa joie et son optimisme quant au potentiel de l'IA en science, tout en notant des sentiments mitigés parmi les théoriciens.
Comment le processus de découverte scientifique changera-t-il lorsque l'IA commencera à proposer de plus en plus de résultats de ce type ?
