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.

It might come as a surprise to some people that this prediction hasn’t already come to pass. Given that mathematics is a subject of logic and precision, it would seem to be perfect territory for a ...

A defining memory from my senior year of high school was a nine-hour math exam with just six questions. Six of the top scorers won slots on the U.S. team for the International Math Olympiad (IMO), the ...

When I tell someone I am a mathematician, one of the most curious common reactions is: “I really liked math class because everything was either right or wrong. There is no ambiguity or doubt.” I ...

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

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

The 61st International Mathematical Olympiad, or IMO, begins today. It may go down in history for at least two reasons: Due to the COVID-19 pandemic it’s the first time the event has been held ...

Discover what is Zero Knowledge Proof (ZKP), its privacy-first tech, fair presale auction model & Proof Pods. Here’s how the ...

For some people, math can be a necessary headache. Yes, algorithms guide countless aspects of daily life. There are tips to calculate and hours to count. But unless someone's a specialist, they'll ...

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