Hard math problems that OpenAI couldn't solve | Lex Fridman

Why watch

This video features mathematicians Ankur Moitra, Steven Brunton, and Alex Kontorovich discussing AI's capabilities and limitations in solving hard mathematics problems, including Navier-Stokes, the Riemann hypothesis, and the unique games conjecture. It explores how AI has solved some of mathematics hardest problems while failing at others, and what this reveals about the nature of mathematical reasoning and AI. The discussion is aimed at technical viewers interested in the intersection of artificial intelligence and advanced mathematics.