What the AI breakthroughs mean for mathematics - YouTube
youtube.com · 10,766 words · saved by 1 readers
Follow along using the transcript. Follow along using the transcript.
OpenAI's internal model did significant original research in resolving the unit distance conjecture, what does this mean for mathematics? In this video-- that is almost entirely listenable as a podcast- I'll go over the past, present, and future of computation in mathematics from WW2 war efforts, to formalization, to the chatbots of today. Along the way, we'll learn about knot theory, combinatorics, Erdos, Grothendieck, the landscape of mathematics and what the purpose of it should be. 0:00 Intro 1:34 WW2 6:07 Four Coloring Maps 9:30 The Kepler Conjecture 15:44 Case bashing and Trust 21:03…
saved by
related reading
- The AI math breakthroughs keep coming...youtube.com
- Why the Legendary Erdős Problems Are Falling to AI | Quanta Magazinequantamagazine.org
- The fall of the theorem economydavidbessis.substack.com
- There's never been a better time to go into mathyoutube.com
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- Begin Proof — Noam Brownyoutube.com
- Existential Risk from AI: An Exposition for Mathematiciansalkjash.github.io
- An OpenAI model has disproved a central conjecture in discrete geometry | OpenAIopenai.com
- Mathematics in the Library of Babel - Daniel Littdaniellitt.com
- Declaration — Math and AImathandai.org
- A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
- Human mathematicians are being outcounterexampledxenaproject.wordpress.com