openai/NavierStokesAndEuler

Everything Fervor AI has published that touches openai/NavierStokesAndEuler — 1 piece, 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…