Anthropic says Claude refuted the Exponential Time Hypothesis, with a Lean proof

TL;DR

• On 27 October UTC Anthropic released its own claim that the Exponential Time Hypothesis is false, about six hours after OpenAI’s.
• Carlos Toledo’s replay says two kernels accepted both labs’ Lean proofs against their own statements.
• No machine checks that a Lean statement says what the paper says, and no human referee has finished either paper.