In ancient Greece, Euclid showed that if you agree on a small list of preliminary principles, or axioms, you can use deductive reasoning to reveal all sorts of new mathematical truths. But although ...

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

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

The sudden resolution of a well-known conjecture highlights the growing adoption of AI as an assistant in high-level ...

Computers are extremely good with numbers, but they haven’t gotten many human mathematicians fired. Until recently, they could barely hold their own in high school-level math competitions. But now ...

By replacing the most fundamental concept in topology, Peter Scholze and Dustin Clausen are taking the first step in a far ...