Michael Freedman’s momentous 1981 proof of the four-dimensional Poincaré conjecture was on the verge of being lost. The editors of a new book are trying to save it. One of the most important pieces of ...

Number theorist Andrew Granville on what mathematics really is — and why objectivity is never quite within reach. In 2012, the mathematician Shinichi Mochizuki claimed he had solved the abc conjecture ...

In a new book, the mathematical epidemiologist Adam Kucharski explains how certainty, even in math, can be an illusion. Nonfiction In a new book, the mathematical epidemiologist Adam Kucharski ...

Math students may not blink at calculating probabilities, measuring the area beneath curves or evaluating matrices, yet they often find themselves at sea when first confronted with writing proofs.

In “The Great Math War,” Jason Socrates Bardi takes on a battle for the soul of numbers that divided the experts of its day. By Jordan Ellenberg Jordan Ellenberg, a professor of mathematics at the ...

AI could soon spew out hundreds of mathematical proofs that look "right" but contain hidden flaws, or proofs so complex we ...

Google DeepMind’s AlphaProof system scored at a silver-medal level when tested against the 2024 International Mathematical Olympiad, solving problems that have historically separated elite human ...