TT
Terence Tao
FollowMathematician at UCLA; Fields Medallist; writes the What's New blog
3 months ago
Jun 12
2026 EMS Lecture Series on Mathematics Education. Lecture 6: Terence Tao
Terence Tao: How should university students control their AI diet?0:00 Intro2:10 Lecture begins51:46 Q&A startsEngage with a Fields Medalist's perspective…
European Mathematical Society
3 months ago
May 23
Golfing and stylistically aligning a proof using Claude Code
In this video, I demonstrate how an AI agent can be used to help check if a body of Lean code (intended for upstreaming to Mathlib) can be "golfed"…
Terence Tao
MORE PEOPLE ON RECORDAL