OpenAI and Anthropic AI Models Claim to Refute the Exponential Time Hypothesis
Internal OpenAI and Anthropic models each claim a Lean-formalized subexponential 3-SAT algorithm that refutes ETH. What was claimed and what is unverified.
MCSA Guru Team Nov 1, 2026 8 min read