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

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

Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.

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

For ages, countless mathematicians have advanced mathematics through proofs. This is because proof is a key tool for developing new theories and solving problems. That’s why a discussion about proofs ...

In a series of papers posted online in recent weeks, mathematicians have solved a problem about the pattern-matching card game Set that predates the game itself. The solution, whose simplicity has ...

The Hechinger Report covers one topic: education. Sign up for our newsletters to have stories delivered to your inbox. Consider becoming a member to support our nonprofit journalism. (We’re a ...