Terence Tao - Machine-Assisted Proofs (February 19, 2025)
In this Presidential Lecture, Terence Tao will survey historical and recent developments in the use of machines in mathematics. He will also speculate on the future roles of machine assistance in the field. For more information, please visit: https://www.simonsfoundation.org/even...
▶︎
Kevin Buzzard - Where is Mathematics Going? (September 24, 2025)
▶︎
Terence Tao & Riley Tao: Turning AI’s Firehose Into Usable Science
▶︎
DPAR: Dynamic Patchification for Efficient Autoregressive Visual Generation
▶︎
Martin Hairer: Do Mathematicians Need Computers?
▶︎
Terence Tao - Machine assistance and the future of research mathematics - IPAM at UCLA
▶︎
Pseudo-random sequences, twin primes, and twisted diophantine approximation (Manuel Hauke)
▶︎
Terence Tao on Grigori Perelman solving Poincare Conjecture | Lex Fridman Podcast Clips
▶︎
Terence Tao: Nobody Understands Why AI Actually Works
▶︎
"First Proof: Mathematicians Putting AI to the Test" March 14, 2026
▶︎
Yann LeCun | Self-Supervised Learning, JEPA, World Models, and the future of AI
▶︎
Mathe-News 🚨 KI löst das Erdős-Einheitsabstand-Problem!
▶︎
The hardest problem in mathematics | Terence Tao and Lex Fridman
▶︎
I can prove I’ve solved this Sudoku without revealing it
▶︎
Terry Tao: “Trump CUT My Funding.” Here's how I am going to react.
▶︎
Leonardo de Moura - Verified Collaboration: How Lean is Transforming Math...(March 12, 2025)
▶︎
Terence Tao on the cosmic distance ladder
▶︎
Terence Tao - 3/3 Bounded gaps between primes
▶︎
This is not the AI we were promised | The Royal Society
▶︎
The Test That Terence Tao Almost Failed
▶︎