Matrices can be your friends (2002)

Learning by starting at the end: Writing a Proof in Lean

Why the numbers 6-7 are driving math teachers up the wall

Interval Calculator

Why formalize mathematics – more than catching errors

Why do Stanford math professors still use chalk? (2021)

Traveling Salesman Game

Every Artist Has a Favorite Subject. For Some, That's Math

KaTeX – The fastest math typesetting library for the web

OpenAI researcher announced GPT-5 math breakthrough that never happened