How AI Is Upending the World of Mathematics
Last month, OpenAI announced that it had produced an AI-generated proof for the Navier-Stokes problem, one of the most famous unsolved questions in mathematics. LLMs used to be bad at counting, but now they are solving math problems that have stumped humans for decades. Meanwhile, at universities, the problem of AI in…
We score an episode from what we can actually measure — its reach and engagement, what listeners say about it, and what it covers. We don't have those signals for this one yet, so it doesn't get a number.
Buzzmeter says it's buzzing across platforms — the Hive Vote says whether the people who actually listened liked it.
Rate this episode
Add your vote to the Hive — listeners rate every episode after they finish.
- No reviews yet — be the first.
Similar episodes from other shows
More like Odd Lots →
AI Just Solved One of the Hardest Problems in Mathematics
Move over, vibe-coding. Vibe-proving is here for math
OpenAI Researchers on the Future of Mathematical Reasoning
71%What OpenAI Actually Did to Navier-Stokes (EP 58)
One great episode in your inbox, daily — free.
One email a day, unsubscribe anytime. No spam, ever.