Tristan Buckmaster

Everything Fervor AI has published that touches Tristan Buckmaster — 2 pieces, newest first.

• openai/NavierStokesAndEuler: A Lean Certificate Proves the Logic and Leaves the Authorship Blank

  A Lean certificate settles whether a proof term satisfies a formal statement and settles nothing about whether that statement is the theorem or about who authored the…

• Briefing · September 8, 2026 · afternoon

  Ten thousand agents can now be pointed at one problem, and the only thing that makes their output checkable is a formal certificate rather than the fleet that produced…