YouTube: https://youtube.com/watch?v=LvvG21CpaS4
Previous: The internet skews our perspective on humanity
Next: (None)

Categories

Statistics

View count:2,649
Likes:175
Comments:51
Duration:1:01:59
Uploaded:2026-10-26
Last sync:2026-10-26 20:00
*...yet

Thanks to Grant Sanderson for coming on and having this chat with me. His videos are so freaking good: https://www.youtube.com/@3blue1brown

Focus Friend
iOS https://apps.apple.com/us/app/focus-friend-by-hank-green/id6742278016
Android https://play.google.com/store/apps/details?id=com.underthing.focus.friend&hl=en_US

Important Viewing / reading if you want to go deeper
Proofs and Prompts, "100+ reactions to 100+ solutions": https://proofsandprompts.com/2026/10/08/100-reactions-to-100-solutions/
Terrance Tao on Numberphile: https://www.youtube.com/watch?v=bAnwMdfcMVw
Tristan Buckmaster on Numberphile: https://www.youtube.com/watch?v=Mzbtj5nkMXI
Grant's Video on AI in Math: https://www.youtube.com/watch?v=LKrwhjOI8Nc
Sophie
Ellie Seleightholm on the OpenAI paper dump: https://www.youtube.com/watch?v=pHa9zdIkujE
Steven Strogatz on the Daily: https://www.youtube.com/watch?v=LfGenpmOjDQ

Video written by Hank Green
Video Edited by Aves: https://bsky.app/profile/avesmhl.com
Interview edited by Hank Green

SOURCES
OpeAI Dump: https://github.com/openai/math

Mathematicians' reactions to the release: https://the-decoder.com/how-much-beauty-have-we-lost-mathematicians-react-with-shock-and-disgust-as-openai-bulldozes-their-field/

OpenAI's Navier-Stokes result: https://openai.com/index/navier-stokes-solution/

Millennium Prize statement for Navier-Stokes: https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf

Navier-Stokes treats fluids as a continuum, an approximation that breaks down at molecular scales: https://en.wikipedia.org/wiki/Navier%E2%80%93Stokes_equations

AlphaFold Nobel: https://sciencenews.org/article/nobel-prize-chemistry-2024-proteins

Lean: https://lean-lang.org

The Navier-Stokes cost: https://www.techcentral.ie/?p=157187

2025 International Math Olympiad: https://www.techrepublic.com/article/news-google-deepmind-math-olympiad/

OpenAI began the Navier-Stokes push to beat Anthropic: https://paddo.dev/blog/the-rumour-was-the-prompt

OpenAI rushed out ChatGPT to beat Anthropic: https://www.thestar.com.my/tech/tech-news/2026/06/11/anthropic-v-openai-behind-the-bitter-battle-for-the-future-of-ai

OpenAI was founded partly because of Google worries: https://openai.com/index/openai-elon-musk/

The quasi-Riemann hypothesis: https://quantamagazine.org/ai-proved-the-quasi-riemann-hypothesis-what-happens-now-20261019

OpenAI's $5M contribution to a Simons Foundation: https://openai.com/index/sharing-ai-progress-in-mathematics/

The Advisory Group on Mathematics and AI: https://agmai.org

Proofs and Prompts, "100+ reactions to 100+ solutions": https://proofsandprompts.com/2026/10/08/100-reactions-to-100-solutions/
The Navier-Stokes result built on Diego Córdoba and Luis Martínez-Zoroa: https://terrytao.wordpress.com/2026/09/07/finite-time-blowup-with-smooth-forcing-term-for-the-incompressible-porous-medium-boussinesq-and-incompressible-euler-equations/

Tristan Buckmaster's credit dispute statement on Navier-Stokes: https://cims.nyu.edu/~tristanb/statement.pdf

Hilbert and Turing: https://plato.stanford.edu/ENTRIES/church-turing/decision-problem.html

Akshay Venkatesh’s peer-reviewed journal of math talks: https://mattbaker.blog/2026/08/24/mathematical-discourse-a-new-peer-reviewed-journal-for-math-talks/

Terence Tao, "What is good mathematics?" (2007): https://arxiv.org/abs/math/0702396
No transcript to display.