flâneur

The AI math breakthroughs keep coming... - YouTube

youtube.com · 9,831 words · saved by 1 readers

Leo Lectures explores the accelerating integration of AI models in mathematical research, examining how these tools assist with formalization and complex problem-solving. Through expert insights, this discussion evaluates the evolving collaboration between human mathematicians and technology, offering a glimpse into how these frontier models are shifting the landscape of modern academic research. Follow along using the transcript. Leo Lectures explores the accelerating integration of AI models in mathematical research, examining how these tools assist with formalization and complex problem-solving. Through expert insights, this discussion evaluates the evolving collaboration between human mathematicians and technology, offering a glimpse into how these frontier models are shifting the landscape of modern academic research. Follow along using the transcript.

The AI updates keep coming... Going over all you need to know from OpenAI's 10 big results using Astra, formalizing collatz disproof via finding bugs in Lean, and how mathematicians are starting to use these models. Continuation of https://youtu.be/cS1SJ0oBbTI but you don't need to see it for this. Full Elliot Interview at: https://youtube.com/live/mZCqb9lbJjg 0:00 Intro 0:55 Jacobian Conjecture 4:45 Disproof of Collatz in Lean 8:20 OpenAI Breakthroughs 13:05 Elliot Glazer Interview 18:03 Elliot on OpenAI results 22:42 LLMs construction goats? 24:45 Jacobian Conjecture again 29:28 Future…

saved by

related reading