Mathematics is the first place where evidence of AI superintelligence is likely to appear, a theoretical computer scientist says. “Will there be a superhuman AI mathematician?” asked theoretical ...

It's a plot device beloved by science fiction: our entire universe might be a simulation running on some advanced ...

DeepMind’s AlphaEvolve helps solve a math puzzle with Terence Tao, showing how AI can now invent new ideas—and prove old ones ...

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

MATH 79SI: “Proof Positive: Principles of Mathematics” is a new student-initiated class that introduces students to basic mathematical proof-writing techniques. The one-unit class is designed to serve ...

Some scientific discoveries matter because they reveal something new — the double helical structure of DNA, for example, or the existence of black holes. However, some revelations are profound because ...

If pure math can teach us anything, it’s this: occasionally, your special interest might just change the world. For Joshua Zahl and Hong Wang, that special interest was the Kakeya conjecture. “I read ...

After an eight-year struggle, embattled Japanese mathematician Shinichi Mochizuki has finally received some validation. His 600-page proof of the abc conjecture, one of the biggest open problems in ...

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