Will AI solve physics?
Daniel and Kelly’s Extraordinary Universe
00:00
LLMs Doing Mathematical Reasoning
Daniel recounts examples where LLMs contributed symbolic proofs and assisted top theorists like Ed Witten.
Play episode from 41:38
Transcript
