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

Last Humans in the Loop · Sep 2, 2026 · 49m · transcript

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…