OpenAI and Anthropic claim artificial intelligence models have disproved the Exponential Time Hypothesis
OpenAI and Anthropic published separate research papers asserting that internal AI systems successfully refuted a fundamental computer science conjecture known as the Exponential Time Hypothesis. Both organizations submitted formal proofs verified by the Lean automated proof checker, with Anthropic reporting that an unreleased Claude system created its core algorithm without direct human assistance. If validated, the findings demonstrate that machine learning systems are beginning to discover new theoretical mathematical results, though the underlying models remain closed to external researchers.
