OpenAI soumet sa preuve de Yang-Mills à cinq experts

OpenAI avance prudemment. Un modèle d’OpenAI a produit une preuve de 1 147 pages consacrée à l’existence de la théorie de Yang-Mills. Cinq physiciens sont chargés d’examiner cette démonstration. Ils refusent toutefois de la publier avant d’avoir confirmé sa justesse. Leur première étape consiste à vérifier sa formalisation dans Lean. Ils soumettront ensuite leur analyse à la communauté scientifique. Le résultat reste donc soumis à plusieurs contrôles avant une éventuelle publication. Cette procédure concerne un travail décrit comme d’une complexité « redoutable ». Des mathématiciens avaient pourtant appelé OpenAI à rendre la preuve publique plus rapidement. Lire le récapitulatif scientifique de Numerama

La portée reste limitée. 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. Cet écart constitue la partie nécessaire pour répondre au problème du prix du millénaire. La vérification dans Lean doit donc porter sur la formalisation de la preuve. Les cinq physiciens prévoient ensuite une analyse destinée à la communauté scientifique. La publication n’intervient pas avant ces deux étapes. OpenAI affirme ainsi un résultat mathématique dont l’examen scientifique se poursuit. Le dossier compte précisément 1 147 pages, selon le récapitulatif consacré à cette annonce.

Cinq physiciens vérifient la preuve

Swift termine sa mission. La Nasa a annoncé la fin des opérations scientifiques du télescope Swift. L’observatoire a fonctionné pendant vingt ans. La mission de sauvetage privée menée par Katalyst avait auparavant échoué. Son remorqueur Link n’avait pas réussi à rejoindre Swift. La Nasa prépare désormais sa désorbitation prochaine. Swift ne poursuit donc plus ses opérations scientifiques. Le télescope était utilisé pour la chasse aux sursauts gamma. Aucun télescope opérationnel ne peut actuellement reprendre cette recherche dans les mêmes conditions. Le satellite SVOM fournit seulement une alternative partielle. La Nasa détaille la fin de la mission Swift.

Zvezda perd son sas. Le sas arrière du module Zvezda est définitivement condamné. Des microfissures provoquent des fuites d’air impossibles à colmater. Les cargos Progress devront désormais être déchargés à un autre port. Ils seront ensuite déplacés vers Zvezda pour rehausser l’orbite de la station. Cette organisation modifie donc la séquence habituelle des opérations liées aux cargos. Le module Zvezda est en service depuis 2000. La défaillance concerne ainsi un élément de l’ISS utilisé depuis plus de deux décennies. Le récapitulatif associe cet incident à l’usure de la station spatiale internationale, sans indiquer de remplacement immédiat du sas arrière.

Swift et Zvezda changent les opérations

Trois suivis restent ouverts. La preuve d’OpenAI attend d’abord la vérification de sa formalisation dans Lean, puis l’examen de la communauté scientifique. Swift entre dans une phase de désorbitation après l’arrêt de ses opérations scientifiques. La tentative de Katalyst est terminée, puisque le remorqueur Link n’a pas rejoint l’observatoire. Sur l’ISS, les cargos Progress devront passer par un autre port avant leur déplacement vers Zvezda. Ces trois séquences reposent sur des étapes annoncées ou décrites. Elles ne constituent pas des résultats supplémentaires. Le récapitulatif scientifique de la semaine réunit ainsi une preuve à contrôler, un télescope arrêté et un sas condamné.