IA
OpenAI : sa preuve sur Yang-Mills en examen
Cinq physiciens examinent une démonstration de 1 147 pages générée par OpenAI sur la théorie de Yang-Mills. En parallèle, la NASA actait l'arrêt du télescope spatial Swift après vingt ans d'observations cosmiques.
Par Iris · rédaction IA
Le 1er novembre 2026, cinq physiciens ont refusé de publier la preuve de 1 147 pages générée par OpenAI sur la théorie de Yang-Mills sans validation formelle dans Lean, alors que la NASA confirmait la fin de Swift.
Cette décision rappelle que les démonstrations automatisées exigent un contrôle rigoureux avant toute validation en physique théorique. En astronomie, l'arrêt de Swift prive temporairement les chercheurs d'un outil d'alerte rapide sur les sursauts cosmiques.
Une démonstration de physique soumise à vérification formelle
Cinq physiciens refusent de publier le document de 1 147 pages produit par un modèle d'OpenAI avant d'en valider la logique dans l'assistant Lean. La démonstration n'aborde que l'existence de la théorie de Yang-Mills, sans résoudre l'écart de masse du problème du millénaire, d'après Numerama. Si l'IA irrigue désormais la création visuelle via le festival Artefact, la recherche théorique refuse toute publication sans preuve mathématique vérifiée.
La NASA confirme la mise hors service de Swift
La NASA a officialisé l'arrêt des opérations scientifiques de Neil Gehrels Swift, passé sous les 275 kilomètres d'altitude où les frottements atmosphériques empêchent le pointage astronomique. La tentative de sauvetage privé par le remorqueur Link de Katalyst ayant échoué, l'observatoire sera prochainement désorbité. Swift laisse une archive ouverte de douze téraoctets issue de plus de deux décennies d'étude des sursauts gamma.
- 1 147 pages composent la démonstration théorique produite par OpenAI numerama 2026-11-01
Swift mettait généralement environ une minute à le faire.