AnalysisScienceSeptember 3, 2026

Podcast explores what math is for in the age of AI

Read original source →quantamagazine.org

Recorded at ICM 2026 in Philadelphia, hosts Janna Levin and Steven Strogatz discuss AI-generated proofs with mathematicians Akshay Venkatesh, Ravi Vakil, and Alex Kontorovich. They examine what recent AI proofs demonstrate and what changes as mathematics becomes more machine-assisted.

People · Akshay Venkatesh, Ravi Vakil, Alex Kontorovich

1 source

More stories today

Open the live feed