Exponential Time Hypothesis disproof: two rival AI systems at OpenAI and Anthropic independently published machine-verified ...

AI has reportedly challenged the Exponential Time Hypothesis, a long-standing computer science assumption. If confirmed, the ...

OpenAI says its AI has made three major scientific discoveries spanning mathematics, computer science and physics, including ...

OpenAI’s announcement is the latest in a series of claimed scientific breakthroughs credited to AI.

OpenAI and Anthropic have released AI-generated mathematical proofs that challenge the Exponential Time Hypothesis (ETH), a ...

Internal AI proofs on harmonic analysis, ETH and quantum field theory enter expert review less than a month after 700 math ...

IntroductionOn October 26, 2026, OpenAI announced that its AI models had achieved proofs and discoveries for long-standing ...

AI can help theoretical computer scientists search for algorithms, proof components, and combinatorial structures. Here’s what recent results show—and why verification still matters.

See how AI is changing algorithm discovery, theorem proving, and complexity theory, with real research examples and a clear look at its limitations.

This blog is a continuation of the Building AI Leadership Brain Trust Blog Series which targets board directors and CEO’s to accelerate their duty of care to develop stronger skills and competencies ...

The original version of this story appeared in Quanta Magazine. They say a bird in the hand is worth two in the bush, but for computer scientists, two birds in a hole are better still. That’s because ...