Simon Singh's exploration of mathematical proof – in particular Pierre de Fermat's last theorem – remains an absolute ...

The painstaking process of formalization to verify proofs is starting to surge thanks to AI. That could radically change the ...

Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most ...

GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that ...

Despite multiple conferences dedicated to explicating Mochizuki’s proof, number theorists have struggled to come to grips with its underlying ideas. His series of papers, which total more than 500 ...

The same branch of mathematics that helped Einstein to formulate his theory of general relativity could now allow scientists to peer with unprecedented accuracy into impenetrable objects—such as the ...

The Langlands program has inspired and befuddled mathematicians for more than 50 years. A major advance has now opened up new worlds for them to explore One of the biggest stories in science has been ...

It’s the same math that explains how, under the right conditions, the atmosphere above a barren plain can produce a roiling ...