Not evaluated
Blow-ups claimed with Lean proofs by Buckmaster and Alpöge
Blow-ups claimed, with Lean proofs, for neighbouring equations (porous medium, 2D Boussinesq, 3D Euler) by Buckmaster and Alpöge
The gist
Tristan Buckmaster (NYU) and Levent Alpöge (Anthropic) announced three preprints on September 8, 2026: finite-time blow-ups for neighbouring fluid equations, with a Lean check. Status: not yet evaluated.
DiscoverIA status on October 11, 2026: not evaluated, meaning no third-party evaluation found.
AI draft, not reviewedWhat has not been reviewed?
Text written by an AI (DiscoverIA pipeline), on . 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.
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/entry/buckmaster-alpoge-blowup-2026-09#releve-1},
urldate = {2026-10-11}
}Dated link opens this snapshot in the history
To understand ≈ 20 s reading time, estimated
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.
For experts
Sources, method, key facts, status history, report an error
Status
Not evaluated
Recorded on · rits.shanghai.nyu.edu
Step 1 of 4 on the scale: not evaluated. Next step: under review.
- Announced
- Recordednot evaluated
- nextTo follow
What this status means
Source reading : Source read through an AI summary (level 2 of 3)
The result is declared neither right nor wrong.
To move to “Under review”: a public review under way. To “Peer reviewed”: a journal publication or a review by named experts.
Sources
- Main sourcerits.shanghai.nyu.edupage read through an AI summary
Method
DiscoverIA status: not evaluated, meaning that no third-party evaluation has been found in the sources read. Set on October 11, 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. The claimant supplies a Lean proof; as of this date, DiscoverIA has found no independent verification of this proof or of the result.
Key facts
- Claimed by
- Tristan Buckmaster (NYU) and Levent Alpöge (Anthropic); share of AI not specified in the sources read
announced on Sep 8, 2026 - Nature
- new result
- Field
- Mathematics (PDEs / fluids)
- Checked by
- no verifier identified
- Sources
- 1 : 1 through an AI summary
- This entry
- AI draft, not reviewed
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 contact@discoveria.ai.
Is your result listed?What each status requires, correcting this entry, replying to it.