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

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

Can mathematics handle things that are essentially the same without being exactly equal? Category theorist Eugenia Cheng and host Steven Strogatz discuss the power and pleasures of abstraction. The ...