TT
Terence Tao
FollowMathematician at UCLA; Fields Medallist; writes the What's New blog
3 months ago
Jun 8
Award-winning maths prodigy Terence Tao on the importance of making mistakes - ABC listen
He’s just been recognised as one of the nation’s most outstanding minds — one of five recipients this year of the Companion of the Order of Australia.
ABC listen
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