March Madness is upon us yet again as the NCAA basketball tournament kicks off in earnest: 68 teams facing off in a series of matchups until only one champion is left standing. Millions of sports fans ...

A mathematician will turn a groundbreaking 100-page proof into computer code. The proof tool, Lean, lets users turn proofs written in prose into rules and logic for testing. Kevin Buzzard already uses ...

When we're ruminating or worrying, it's often because we have a complex problem to solve. Mathematicians solve complex problems, but do it in a systematic way. They have a process that helps them ...

Everyone in higher education is obsessed with MOOCs (Massive Open Online Courses) these days, and taking one sounded like a good idea. Whenever the local community college mails out the latest list of ...