OpenAI's Yang-Mills theory proof awaits verification; physicists hold off on publishing
The five physicists responsible for reviewing the 1,147-page proof produced by the OpenAI model refuse to publish it before confirming its correctness. They plan to first verify the formalization in Lean, and then submit the analysis to the scientific community; even if verification passes, the proof only covers the existence of Yang-Mills theory and does not resolve the mass gap problem required for the Millennium Prize Problem.
Why read this
AI score 57
The original text explains why the physicists are holding off on publishing this 1,147-page proof, as well as the verification process and the boundaries of its conclusions.
Topics
Body
Les physiciens refusent de publier trop tôt la preuve d’OpenAI sur l’existence de la théorie de Yang-Mills. Dans l’espace, le télescope Swift de la Nasa s’éteint après 20 ans de mission. Pendant ce temps, à bord de l’ISS, le sas du module Zvezda est condamné à cause de microfissures. C’était l’actualité scientifique de la semaine sur Numerama !
1 147 pages d’une complexité « redoutable » : les physiciens refusent de publier trop tôt la preuve d’OpenAI malgré l’appel des mathématiciens
Les cinq physiciens chargés d’examiner la preuve de 1 147 pages produite par un modèle d’OpenAI refusent de la publier avant d’avoir confirmé sa justesse.
Ils vérifieront d’abord sa formalisation dans Lean, 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, sans résoudre le problème de l’écart de masse nécessaire au prix du millénaire.
Lire l’article complet
Après 20 ans de mission et une tentative de sauvetage avortée, le télescope Swift a définitivement fermé les yeux
La Nasa annonce la fin des opérations scientifiques de Swift et prépare sa désorbitation prochaine.
La mission de sauvetage privée menée par Katalyst a échoué, le remorqueur Link n’ayant pas réussi à rejoindre l’observatoire.
Aucun télescope opérationnel ne peut actuellement reprendre la chasse aux sursauts gamma de Swift, SVOM n’offrant qu’une alternative partielle.
Lire l’article complet
Module Zvezda : le sas de l’ISS condamné définitivement à cause de microfissures impossibles à colmater
Le sas arrière du module Zvezda est condamné définitivement, car des microfissures provoquent des fuites d’air impossibles à colmater.
Les cargos Progress devront désormais être déchargés à un autre port avant d’être déplacés vers Zvezda pour rehausser l’orbite de la station.
Cette défaillance souligne le vieillissement de l’ISS, dont le module Zvezda est en service depuis 2000.
Lire l’article complet
Les vidéos de la semaine
Ce contenu est bloqué car vous n’avez pas accepté les cookies et autres traceurs. Ce contenu est fourni par YouTube. Pour pouvoir le visualiser, vous devez accepter l’usage étant opéré par YouTube avec vos données qui pourront être utilisées pour les finalités suivantes : vous permettre de visualiser et de partager des contenus avec des médias sociaux, favoriser le développement et l’amélioration des produits d’Humanoid et de ses partenaires, vous afficher des publicités personnalisées par rapport à votre profil et activité, vous définir un profil publicitaire personnalisé, mesurer la performance des publicités et du contenu de ce site et mesurer l’audience de ce site (en savoir plus)
En cliquant sur « J’accepte tout », vous consentez aux finalités susmentionnées pour l’ensemble des cookies et autres traceurs déposés par Humanoid et .
Vous gardez la possibilité de retirer votre consentement à tout moment. Pour plus d’informations, nous vous invitons à prendre connaissance de notre Politique cookies.
Découvrez les bonus
+ rapide, + pratique, + exclusif
Zéro publicité, fonctions avancées de lecture, articles résumés par l'I.A, contenus exclusifs et plus encore.
Découvrez les nombreux avantages de Numerama+.
S'abonner à Numerama+
Vous avez lu 0 articles sur Numerama ce mois-ci
Il y a une bonne raison de ne pas s'abonner à
Tout le monde n'a pas les moyens de payer pour l'information.
C'est pourquoi nous maintenons notre journalisme ouvert à tous.
Mais si vous le pouvez,
voici trois bonnes raisons de soutenir notre travail :
1 Numerama+ contribue à offrir une expérience gratuite à tous les lecteurs de Numerama.
2 Vous profiterez d'une lecture sans publicité, de nombreuses fonctions avancées de lecture et des contenus exclusifs.
3 Aider Numerama dans sa mission : comprendre le présent pour anticiper l'avenir.
Si vous croyez en un web gratuit et à une information de qualité accessible au plus grand nombre, rejoignez Numerama+.
S'abonner à Numerama+
Toute l'actu tech en un clin d'œil
Ajoutez Numerama à votre écran d'accueil et restez connectés au futur !
Tous nos articles sont aussi sur notre profil Google : suivez-nous pour ne rien manquer !
Comprendre la matière et l'Univers avec la Physique
La physique quantique en ébullition : la théorie du « surfeur quantique » est de nouveau bousculée
1 147 pages d’une complexité « redoutable » : les physiciens refusent de publier trop tôt la preuve d’OpenAI malgré l’appel des mathématiciens
« Aucune raison scientifique de retarder » la preuve : des mathématiciens s’agacent de l’attitude d’OpenAI sur un résultat de physique crucial
OpenAI affirme avoir résolu l’une des plus grandes énigmes de la physique, mais garde la preuve secrète