SAIR

Science x AI Summit 2026 (Palo Alto) - Day 2 (Afternoon)

Science x AI Summit 2026 (Palo Alto) - Day 2

Barry Barish: Challenges and Emerging Roles of AI in Physics and Astronomy

Richard Sutton: AI Creativity and Discovery

Tim Gowers: Motivated Proofs Making AI Mathematical Discovery Transparent

Science x AI Summit 2026 (Palo Alto)

Terence Tao: Mathematics competitions at SAIR

SAIR: Building the Global Community for Science x AI

Hugging Face's Lewis Tunstall on post-training and open-source AI

Terence Tao and Tanya Klowden: Mathematical Methods and Human Thought in the Age of AI

Introducing the SAIR Contributor Network

Michael Freedman: Compression Is All You Need

The podcast explores the concept of compression in mathematics, arguing it's fundamental to human mathematical understanding and potentially key to AI collaboration. Michael Freedman, a Fields Medal winner, discusses his paper "Compression Is All You Need," which investigates how humans build mathematical knowledge ver...

Happy π Day from Lenore and Manuel Blum: Mathematics, Computation, and the Science of Consciousness

The podcast features an interview with Lenore and Manuel Blum, pioneers in mathematics and theoretical computer science, who share their early mathematical journeys and current work on the Conscious Turing Machine (CTM). Lenore recounts her early love for math due to its fundamental nature and later challenges as a wom...

Happy π Day from Tony F. Chan: AI, Human Judgment, and the Future of Scientific Discovery

Happy π Day from Jeff Ullman: AI, Science, and the Next Era of Discovery

Happy π Day from Michael Freedman: AI, Mathematical Discovery, and the Future of Thought

Happy π Day from Leonardo de Moura: Formal Proofs, Lean, and the Future of Math

Happy π Day from John Hennessy

Happy π Day from Tim Gowers: Mathematics, AI, and the Future of Collaboration

Entrepreneur Scott Clark on Collaboration, Observability & Why AI Is Science's Greatest Translator