It goes beyond the title with direct discussion of speaker, like, yeah, including: That's the big question.
Key takeaways
01I think they're cool benchmarks
02And I think someone summed it up well by saying that these math models have discovered the hardest problem of advanced mathematics, which is authorship contribution
03Question six, no AI model could solve
Best for
listeners looking for a practical AI episode debrief