OpenAI and Anthropic find Exponential Time Hypothesis refutation algorithms

Internal AI models at OpenAI and Anthropic each reportedly found an algorithm refuting the Exponential Time Hypothesis, generating machine-checkable proofs that passed automated verification within a day. Three coordinating researchers emphasized that their involvement should not be taken as certification of the claims, highlighting the ongoing difficulty of human verification for AI-generated mathematical proofs. Open article →