The International Mathematical Olympiad (IMO) is a prestigious competition featuring talented high school students from around the world, in which competitors solve complicated mathematical problems.

George Pólya’s random walk theorem absolved him of being a lurker and revealed how the laws of chance interact with physical ...

A marriage of formal methods and LLMs seeks to harness the strengths of both.

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...

The premise of Marcus du Sautoy’s Blueprints: How Mathematics Shapes Creativity is that mathematics and creativitiy spring from the same well — structure. Individual numbers exist without human help.

This is an updated version of a story first published on Nov. 1, 2024 For centuries, students have learned that in a right triangle, the square of the hypotenuse equals the sum of the squares of the ...

A high school teacher didn't expect a solution when she set a 2,000-year-old Pythagorean Theorem problem in front of her students. Then Calcea Johnson and Ne'Kiya Jackson stepped up to the challenge.

A high school teacher didn't expect a solution when she set a 2,000-year-old Pythagorean Theorem problem in front of her students. Then Calcea Johnson and Ne'Kiya Jackson stepped up to the challenge.

The original version of this story appeared in Quanta Magazine. In 1994, an earthquake of a proof shook up the mathematical world. The mathematician Andrew Wiles had finally settled Fermat’s Last ...

Is an artificial intelligence revolution about to transform mathematics? Some prominent mathematicians think so, thanks to automated tools that can help write proofs suddenly showing impressive leaps ...

2025 marked a historic year in mathematics. Researchers solved a major case of Hilbert’s ambitious sixth problem, proved a sweeping new theorem about hyperbolic surfaces, and settled the longstanding ...

Nernst's theorem—a general experimental observation presented in 1905 that entropy exchanges tend to zero when the temperature tends to zero—has been directly linked to the second principle of ...