Mathematicians Steven Brunton, Ankur Moitra, and Alex Kontorovich join Lex Fridman to assess landmark AI-generated mathematical proofs. They examine major breakthroughs like the quasi-Riemann hypothesis and analyze the deep cultural crisis facing researchers.