educational video

AI Mathematics

How AI Discovered a Faster Matrix Multiplication Algorithm

Researchers at Google research lab DeepMind trained an AI system called AlphaTensor to find new, faster algorithms to tackle an age-old math problem: matrix multiplication. Advances in matrix multiplication could lead to breakthroughs in physics, engineering and computer science. AlphaTensor quickly rediscovered – and surpassed, for some cases – the reigning algorithm discovered by German […]

Read More
AI Mathematics

When Computers Write Proofs, What’s the Point of Mathematicians?

Andrew Granville knows that artificial intelligence will profoundly change math. The programming language Lean already plays a role in theorem proving. That’s why the University of Montreal number theorist has started talking to philosophers about the nature of mathematical proof — and how the discipline of mathematics might evolve in the age of AI. Read […]

Read More
Mathematics

The Biggest Project in Modern Mathematics

In a 1967 letter to the number theorist André Weil, a 30-year-old mathematician named Robert Langlands outlined striking conjectures that predicted a correspondence between two objects from completely different fields of math. The Langlands program was born. In a new video explainer, Rutgers University mathematician Alex Kontorovich takes us on a journey through the continents […]

Read More
Mathematics Science

The Man Who Revolutionized Computer Science With Math

Leslie Lamport revolutionized how computers talk to each other. The Turing Award-winning computer scientist pioneered the field of distributed systems, where multiple components on different networks coordinate to achieve a common objective. (Internet searches, cloud computing and artificial intelligence all involve orchestrating legions of powerful computing machines to work together.) In the early 1980s, Lamport […]

Read More
Research Science

2021’s Biggest Breakthroughs in Math and Computer Science

2021 was a big year. Researchers found a way to idealize deep neural networks using kernel machines—an important step toward opening these black boxes. There were major developments toward an answer about the nature of infinity. And a mathematician finally managed to model quantum gravity. Read the articles in full at Quanta Magazine.

Read More
Quantum Computing

Quantum Computers, Explained With Quantum Physics

Quanta Magazine explains why quantum computers aren’t the next generation of supercomputers—they’re something else entirely.

Read More