Proofs in mathematics. Terence Tao, Nalini Anantharaman, Timothy Gowers and Etienne Ghys.
Dans cet entretien, le mathématicien Etienne Ghys interroge ses pairs Terence Tao, Nalini Anantharaman et Timothy Gowers autour de la question de la preuve dans leur discipline. Entretien enregistré le 21 mars 2023 dans le studio et avec le soutien de la Fondation Hugot du Collège de France.

▶︎
Can AI Prove It? Terence Tao on “Big Math” and Our Theoretical Future | The Futurology Podcast

▶︎
Terence Tao at IMO 2024: AI and Mathematics
![Nonetheless one should learn the language of topos: Grothendieck... - Colin McLarty [2018]](https://i.ytimg.com/vi/vmcbm5FxRJE/hqdefault.jpg?sqp=-oaymwEjCNACELwBSFryq4qpAxUIARUAAAAAGAElAADIQj0AgKJDeAE=&rs=AOn4CLDxcGsonRbSJy6Y5Z5BU-4_V5fXew)
▶︎
Nonetheless one should learn the language of topos: Grothendieck... - Colin McLarty [2018]

▶︎
Prof. Terence Tao | Can the Navier-Stokes Equations Blow Up in Finite Time? | Einstein Lecture 2015

▶︎
Terence Tao – How the world’s top mathematician uses AI

▶︎
Terry Tao "How to think like a mathematician" presented by the UCLA Curtis Center

▶︎
Man who has Won Every Major Award in Mathematics

▶︎
HLF Laureate Portraits: Terence Tao

▶︎
Terence Tao - From Rotating Needles to Stability of Waves: Local Smoothing... (November 29, 2023)

▶︎
HLF Laureate Portraits: Sir W. Timothy Gowers

▶︎
Bourbaki, the years 1945-75 - Jean-Pierre Serre, Pierre Cartier, Jacques Dixmier & Alain Connes

▶︎
Terence Tao - Machine assistance and the future of research mathematics - IPAM at UCLA

▶︎
Productive generalization - Timothy Gowers

▶︎
Terence Tao: Vaporizing and freezing the Riemann zeta function

▶︎
Dr. Terence Tao | The Value in "Dumb" Questions | Headroom With Dr. Berger

▶︎
Terry Tao: “Trump CUT My Funding.” Here's how I am going to react.

▶︎
Fame and Admiration (with Timothy Gowers) - Numberphile Podcast

▶︎
Terence Tao Explains How AI Fits Into Scientific Research

▶︎
Terence Tao's Central Limit Theorem Proof, Double Factorials (!!) and the Moment Method #SoME3

▶︎
