In 2024, an AI entered the fray of the International Mathematical Olympiad (IMO). Google’s AlphaProof is part of the same ...

In 1931, the Austrian logician Kurt Gödel pulled off arguably one of the most stunning intellectual achievements in history. Mathematicians of the era sought a solid foundation for mathematics: a set ...

For years, a French mathematician searched for a proof that a gigantic number is prime. His method is still used 150 years ...

For over a decade, mathematicians have failed to agree whether a 500-page proof is actually correct. Now, translating the ...

The proof, known to be so hard that a mathematician once offered 10 martinis to whoever could figure it out, uses number ...

One of the biggest stories in science is quietly playing out in the world of abstract mathematics. Over the course of last year, researchers fulfilled a decades-old dream when they unveiled a proof of ...

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