What Is the Positive Grassmannian and Why Does It Show Up Everywhere?
Summary
Hosts Steve Strogatz and Jan Ellen interview Harvard mathematician Lauren Williams about algebraic combinatorics and the positive Grassmannian. Williams explains how this abstract geometric object connects to diverse real-world phenomena, including traffic flow, protein synthesis, and quantum scattering amplitudes. The discussion also covers the role of aesthetic beauty in mathematical discovery and introduces the "First Proof" project, which benchmarks AI’s ability to generate novel mathematical proofs.
Topics discussed
Introduction to combinatorics and the concept of mathematical beauty
Lauren Williams' background in math and music
The history and rising reputation of combinatorics
Defining beauty in mathematics: simplicity and generality
Understanding the Grassmannian and positive Grassmannian
Connections between the Grassmannian and traffic flow models
The Grassmannian in water waves and particle physics
Simplifying scattering amplitudes using geometric volumes
Testing AI capabilities with the ProofNet benchmark
The future of AI in mathematics and the role of human insight
Listen ad-free on Castria