Skip to main content
    All AI News
    External (via citation)Thursday, September 10, 2026 3 min read
    AI

    Full statement on the sequence of events

    Mathematicians Tristan Buckmaster and Levent Alpoge have published proofs of finite-time blowup for incompressible porous media, Boussinesq, and 3D incompressible Euler equations with smooth forcing, building on foundational work by Dieg…

    Key takeaways
    • 01The authors believe they also have a blowup result for hypo-dissipative Navier-Stokes, pending Lean verification, which may indicate a path toward resolving the Clay Millennium Problem for unforced Euler.
    • 02The statement describes a compressed, chaotic release timeline driven by evidence that OpenAI had independently attacked the same problem using an internal model, massive compute, and a dedicated team — contrary to initial claims of "very little human input" and a single prompt.
    • 03Buckmaster characterizes the Euler writeup as "AI slop" and regrets the presentation quality, attributing it to competitive pressure rather than scientific standards.
    • 04He frames the broader significance not as the specific results but as a demonstration that a mathematician working with LLMs can now compress years of frontier mathematics into roughly one month of work.
    In brief · from cims.nyu.edu

    Mathematicians Tristan Buckmaster and Levent Alpoge have published proofs of finite-time blowup for incompressible porous media, Boussinesq, and 3D incompressible Euler equations with smooth forcing, building on foundational work by Diego Córdoba and Luis Martínez-Zoroa and using LLMs including Claude, GPT-5.6, and Codex as primary research tools. The authors believe they also have a blowup result for hypo-dissipative Navier-Stokes, pending Lean verification, which may indicate a path toward resolving the Clay Millennium Problem for unforced Euler.

    Read the full article at cims.nyu.edu
    Show the full text · 3 min read

    Mathematicians Tristan Buckmaster and Levent Alpoge have published proofs of finite-time blowup for incompressible porous media, Boussinesq, and 3D incompressible Euler equations with smooth forcing, building on foundational work by Diego Córdoba and Luis Martínez-Zoroa and using LLMs including Claude, GPT-5.6, and Codex as primary research tools. The authors believe they also have a blowup result for hypo-dissipative Navier-Stokes, pending Lean verification, which may indicate a path toward resolving the Clay Millennium Problem for unforced Euler. The statement describes a compressed, chaotic release timeline driven by evidence that OpenAI had independently attacked the same problem using an internal model, massive compute, and a dedicated team — contrary to initial claims of "very little human input" and a single prompt. Buckmaster characterizes the Euler writeup as "AI slop" and regrets the presentation quality, attributing it to competitive pressure rather than scientific standards. He frames the broader significance not as the specific results but as a demonstration that a mathematician working with LLMs can now compress years of frontier mathematics into roughly one month of work.

    Don't miss tomorrow's

    The Daily Pulse in your inbox each morning — sourced and linked.

    How often
    Keep going — across the app