The one source of truth is mathematics. Every statement is a pure logical deduction from foundational axioms, resulting in absolute certainty. Since Andrew Wiles proved Fermat’s Last Theorem, you’d be ...

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

Paul Erdős, the famously eccentric, peripatetic and prolific 20th-century mathematician, was fond of the idea that God has a celestial volume containing the perfect proof of every mathematical theorem ...

A mathematician will turn a groundbreaking 100-page proof into computer code. The proof tool, Lean, lets users turn proofs written in prose into rules and logic for testing. Kevin Buzzard already uses ...

For 50 years, mathematicians have believed that the total number of real numbers is unknowable. A new proof suggests otherwise. In October 2018, David Asperó was on holiday in Italy, gazing out a car ...

Has one of the major outstanding problems in number theory finally been solved? Or is the 600-page proof missing a key piece? The verdict isn’t in yet, but the proof, at least, will finally appear in ...