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

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

OpenAI claims to disprove the Exponential Time Hypothesis with a new algorithm showing subexponential performance for the ...

OpenAI announced that it had obtained "major" discoveries in three fields: mathematics, computer science, and physics. The ...

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

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

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 ...

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.

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 ...