Mathematicians have broken through a long-standing barrier in the study of “minimizing surfaces,” which play an important role in both math and physics. In the mid-19th century, the Belgian physicist ...

I first started teaching Geometry last year and have taken over "Informal Geometry" this year. As the name of the second class implies, the idea of formal proof is strongly de-emphasized; this class ...

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

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

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