ChatGPT Helped Prove It
41:39–42:29 · 50s
Daniel shares that Ed Witten used ChatGPT to bridge a proof in a new paper—moving beyond grammar fixes into genuine mathematical logic.
41:39–42:29 · 50s
Daniel shares that Ed Witten used ChatGPT to bridge a proof in a new paper—moving beyond grammar fixes into genuine mathematical logic.
We use cookies to understand how you use our platform and to improve your experience. Click "Accept All" to consent, or "Decline non-essential" to opt out of non-essential cookies. Read our Privacy Policy.