Physical Superintelligence says an unreleased Anthropic model proved the Aaronson-Ambainis conjecture in three days.

OpenAI says its models have produced mathematical proofs that challenge established theories in harmonic ...

The integration of artificial intelligence is reshaping the landscape of traditional mathematics, marking the conclusion of ...

- OpenAI claims AI models solved three major math conjectures, verified via Lean theorem prover. - Experts question proofs' ...

"I've solved it." It is only five characters. Even for a difficult problem that mathematicians have been working on for decades, these five characters can be typed in an instant. The trouble is what ...

The Aaronson–Ambainis conjecture, open for roughly 18 years, has been proved with AI assistance and verified in Lean 4. The ...

PSI, a physics research startup that launched publicly in September 2026, says its research system used an unreleased Anthropic AI model to prove ...

How can we efficiently explore spaces with hundreds or thousands of dimensions? While these high-dimensional problems are invisible in reality, they are fundamental to statistics, optimization, ...

A US startup called PSI (Physical Superintelligence), not to be confused with the Paul Scherrer Institute, says its AI system ...

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

A Cambridge startup says its research system, running a non-public Anthropic model, produced a Lean-verified proof of a ...

There was plenty of excitement at the progress artificial intelligence is making, leavened with nostalgia for the good old ...