Hacker News with Generative AI: Terence Tao

Terence Tao – Machine-Assisted Proofs (February 19, 2025) [video] (youtube.com)
Terence Tao on how we measure the cosmos [video] (youtube.com)
Terence Tao on O1 (mathstodon.xyz)
Terence Tao's Comment on Mathematical Notation (mathoverflow.net)