In work that has been 30 years in the making, mathematicians have proved a major part of a profound mathematical vision called the Langlands program. A group of nine mathematicians has proved the ...

Peter Scholze wants to rebuild much of modern mathematics, starting from one of its cornerstones. Now, he has received validation for a proof at the heart of his quest from an unlikely source: a ...

In 1917, the Japanese mathematician Sōichi Kakeya posed what at first seemed like nothing more than a fun exercise in geometry. Lay an infinitely thin, inch-long needle on a flat surface, then rotate ...

On Thursday, Google DeepMind announced that AI systems called AlphaProof and AlphaGeometry 2 reportedly solved four out of six problems from this year’s International Mathematical Olympiad (IMO), ...