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

Since the start of the 20th century, the heart of mathematics has been the proof — a rigorous, logical argument for whether a given statement is true or false. Mathematicians’ careers are measured by ...

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

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

Every day, dozens of like-minded mathematicians gather on an online forum called Zulip to build what they believe is the future of their field. They’re all devotees of a software program called Lean.

If you think you had a hard time filling out pages of algebra at school, spare a thought for the three mathematicians who have just published the world’s largest ever proof. It takes up 200TB of ...

Cryptography conferences are a different animal. For instance, at a crypto conference, you can't simply walk up on stage and impress the audience with a great sounding idea. Instead, you have to prove ...