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

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

Remember that math problem from 2014? A Chinese AI tool cracked it ...

Terence Tao has been exploring the intersection between maths and AI. Credit: David Esquivel/UCLA. Is mathematics being taken ...

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

Zermelo-Fraenkel set theory is so widely accepted that modern mathematicians hardly think about it. But believing in its core ...

Recently, two American high school students made headlines for discovering a new proof of the Pythagorean theorem. Calcea Johnson and Ne'Kiya Jackson, seniors at St. Mary's Academy in New Orleans, ...