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
▶︎

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

Terence Tao at IMO 2024: AI and Mathematics
▶︎

Terence Tao at IMO 2024: AI and Mathematics

Nonetheless one should learn the language of topos: Grothendieck... - Colin McLarty [2018]
▶︎

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
▶︎

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
▶︎

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

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

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

Man who has Won Every Major Award in Mathematics
▶︎

Man who has Won Every Major Award in Mathematics

HLF Laureate Portraits: Terence Tao
▶︎

HLF Laureate Portraits: Terence Tao

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

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

HLF Laureate Portraits: Sir W. Timothy Gowers
▶︎

HLF Laureate Portraits: Sir W. Timothy Gowers

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

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
▶︎

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

Productive generalization -  Timothy Gowers
▶︎

Productive generalization - Timothy Gowers

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

Terence Tao: Vaporizing and freezing the Riemann zeta function

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

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.
▶︎

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

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

Fame and Admiration (with Timothy Gowers) - Numberphile Podcast

Terence Tao Explains How AI Fits Into Scientific Research
▶︎

Terence Tao Explains How AI Fits Into Scientific Research

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

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

2015 Math Panel with Donaldson, Kontsevich, Lurie, Tao, Taylor, Milner
▶︎

2015 Math Panel with Donaldson, Kontsevich, Lurie, Tao, Taylor, Milner