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

VUB's Data Analytics Lab has published new results showing that it is possible to develop original mathematical proofs using commercial language models. In a paper posted to the arXiv preprint server, ...

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

A graduate student recently harnessed the complexity of mathematical proofs to create a powerful new tool in cryptography.

In 1990, Marilyn vos Savant riled up scores of mathematicians with her solution to the “Monty Hall Problem.” But she was right. The following is an excerpt from Proof: The Art and Science of Certainty ...

Yesterday I was doing some literature review for an article I’m writing about my inverted transition-to-proof class, and I got around to reading a paper by Guershon Harel and Larry Sowder¹ about ...

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

One of the most bitterly contested proofs in modern mathematics may be on the verge of being untangled. Two projects, both aiming to use a computer program to cast new light on the controversy, are ...