OpenAI and Anthropic Models Challenge Key Complexity Theory

New AI-generated proofs attempt to refute the foundational Exponential Time Hypothesis in computer science.

Updated on Oct. 27, 2026 in Artificial Intelligence

Isometric editorial illustration of a complex, multi-layered lattice structure built from opaque matte geometric blocks, representing computational complexity.
New AI-generated proofs from OpenAI and Anthropic are challenging the Exponential Time Hypothesis, a foundational theory in computer science, prompting urgent academic review. AI Illustration. Upload story photo >

Live Poll

Do you trust scientific discoveries generated by AI models as much as those produced by human researchers?

OpenAI and Anthropic have released AI models capable of solving logic puzzles in sub-exponential time, effectively challenging the long-standing Exponential Time Hypothesis. OpenAI has published supporting proof materials on GitHub to facilitate expert review of these findings.

Why it matters

The Exponential Time Hypothesis is a critical assumption regarding computational difficulty that underpins much of modern research. If these AI-generated proofs are validated, a vast body of existing scientific work and current cybersecurity infrastructure may require a fundamental reassessment.

OpenAI successfully utilized AI to solve 3 specific mathematical problems that previously appeared to adhere to the limits of the Exponential Time Hypothesis. The firm confirmed that these new algorithms do not currently break active cryptographic systems.

The players

OpenAI

This artificial intelligence research organization develops advanced models and is currently publishing proof materials to challenge computational complexity assumptions.

Anthropic

This AI safety and research company has released model results that directly refute the established Exponential Time Hypothesis.

Ryan Williams

A professor at MIT who is currently coordinating the global computer science response to verify the new AI-generated mathematical proofs.

Russell Impagliazzo

A computer scientist at UC San Diego who co-authored the original Exponential Time Hypothesis in 1999.

Ramamohan Paturi

A researcher at UC San Diego known for co-authoring the fundamental 1999 paper defining the Exponential Time Hypothesis.

The details

Computer scientists are now collaborating through a new working group, coordinated by MIT Professor Ryan Williams, to rigorously test the accuracy of these AI-generated solutions. Meanwhile, experts have launched an open letter to foster a broader academic discussion regarding the implications of AI-driven contributions to computational complexity.

Timeline

  1. The Exponential Time Hypothesis was first published by Russell Impagliazzo and Ramamohan Paturi in 1999.

  2. OpenAI released a previous set of proof materials in October 2026.

  3. OpenAI officially released solutions to three complex math problems on October 26, 2026.

The Tech Race

This development represents a significant paradigm shift, as it challenges the Exponential Time Hypothesis, a foundational rule that has guided computer science research since 1999. The findings signal a new era where AI models may actively redefine the theoretical limits of computational difficulty.

While these findings are currently confined to academic proofs, the long-term potential for sub-exponential algorithms could eventually impact how data is secured across digital platforms. Users should remain aware that researchers are working to ensure these advancements do not compromise current cybersecurity infrastructure.

The takeaway

The emergence of these proofs demonstrates that AI is becoming a powerful tool for testing the most difficult theoretical boundaries of computer science. Readers should track upcoming academic conferences, as the peer-review process will determine whether these findings hold up to rigorous scientific scrutiny.

Further reading

For more context on current developments in the field, explore the Artificial Intelligence section.

Live Poll

Do you trust scientific discoveries generated by AI models as much as those produced by human researchers?