Posts tagged “formal-verification”
What OpenAI’s computing breakthrough claim would change
OpenAI says AI has refuted the Exponential Time Hypothesis. Here is what that would change—and why faster software and a solution to P versus NP do not follow.
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.