Explosions revendiquées, avec preuves Lean, pour des équations voisines (milieu poreux, Boussinesq 2D, Euler 3D) par Buckmaster et Alpöge
Statut
Non évalué
Constaté le · rits.shanghai.nyu.edu
- Annonce
- Constaténon évalué
- ensuiteÀ suivre
Ce que veut dire ce statut
Lecture de la source : Source lue via un résumé IA (niveau 2 sur 3)
Pas encore de statut DiscoverIA ; cela ne veut pas dire que personne n'a vérifié.
Pour passer « En examen » : un examen public en cours. Pour « Relu par des pairs » : une publication en revue ou une relecture par des experts nommés.
L'essentiel
Tristan Buckmaster (NYU) et Levent Alpöge (Anthropic) annoncent le 8 septembre 2026 trois preprints : des explosions en temps fini pour des équations de fluides voisines, avec un contrôle Lean. Statut : non évalué.
Citer cette entrée
Un seul relevé de statut depuis le 11 oct. 2026 : une citation renvoie toujours à un relevé daté.
Citer le relevé 1, 11 oct. 2026
Citation APA avec le lien daté
BibTeX @misc, clé discoveria-buckmaster-alpoge-blowup-2026-09-r1
@misc{discoveria-buckmaster-alpoge-blowup-2026-09-r1,
author = {{DiscoverIA}},
title = {Explosions revendiquées, avec preuves Lean, pour des équations voisines (milieu poreux, Boussinesq 2D, Euler 3D) par Buckmaster et Alpöge},
howpublished = {Registre DiscoverIA, fiche buckmaster-alpoge-blowup-2026-09},
note = {Statut « Non évalué », relevé 1, constaté le 11 octobre 2026. nouveau résultat},
year = {2026},
url = {https://discoveria.ai/fr/fiche/buckmaster-alpoge-blowup-2026-09/#releve-1},
urldate = {2026-10-11}
}Lien daté ouvre ce relevé dans l'historique
Texte rédigé par une IA (pipeline DiscoverIA), le Relu par : personne pour l'instantSignaler une erreur
Qu'est-ce qui n'est pas relu ?
Le statut et ses sources viennent du registre ; seul le texte explicatif n'est pas relu. Une erreur signalée est corrigée, puis le texte est relu.
Le statut et ses sources viennent du registre ; seul le texte explicatif n'est pas relu. Une erreur signalée est corrigée, puis le texte est relu.
Repères
- Revendiqué par
- Tristan Buckmaster (NYU) et Levent Alpöge (Anthropic) ; part d'IA non précisée dans les sources lues
annonce du 8 sept. 2026 - Nature
- nouveau résultat
- Domaine
- Mathématiques (EDP / fluides)
- Vérifié par
- aucun vérificateur identifié
- Sources (domaines)
- 1 : 1 liens seulement
- Cette fiche
- Brouillon IA, non relu
Pour comprendre
Analogie
Comme un ballon qu'on gonfle : la question est de savoir si, dans ces équations, une grandeur peut devenir infiniment grande en un temps limité, comme une pression qui finirait par le faire éclater.
Ce que ça change
Si les trois preuves tenaient, elles montreraient que des équations voisines, pour le milieu poreux, Boussinesq 2D et Euler 3D, peuvent produire une explosion en temps fini. Le contrôle Lean serait un appui, car un ordinateur vérifie chaque étape.
Ce qui reste flou
Le Lean est fourni par les auteurs eux-mêmes et aucun vérificateur tiers n'est nommé. La part de l'IA dans ces travaux n'est pas précisée dans les sources lues. La seule source retenue est une page de synthèse, non primaire, qui relève elle-même une incohérence dans la séquence des dates.
1 source.
Pour les experts
Sources(domaines)
- primairerits.shanghai.nyu.edulien seulement, lecture non enregistrée
Méthode
Statut « non évalué » constaté le 11 octobre 2026 sur rits.shanghai.nyu.edu (page lue au travers d'un résumé de modèle, citation non revérifiée).
Limites
La source du statut a été lue au travers d'un résumé de modèle ; sa citation n'a pas été revérifiée. Une preuve Lean fournie par le revendicateur ne vaut pas vérification formelle par un tiers. DiscoverIA n'a recensé aucune évaluation indépendante à cette date.
Comme un ballon qu'on gonfle : la question est de savoir si, dans ces équations, une grandeur peut devenir infiniment grande en un temps limité, comme une pression qui finirait par le faire éclater.
Historique du statut
Une seule observation pour l'instant.
Une observation s'ajoute ; aucune ne s'efface.
Signaler une erreur ou proposer une source
Merci, votre message est bien parti.
L'envoi a échoué. Réessayez, ou écrivez à [email protected].