Marijn Heule turns mathematical statements into something like Sudoku puzzles, then has computers go to work on them. His ...

In 2024, an AI entered the fray of the International Mathematical Olympiad (IMO). Google’s AlphaProof is part of the same ...

You enter a cave. At the end of a dark corridor, you encounter a pair of sealed chambers. Inside each chamber is an all-knowing wizard. The prophecy says that with these oracles’ help, you can learn ...

What makes a proof stronger than a guess? What does evidence look like in the realm of mathematical abstraction? Hear the mathematician Melanie Matchett Wood explain how probability helps to guide ...

Every day, dozens of like-minded mathematicians gather on an online forum called Zulip to build what they believe is the future of their field. They’re all devotees of a software program called Lean.

Preservice mathematics teachers are entrusted with developing their future students' interest in and ability to do mathematics effectively. Various policy documents place importance on being able to ...

Ananyo Bhattacharya is chief science writer at the London Institute for Mathematical Sciences and the author of The Man from the Future: The Visionary Ideas of John von Neumann. One of the biggest ...

In 2022, two high school students created a trigonometric proof of the Pythagorean Theorem—something that’s only ever been accomplished by a few professional mathematicians. Now, a new article not ...

Two years ago, a couple of high school classmates each composed a mathematical marvel, a trigonometric proof of the Pythagorean theorem. Now, they’re unveiling 10 more. For over 2,000 years, such ...

Calcea Johnson and Ne'Kiya Jackson believe they can prove the Pythagorean Theorem using trigonometry — and are being encouraged to submit their work for peer review Jason Hahn is a former Human ...

Mathematicians say that they have solved a major, decades-old problem in geometry: how to reconstruct the inner structure of a mystery object ‘X’ from knowing only how fast waves travel between any ...