Posts tagged “formal-verification”

• OpenAI’s Navier–Stokes Claim Is a Proof-Factory Stress Test

  OpenAI says an AI swarm found a Navier–Stokes blowup proof. The bigger story is proof factories, verification debt, and research provenance.

• OpenAI Astra’s Ten Math Advances Make Verification the Product

  OpenAI says Astra produced ten math and theoretical computer science advances. Here is what the Lean proofs verify—and what builders should copy.

← Back to blog