The priority dispute over the Navier-Stokes claim is legible in GitHub timestamps: Buckmaster's Lean repo predates OpenAI's by under 7 hours

GitHub·high signalXBlueskyLinkedInCopy link

tristanbuckmaster/fluid_lean was created 2026-09-08T04:03Z with directories affinecore, boussinesq-blowup and euler-blowup, and OpenAI's NavierStokesAndEuler was created 2026-09-08T10:53Z the same morning. Press coverage reports Buckmaster and Alpöge announced finite-time blowup with smooth forcing for incompressible porous media, Boussinesq and 3D incompressible Euler on 2026-09-07 with a Lean formalization, one day before OpenAI's post. The GitHub creation timestamps are a primary, checkable record of the ordering that the press dispute is arguing about, and fluid_lean is sitting at only 224 stars against OpenAI's 1,397.