Home
Terence Tao at IMO 2024: AI and Mathematics
AIMO Prize
Aug 21, 2024
349,184 views
The Man Who Solved the $1 Million Math Problem...Then Disappeared
The Trillion Dollar Equation
What's the future for generative AI? - The Turing Lectures with Mike Wooldridge
The Mathematician Who Discovered Math's Greatest Mystery
Official PyTorch Documentary: Powering the AI Revolution
Biggest Breakthroughs in Math: 2023
Terence Tao - From Rotating Needles to Stability of Waves: Local Smoothing... (November 29, 2023)
No Priors Ep. 80 | With Andrej Karpathy from OpenAI and Tesla
The Oldest Unsolved Problem in Math
AI can't cross this line and we don't know why.
The World's Best Mathematician (*) - Numberphile
Limits of Logic: The Gödel Legacy
The Potential for AI in Science and Mathematics - Terence Tao
The Man Who Solved the World’s Most Famous Math Problem
The Turing Lectures: The future of generative AI
Linus On LLMs For Coding
Rory Sutherland – Are We Now Too Impatient to Be Intelligent? | Nudgestock 2024
Terence Tao, "Machine Assisted Proof"
I visited the world's hardest math class
李沐讲座:大语言模型的实践经验和未来预测 | 上海交大| 转载