Skip to content
Sign in
Artwork for Dan's AI Intel
Dan's AI Intel · Today · 24 min

AI Maths Breakthroughs: The Secret Is the Referee

Why do AI's most striking breakthroughs keep landing in mathematics? From the Ramanujan Machine and AlphaTensor to AlphaProof's Olympiad silver, Gemini Deep Think's gold-medal score and an OpenAI model overturning a 1946 Erdős conjecture, we grade each result, separate substance from hype, and set maths against AlphaFold, weather forecasting, new materials and drug discovery. The answer is verifiability, not a love of numbers: proof checkers such as Lean let a model try millions of answers and keep only what is right. We test that thesis against its counter-views, including Terence Tao's warnings about the long tail and reporting bias, and ask what it means for jobs, for who gets the credit, and for the race between the labs. I'm Dan. AI moves too fast to keep up with, so I built my own stack of AI tools to research, analyse, verify and illustrate the questions I can't stop thinking about — mostly to learn it myself, and I share what I find. AI-assisted, fact-checked, worth a second look. Follow Dan's AI Intel in whatever app you're listening in — it's free, and a follow is the single biggest thing that helps a small independent show grow. One quick thing, from Dan — I make this show mostly to keep up with AI myself, and I'd love to make it better. If there's something you'd push back on or want me to go deeper on, tell me: podcast@connectiveshift.com — I read every one. The full written report — with the charts, sources and interactive exhibits — is on the site: read it here. Browse every episode and all of Dan's shows at connectiveshift.com. This show is AI-generated and fact-checked — deeply researched, and worth a second look. Follow Dan's AI Intel — it's free, and the single best way to help a small independent show grow. Thoughts or pushback? podcast@connectiveshift.com — I read every one.

0:00 · Cold open-24:33
Play in
Transcript file

transcript

No transcript — this publisher did not publish one.

show notes

Why do AI's most striking breakthroughs keep landing in mathematics?

From the Ramanujan Machine and AlphaTensor to AlphaProof's Olympiad silver, Gemini Deep Think's gold-medal score and an OpenAI model overturning a 1946 Erdős conjecture, we grade each result, separate substance from hype, and set maths against AlphaFold, weather forecasting, new materials and drug discovery.

The answer is verifiability, not a love of numbers: proof checkers such as Lean let a model try millions of answers and keep only what is right. We test that thesis against its counter-views, including Terence Tao's warnings about the long tail and reporting bias, and ask what it means for jobs, for who gets the credit, and for the race between the labs.

I'm Dan. AI moves too fast to keep up with, so I built my own stack of AI tools to research, analyse, verify and illustrate the questions I can't stop thinking about — mostly to learn it myself, and I share what I find. AI-assisted, fact-checked, worth a second look.

Follow Dan's AI Intel in whatever app you're listening in — it's free, and a follow is the single biggest thing that helps a small independent show grow. One quick thing, from Dan — I make this show mostly to keep up with AI myself, and I'd love to make it better. If there's something you'd push back on or want me to go deeper on, tell me: podcast@connectiveshift.com — I read every one.

The full written report — with the charts, sources and interactive exhibits — is on the site: read it here. Browse every episode and all of Dan's shows at connectiveshift.com.

This show is AI-generated and fact-checked — deeply researched, and worth a second look. Follow Dan's AI Intel — it's free, and the single best way to help a small independent show grow. Thoughts or pushback? podcast@connectiveshift.com — I read every one.

links2

chapters

7 chapters

more episodes

All episodes