Terence Tao – How the world’s top mathematician uses AI
1:23:44
Terence Tao – How the world’s top mathematician uses AI
447.6K views4 months ago
YouTubeDwarkesh Patel
Can AI Prove It? Terence Tao on “Big Math” and Our Theoretical Future | The Futurology Podcast
1:04:32
Can AI Prove It? Terence Tao on “Big Math” and Our Theoretical Future | The Futurology Podcast
31.1K views6 months ago
YouTubeBerggruen Institute
2026 EMS Lecture Series on Mathematics Education. Lecture 6: Terence Tao
1:14:05
2026 EMS Lecture Series on Mathematics Education. Lecture 6: Terence Tao
16K views1 month ago
YouTubeEuropean Mathematical Society
Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472
3:14:34
Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472
1.9M viewsJun 14, 2025
YouTubeLex Fridman
Terence Tao - Machine assistance and the future of research mathematics - IPAM at UCLA
28:51
Terence Tao - Machine assistance and the future of research mathematics - IPAM at UCLA
79.2K views5 months ago
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
Do We Need New Math to Understand the Universe? With Terence Tao
57:15
Do We Need New Math to Understand the Universe? With Terence Tao
431.7K views4 months ago
YouTubeStarTalk
Formalizing a proof in Lean using Github copilot and canonical
34:39
Formalizing a proof in Lean using Github copilot and canonical
81.1K viewsMay 11, 2025
YouTubeTerence Tao
42:56
Terry Tao "How to think like a mathematician" presented by the UCLA Curtis Center
65.2K views3 months ago
YouTubeUCLA Curtis Center
52:40
Terence Tao - Delocalization of Eigenvectors of Random Matrices - A Survey (February 20, 2025)
18.1K viewsFeb 28, 2025
YouTubeSimons Foundation
53:05
The Potential for AI in Science and Mathematics - Terence Tao
269.2K viewsAug 7, 2024
YouTubeOxford Mathematics
45:09
Terence Tao on future of AI in mathematics | Terence Tao and Lex Fridman
17.1K viewsJun 22, 2025
YouTubeLex Clips
23:20
$1 million dollar unsolved math problem: Navier–Stokes singularity explained | Terence Tao
176.3K viewsJun 14, 2025
YouTubeLex Clips
57:24
Terence Tao at IMO 2024: AI and Mathematics
1.1M viewsAug 21, 2024
YouTubeAIMO Prize
1:04:09
Terence Tao: Nobody Understands Why AI Actually Works
309.8K views6 months ago
YouTubeDr Brian Keating
1:01:28
Terence Tao and Mark Chen - Fireside Chat with James Donovan - IPAM at UCLA
9.2K views4 months ago
YouTubeInstitute for Pure & Applied Mathematics (IPAM)
2:49:59
ChatGPT 5.5 Pro + Claude Opus 4.8 vs. Unsolved Math Problems
1K views1 month ago
YouTubeKyle Kabasares
29:43
Mathematician Terence Tao receives Madison Medal at Princeton University's Alumni Day
171.3K views4 months ago
YouTubePrinceton University
45:44
Golfing and stylistically aligning a proof using Claude Code
24.9K views2 months ago
YouTubeTerence Tao
46:53
Navier Stokes: How Terence Tao's Program Can Guide AI Reasoning Models to the $1M Solution
6.8K views9 months ago
YouTubeLisha Li, PhD to AI CEO | Math, Physics & Star…
56:46
Do We Need New Math to Understand the Universe? With Terence Tao | Universe
103 views1 month ago
YouTubeThe Neil DeGrasse Universe
27:56
Can AI Solve Erdős’ Hardest Problems? Terence Tao Responds
35 views5 months ago
YouTubeJanice Ong | Tech & Social (JTS)
31:45
Formalizing a proof in Lean using Claude and o4
50.9K viewsMay 13, 2025
YouTubeTerence Tao
56:42
Formalizing a proof in Lean by hand
42K viewsMay 25, 2025
YouTubeTerence Tao
25:35
Terence Tao continuing history’s cleverest cosmological measurements
1.5M viewsFeb 23, 2025
YouTube3Blue1Brown
59:12
Terence Tao - Machine-Assisted Proofs (February 19, 2025)
111.4K viewsFeb 20, 2025
YouTubeSimons Foundation
1:26:07
The Future of Math with o1 Reasoning with Terence Tao, Mark Chen, and James Donovan
68.1K viewsDec 13, 2024
YouTubeOpenAI
57:55
Prof. Terence Tao | The Equational Theories Project: Advancing Collaborative Mathematical...
1.1K viewsJun 25, 2025
YouTubeINI Seminar Room 1
1:01:54
HeadRoom with Dr. Terence Tao the "Mozart of Math"
936 viewsJun 3, 2025
YouTubeDr Rod Berger
1:19:35
IMO 2025 – Terence Tao on the Equational Theories Project – Collaboration in Mathematics Study
1K views11 months ago
YouTubeAustralian Maths Trust
See more
Static thumbnail place holder