Starcast
Join the waitlist
"How is AI changing math?" with Math Professor Jonathan Wise
Coming soon to iPhone. Already have it? “Listen in Starcast” takes you straight there.
On this episode
About this episode
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…