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

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

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

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

OpenAI and Anthropic claim their AI systems have disproved a 27-year-old assumption in computer science. If independently ...

The Limits and Transcendence of 'Complexity Science' from the Perspective of Natural PhilosophyIntroductionThe goal of the 'Natural Philosophy' that I have been cultivating for about 60 years, namely ...

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

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

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

AI may have overturned decades of computer science research. Discover why OpenAI and Anthropic's claimed breakthrough matters ...

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 results resolve major problems in math, physics and computer science. But like other recent AI-generated “slop drops,” ...