This is an updated version of a story first published on May 5, 2024. For many high school students returning to class, it may seem like geometry and trigonometry were created by the Greeks as a form ...

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

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

Proof is a way to show a statement is always true by using worded or algebraic reasoning. Higher tier – There are algebraic ways to describe odd, even and consecutive integers, which are needed for ...

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.