AI is Proving Things No One Understands*

*...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 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