Preuve d’OpenAI sur Yang-Mills, fin de Swift et sas de l’ISS condamné

Trois sujets ont dominé l’actualité scientifique de la semaine : une preuve produite par une IA en physique théorique, la fin d’un observatoire de la Nasa et une panne définitive à bord de la Station spatiale internationale.

La preuve d’OpenAI attend sa vérification

Les cinq physiciens chargés d’examiner la preuve de 1 147 pages générée par un modèle d’OpenAI refusent de la publier avant d’en avoir confirmé la justesse. Des mathématiciens réclamaient une diffusion plus rapide, mais les relecteurs soulignent la complexité « redoutable » du document.

Ils vérifieront d’abord sa formalisation dans Lean, un logiciel de vérification de preuves, puis soumettront leur analyse à la communauté scientifique. Même validée, la démonstration ne couvrirait que l’existence de la théorie de Yang-Mills. Elle ne résoudrait pas le problème de l’écart de masse, nécessaire pour décrocher le prix du millénaire.

Le télescope Swift s’éteint

La Nasa a annoncé la fin des opérations scientifiques de Swift après 20 ans de mission et prépare sa désorbitation. La tentative de sauvetage privée menée par Katalyst a échoué : le remorqueur Link n’a pas réussi à rejoindre l’observatoire.

Aucun télescope opérationnel ne peut aujourd’hui reprendre la chasse aux sursauts gamma de Swift. La mission SVOM n’offre qu’une alternative partielle.

Un sas de l’ISS condamné

À bord de l’ISS, le sas arrière du module Zvezda est définitivement condamné. Des microfissures provoquent des fuites d’air impossibles à colmater.

Les cargos Progress devront donc être déchargés à un autre port avant d’être déplacés vers Zvezda, afin de rehausser l’orbite de la station. Cette défaillance illustre le vieillissement de l’ISS : Zvezda est en service depuis 2000.