"How is AI changing math?" with Math Professor Jonathan Wise

00:00 Meet Jonathan Wise — theoretical mathematician and professor at CU Boulder 01:35 Teaching mathematics with AI and the Lean proof assistant 04:36 The AI math breakthroughs that changed the conversation 07:25 Is AI discovering mathematics — or just grinding through possibilities? 11:34 Can AI develop mathematical intuition and “taste”? 15:23 Can AI combine ideas across completely different fields of math? 17:40 How a working mathematician actually uses AI today 22:22 AI is already extremely useful for checking and proofreading proofs 24:41 What is mathematics for: human understanding or simply proving what’s true? 29:33 What happens when AI starts surpassing mathematicians? 34:15 Has AI actually invented genuinely new mathematical ideas yet? 36:30 The excitement — and existential dread — spreading through mathematics 40:12 AI attribution, citations, and using mathematicians’ ideas without credit 43:22 MathOverflow is declining as mathematicians increasingly ask AI instead of humans 45:31 Why AI is also making mathematics unusually fun right now Each week, join Chris Slowe (founding engineer, former CTO, and now Senior Technical Fellow @ Reddit), Marty Weiner (founding engineer at Pinterest, former CTO at Reddit, and co-founder at VerifyYou), and Zach Weinersmith (creator of SMBC Comics and co-author of A City on Mars and Soonish) as we delve into the latest in AI and tech.