person

Tristan Buckmaster

Mathematician whose research concerns the partial differential equations of fluid motion, including the Euler and Navier-Stokes equations.

Current clusters

build2 publishers

OpenAI ships a Lean build that checks its Navier-Stokes proof against its own definitions

OpenAI's 165-page proof ships with a Lean 4 formalization anyone can download and build, which settles whether the argument follows from its own definitions and leaves whether those definitions state the Clay problem to human readers.

Publishers:dev.toruntimewire.com

Reality

Evidence55
Adoption20
Hype gap+30
Incentives78
Confidence58

build1 publisher

Buckmaster put every draft into Codex before OpenAI described the same proof path

The allegations against OpenAI include a demand to drop an Anthropic-affiliated co-author, but the detail that carries over to other projects is what a vendor's research staff may hold after you paste in your drafts.

Publishers:the-decoder.com

Reality

Evidence28
Adoption22
Hype gap+45
Incentives78
Confidence35