#formal-verification

OpenAI vs. the Exponential Time Hypothesis: What's Verified

OpenAI says its models refuted the Exponential Time Hypothesis, plus two more proofs. Here's what's verified, and what Lean can't tell you about them.