DigestAI news desk

Cut through the AI noise.

Listen
Developing story · 2 episodes · 26 Oct to 29 Oct

AI Models Refute Exponential Time Hypothesis

OpenAI and Anthropic announced that their AI models successfully refuted the Exponential Time Hypothesis, a major conjecture in computer science. The saga concludes with the formal disproof of this 27-year-old hypothesis, marking a significant milestone in AI-driven mathematical discovery.

  1. Researchnew

    OpenAI and Anthropic disprove 27-year-old computer science hypothesis

    OpenAI and Anthropic announced this week that AI-generated proofs have disproved the exponential time hypothesis (ETH), a long-standing assumption in theoretical computer science. The claim, if…

    1 source
  2. Researchnew

    OpenAI and Anthropic claim their AI models refuted the Exponential Time Hypothesis

    OpenAI and Anthropic each announced that their internal AI models produced proofs disproving the Exponential Time Hypothesis (ETH), a long-standing conjecture in computational complexity theory.…

    13 sources
Who and what
OpenAIAnthropicRussell ImpagliazzoRamamohan PaturiRyan WilliamsFrancis ZaneDavid GrossMichael DouglasPeter JonssonDaniel LokshtanovThore Husfeldt
hot Mistral releases 1T-parameter multimodal model with open weights new Alphabet reports negative free cash flow of $9.07 billion as Microsoft posts positive $18.6 billion FCF amid AI spending surge hot NVIDIA releases open-weight Nemotron 3.5 Transcribe model and Granary v2 dataset new Google stock drops as search revenue misses expectations hot Google launches Gemini 4 Carbon for cybersecurity defenders at $2/1M input and $10/1M output tokens new Ex-Palantir founders launch Dream with $17M to build AI world models for construction hot Gemini 4 Carbon tops Artificial Analysis Intelligence Index v5 new Study finds voice tutors cost more but don’t prove better learning in MBA course