All equals are not created equal—mathematicians sometimes play fast and loose. In programming, equal signs mean different things, and variables have different types. Turning intuitive math expertise ...

Shalosh B. Ekhad, the co-author of several papers in respected mathematics journals, has been known to prove with a single, succinct utterance theorems and identities that previously required pages of ...

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.

Mathematics research typically requires few materials. To explore the secrets of prime numbers, investigate unimaginable shapes or elucidate other fundamental mysteries of our universe, mathematicians ...