Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.

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

DeepMind’s AlphaProof system solved four out of six problems at the 2024 International Mathematical Olympiad, generating formally verified proofs through reinforcement learning trained on millions of ...

Calcea Johnson and Ne'Kiya Jackson, who surprised the math world when they produced innovative solutions to a 2,000-year-old puzzle, wowed the math world again when they presented several new ways of ...

At 25, Kurt Gödel proved there can never be a mathematical “theory of everything.” Columnist Natalie Wolchover explores the ...

A statement can be true or false. But as Kurt Gödel demonstrated, there will always be mathematical assumptions that can ...

For more than 350 years, a mathematics problem whose solution was considered the Holy Grail to the greatest mathematician minds had remained unsolved. Now, a team of mathematicians led by a prominent ...

Two New Orleans teens joined an exclusive club of mathematicians when they discovered trigonometry proofs for Pythagorean's Theorem. Two teens in New Orleans joined an exclusive club of mathematicians ...

If two people pick alternate slices from a pizza that has been cut unevenly from an off-centre point, common sense suggests one of them will walk away with more. But geometry says otherwise.In the ...