In August, a team of mathematicians posted a paper claiming to solve a major problem in algebraic geometry — using entirely alien techniques. It instantly captivated the field, stoking excitement in ...

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.

The mathematicians Günter Ziegler and Martin Aigner have spent the past 20 years collecting some of the most beautiful proofs in mathematics. Paul Erdős, the famously eccentric, peripatetic and ...