Hard Fork AI AI: Hard Fork in Mathematics
9 snips
Jan 15, 2026 Discover how AI is revolutionizing mathematics by inventing new solutions and enhancing efficiency. Learn about a groundbreaking AI finding that improved matrix multiplication by 26%. Hear how ChatGPT tackled a previously unsolved problem. Explore the ways AI constructs novel mathematical proofs and speeds up research workflows. Renowned mathematician Terence Tao shares insights on AI's role in spotlighting overlooked issues. The conversation even touches on AI's broader implications across various fields, from engineering to medicine.
AI Snips
Chapters
Transcript
Episode notes
AI Invents A Better Matrix Method
- Jaeden Schafer recounts Mo Goadet's keynote about AI discovering a new matrix multiplication method that boosted performance by 26%.
- The change removed hundreds of millions in cost and energy for Google by inventing a new mathematical approach.
Models Solving Hard Math Quickly
- Jaeden Schafer highlights GPT-5 Pro solving Yudh Samarutsu's 554th problem in 15 minutes without internet searches.
- This shows models are gaining strong elementary abstract algebra reasoning abilities.
ChatGPT Solved An Unsolved Problem
- Jaeden Schafer tells Neil Somani's test where ChatGPT solved a long unsolved math problem in 15 minutes and verification tools confirmed it.
- Somani examined the chain of reasoning and found the model's solution was actually correct.