Posts tagged “mathematics”

• 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 100-Plus Math Claim Needs a Review System as Scalable as the Search

  OpenAI says an internal model resolved over 100 open math problems. The hard part now is scaling proof review, attribution, disclosure, and control.

• 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