OpenAI publie trois résultats de recherche scientifique fondamentale générés par l’IA et invite la communauté académique à les vérifier

OpenAI a annoncé le 26 octobre que ses modèles internes avaient généré trois résultats de recherche scientifique fondamentale, qu'elle a tenté de soumettre à l'examen de la communauté académique de différentes manières. En mathématiques, la société affirme que le modèle a démontré la conjecture de régularité locale en toute dimension ; si la démonstration est correcte, elle impliquerait également la conjecture de Kakeya et la conjecture de restriction de Stein. Le manuscrit en langage naturel et la preuve formalisée en Lean ont été publiés. En informatique, OpenAI déclare que le modèle a réfuté la « conjecture du temps exponentiel », largement utilisée pour déduire la difficulté de calcul, et a publié les matériaux justificatifs. Une équipe dirigée par des experts, dont Russell Impagliazzo, l'un des auteurs de cette conjecture, organisera une vérification et une interprétation publiques. Cette affirmation ne revient pas à résoudre le problème « P est-il égal à NP ? ». En physique, la société indique que le modèle a proposé des preuves d'existence rigoureuses pour des théories telles que la chromodynamique quantique en quatre dimensions, incluant une démonstration de l'existence de la théorie pure de Yang-Mills. Une équipe dirigée par David Gross étudiera et organisera les matériaux en premier lieu ; le manuscrit original généré par l'IA en physique n'a pas encore été rendu public. OpenAI précise que ces documents doivent être considérés comme des matériaux de recherche bruts en attente de traduction en compréhension scientifique ; les participants externes ont travaillé de manière indépendante et bénévole, et la société ne revendique pas de paternité académique pour ces découvertes.