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

Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His proofs have been called “disgusting,” but they go beyond what any human can do ...

A few months before the 2025 International Mathematical Olympiad (IMO) in July, a three-person team at OpenAI made a long bet that they could use the competition’s brutally tough problems to train an ...

Consider the numbers used - Even Numbers and Primes. Both groups have a common property - Digital Roots All Digital Roots have a common property - an infinite loop when exposed to simple summing or ...

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.