Blow-ups claimed, with Lean proofs, for neighbouring equations (porous medium, 2D Boussinesq, 3D Euler) by Buckmaster and Alpöge
Status
Not evaluated
Recorded on · rits.shanghai.nyu.edu
- Announced
- Recordednot evaluated
- nextTo follow
What this status means
Source reading : Source read through an AI summary (level 2 of 3)
No DiscoverIA status yet; this does not mean nobody has checked it.
To move to “Under review”: a public review under way. To “Peer reviewed”: a journal publication or a review by named experts.
The gist
Tristan Buckmaster (NYU) and Levent Alpöge (Anthropic) announced three preprints on 8 September 2026: finite-time blow-ups for neighbouring fluid equations, with a Lean check. Status: not yet evaluated.
Cite this entry
A single status snapshot since Oct 11, 2026: a citation always points to a dated snapshot.
Cite snapshot 1, Oct 11, 2026
APA citation with the dated link
BibTeX @misc, key discoveria-buckmaster-alpoge-blowup-2026-09-r1
@misc{discoveria-buckmaster-alpoge-blowup-2026-09-r1,
author = {{DiscoverIA}},
title = {Blow-ups claimed, with Lean proofs, for neighbouring equations (porous medium, 2D Boussinesq, 3D Euler) by Buckmaster and Alpöge},
howpublished = {DiscoverIA registry, entry buckmaster-alpoge-blowup-2026-09},
note = {Status « Not evaluated », snapshot 1, recorded on October 11, 2026. new result},
year = {2026},
url = {https://discoveria.ai/en/fiche/buckmaster-alpoge-blowup-2026-09/#releve-1},
urldate = {2026-10-11}
}Dated link opens this snapshot in the history
Text written by an AI (DiscoverIA pipeline), on Reviewed by: nobody yetReport an error
What has not been reviewed?
The status and its sources come from the registry; only the explanatory text has not been reviewed. A reported error is corrected, then the text is reviewed.
The status and its sources come from the registry; only the explanatory text has not been reviewed. A reported error is corrected, then the text is reviewed.
Key facts
- Claimed by
- Tristan Buckmaster (NYU) et Levent Alpöge (Anthropic) ; part d'IA non précisée dans les sources lues
announced on Sep 8, 2026 - Nature
- new result
- Field
- Mathematics (PDEs / fluids)
- Checked by
- no verifier identified
- Sources (domains)
- 1 : 1 links only
- This entry
- AI draft, not reviewed
To understand
Analogy
It is like inflating a balloon: the question is whether, in these equations, a quantity can become infinitely large in a limited time, like a pressure that would eventually burst it.
What it changes
If the three proofs held, they would show that neighbouring equations, for porous medium, 2D Boussinesq and 3D Euler, can produce a finite-time blow-up. The Lean check would be a support, since a computer verifies each step.
What remains unclear
The Lean check is supplied by the authors themselves and no third-party verifier is named. The share of AI in this work is not specified in the sources read. The only source used is a secondary summary page, which itself notes an inconsistency in the sequence of dates.
1 source.
For experts
Sources(domains)
- primairerits.shanghai.nyu.edulink only, reading not recorded
Method
Status “not evaluated” recorded on 11 October 2026 from rits.shanghai.nyu.edu (page read through a model summary, quotation not rechecked).
Limits
The status source was read through a model summary; its quotation was not rechecked. A Lean proof supplied by the claimant does not count as formal verification by a third party. DiscoverIA has recorded no independent evaluation as of this date.
It is like inflating a balloon: the question is whether, in these equations, a quantity can become infinitely large in a limited time, like a pressure that would eventually burst it.
Status history
Only one observation so far.
- 01
First observation:Not evaluatedCurrent status
Source: rits.shanghai.nyu.eduread through an AI summary
An observation is added; none is ever erased.
Report an error or suggest a source
Thank you, your message was sent.
Sending failed. Try again, or write to [email protected].