La triple menace d'OpenAI : de nouvelles preuves défient les mathématiques, l'informatique et la physique quantique

OpenAI affirme que ses modèles ont produit des preuves mathématiques qui remettent en question des théories établies en analyse harmonique et en informatique. Les travaux comprennent également une prétendue preuve d'existence pour les théories quantiques des champs, y compris la chromodynamique quantique (QCD). Les chercheurs vont maintenant examiner les résultats, vérifier leurs implications et expliquer leur importance à la communauté scientifique au sens large.

L'entreprise a adopté différentes stratégies de diffusion pour les trois projets. Elle a publié les preuves mathématiques et informatiques, tandis qu'un groupe de physique externe préparera son propre compte rendu de la recherche.

Les résultats mathématiques remettent en question des théories établies

Une preuve aborde la conjecture de lissage local, un problème d'analyse harmonique proposé par Christopher Sogge en 1991. Elle décrit le comportement des ondes lorsqu'elles se concentrent, suggérant qu'une focalisation extrême ne peut persister sur de longues périodes.

OpenAI affirme que ses modèles ont prouvé la conjecture dans toutes les dimensions spatiales. Le résultat résout également la conjecture de Kakeya et la conjecture de restriction de Stein, selon l'entreprise.