Two AI models have achieved gold medal standard for the first time in a prestigious competition for young mathematicians – ...

The Langlands program has inspired and befuddled mathematicians for more than 50 years. A major advance has now opened up new ...

One of the biggest stories in science is quietly playing out in the world of abstract mathematics. Over the course of last ...

The answer is zero-knowledge proofs (ZKPs), developed by computer scientists and mathematicians who acknowledge they are ...

DeepSeek has released DeepSeek-Prover-V2, a new open-source large language model specifically designed for formal theorem proving in Lean 4. The model builds on a recursive theorem proving ...

The Chinese start-up has released the Prover-V2 model a day after Alibaba released Qwen3, and ahead of an anticipated release of DeepSeek-R2.

New study shows why simulated reasoning AI models don’t yet live up to their billing Top AI models excel at math problems but lack reasoning needed for Math Olympiad proofs.

Mathematicians Wrote a Proof for a 100-Year-Old Problem—and May Have Just Changed Geometry The work has been deemed “spectacular progress” by giants of the field.

A 125-page proof posted to arXiv may represent a huge breakthrough in geometric measure theory. This problem has implications in fields like encryption, computer science, and number theory.

The results are a sweeping, game-changing math proof that was decades in the making. Working with Dennis Gaitsgory of the Max Planck Institute and a team of seven other mathematicians, Raskin has ...

Two High Schoolers Found an ‘Impossible’ Proof for a 2,000-Year-Old Math Rule—Then, They Discovered Nine More Ne’Kiya Jackson and Calcea Johnson of Louisiana published a new study proving ...