OpenAI, Anthropic say AI refuted the Exponential Time Hypothesis
OpenAI posted a paper on Oct. 26 saying its model refuted the Exponential Time Hypothesis, and Anthropic posted a Claude-found refutation hours later, both checked in Lean. Take the claim seriously and the speedup lightly.
Why it matters If the result holds, two labs' models did original, machine-checked work on a question theorists built decades of results on. Your code and your encryption don't change this week. How much weight you give AI research claims should, and so should how you check them.
SRCOpenAI