OpenAI demande à des experts externes, dont un lauréat du prix Nobel, de vérifier les preuves générées par son IA
decoder ·
OpenAI a sollicité l'aide d'experts extérieurs, dont un lauréat du prix Nobel, pour vérifier des démonstrations générées par ses modèles d'intelligence artificielle dans les domaines des mathématiques, de l'informatique et de la physique. En informatique, l'IA affirme avoir réfuté l'hypothèse du temps exponentiel, ce qui remettrait en cause des postulats fondamentaux sur la complexité des problèmes et pourrait avoir des répercussions sur les solveurs SAT. Un résultat mathématique distinct traite de la conjecture du lissage local pour les ondes dans toutes les dimensions, impliquant également des solutions aux conjectures de Kakeya et de Stein sur les restrictions. En physique, l'IA soutient avoir prouvé l'existence mathématique de la théorie de Yang-Mills en quatre dimensions, abordant ainsi une partie d'un problème du millénaire mais pas la question du trou de masse associée. Chaque domaine est examiné par des groupes différents de spécialistes, OpenAI fournissant les données brutes et les traductions en Lean pour faciliter la vérification indépendante. L'entreprise insiste sur le fait qu'elle ne cherche aucun crédit scientifique, visant plutôt à soutenir une revue par les pairs rigoureuse grâce au financement et à la transparence. Cette initiative fait suite à des controverses antérieures, incitant OpenAI à adopter une approche plus prudente concernant l'attribution et la validation des découvertes générées par l'IA.
decoder