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

New computer tools have the potential to revolutionize the practice of mathematics by providing more-reliable proofs of mathematical results than have ever been possible in the history of humankind.

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

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

In a new book, the mathematical epidemiologist Adam Kucharski explains how certainty, even in math, can be an illusion. Nonfiction In a new book, the mathematical epidemiologist Adam Kucharski ...