OpenAI a indiqué que ses modèles d’IA internes avaient résolu trois problèmes non résolus en mathématiques, en informatique et en physique. Parmi les experts sollicités pour la vérification figurent un lauréat du prix Nobel; ils évaluent si les preuves proposées passent l’épreuve de vérification scientifique.
L’un des problèmes est lié à un problème du siècle; la récompense pour la résolution de chacun de ces problèmes est prévue à 1 million de dollars. Selon The Decoder, si la preuve en informatique venait à être confirmée autonomement, des centaines de travaux scientifiques pourraient perdre leur fondement.
La signification de la nouvelle dépend encore de la vérification externe: le paquet disponible contient uniquement le résumé publié par The Decoder et non les textes des preuves ni les conclusions des experts. Par conséquent, les affirmations d’OpenAI doivent être considérées comme une information en attente d’évaluation indépendante.
commentaire éditorial
Pourquoi c’est important
Conséquence probable — un accroissement de l’attention portée à la vérification indépendante des résultats de l’IA en sciences fondamentales. Le prochain signal observable sera les conclusions publiées par les experts sollicités. Une incertitude substantielle demeure: les informations initiales reposent sur un seul court message The Decoder et ne contiennent pas les preuves elles-mêmes.