All products featured on WIRED are independently selected by our editors. However, we may receive compensation from retailers and/or from purchases of products through these links. Learn more. In 2003 ...

AlphaProof showed its prowess on questions from this year’s Mathematical Olympiad — a step in the race to create substantial proofs with artificial intelligence. After beating humans at everything ...

Ananyo Bhattacharya is chief science writer at the London Institute for Mathematical Sciences and the author of The Man from the Future: The Visionary Ideas of John von Neumann. One of the biggest ...

The Langlands program has inspired and befuddled mathematicians for more than 50 years. A major advance has now opened up new worlds for them to explore One of the biggest stories in science is ...