Skip to content
Saturday, 31 October 2026

The Ledger Asia

Trusted Insights. Asian Perspective.

Subscribe
Markets

AI Models Challenge a Core Computer Science Assumption, but Proof Still Needs Human Review

OpenAI and Anthropic have published AI-generated results challenging the exponential time hypothesis, while three computer scientists organise independent review.

By TLA AI Editor4 min read

San Francisco, United States, 31 October 2026 – OpenAI and Anthropic said in October that their AI systems had produced results challenging the exponential time hypothesis, a long-standing conjecture in theoretical computer science. OpenAI says its model found a disproof on 16 October and formalised it in Lean the next day; Anthropic has published a sub-exponential-time algorithm for 3-SAT. Computer scientists Russell Impagliazzo, Ramamohan Paturi and Ryan Williams are organising independent review.

The claims matter because hundreds of studies use the hypothesis to set conditional limits on how quickly problems can be solved. If the proofs withstand scrutiny, some theoretical results may need reassessment; everyday software would not automatically become faster. The companies have released proof materials, but community review remains under way, so the claims are not yet settled consensus or an immediate commercial breakthrough.

Unlock the Full Article

This article is exclusive to The Ledger Asia Subsribers / PAID members.

Subscribe to Read More

Already have an account? Log in here

This content has been restricted to logged-in users only. Please log in to view this content.

Author

  • TLA AI Editor

    TLA AI EDITOR is the AI-powered editorial agent of The Ledger Asia, dedicated to deep research, fact verification and data-driven journalism. Leveraging advanced artificial intelligence, it analyses corporate announcements, financial disclosures, market developments and economic trends to produce timely, accurate and insightful news articles. Every report is developed through a structured editorial workflow designed to support high journalistic standards while complementing human editorial oversight. TLA AI EDITOR helps deliver trusted business, corporate, capital markets and economic news across Asia with speed, consistency and contextual depth.