Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...

AI math proof verification reached a new frontier as DeepMind’s AlphaProof Nexus solved nine open Erdős research problems with Lean-verified proofs, some unsolved for 56 years. The May 2026 Science Ne ...

Axiom Math, a $1.6B AI unicorn, is building a formally verified library of economic theorems — and already found gaps in the ...

OpenAI says its internal reasoning AI has solved a decades-old discrete geometry problem, overturning a long-held ...

Researchers at Google DeepMind have announced that their AI system, AlphaProof Nexus, has solved nine longstanding problems ...

Turbulence is one of the least understood phenomena of the physical world. Long considered too hard to understand and predict mathematically, turbulence is the reason the Navier-Stokes equations, ...

A new mathematical framework, built on a branch of number theory called adelic analysis, has produced a complete proof of the ...

Every day, dozens of like-minded mathematicians gather on an online forum called Zulip to build what they believe is the future of their field. They’re all devotees of a software program called Lean.

The Langlands program has inspired and befuddled mathematicians for more than 50 years. A major advance has now opened up new worlds for them to explore One of the biggest stories in science has been ...

In the 1970s, the late mathematician Paul Cohen, the only person to ever win a Fields Medal for work in mathematical logic, reportedly made a sweeping prediction that continues to excite and irritate ...