What was already known
Earlier boundary-domain or lower-regularity blowup results leave smooth whole-space unforced data as a distinct target.
What changed and why it matters
Resolves the smooth whole-space unforced Euler finite-time breakdown target, beyond forced or lower-regularity variants.
The AI contribution
OpenAI reports AI agents constructed this argument; existing human blowup methods and concurrent forced results are retained in the comparison.
Limitations
Euler has no viscosity and this statement does not establish unforced Navier–Stokes blowup. The earlier forced Euler work is distinct. AIProofWatch has not audited the proof or compiled the Lean artifact.
Verification evidence
Evidence labels show what supports the claim. Importance rates its impact if correct.
Author claim
The source reports this precise contribution; statement review does not establish a proof audit.
Accessible artifact / proof
Accessible supporting proof or code; not compiled or reproduced by AIProofWatch.
Correction and publication history
Public-discussion audit found this substantive scoped contribution missing. Source statement, baseline, attribution and importance reviewed; no full proof audit. Historical addition without subscriber alerts.
Read this published revision