LLMs Are Now Solving Unsolved Math Problems, and the Bitter Lesson Still Wins

haider1 · x · 2026-07-24

LLMs went from struggling with math to reportedly solving unsolved problems.

The post argues that the explanation is not a mysterious theory, but a straightforward one: more training and more thinking time. In that framing, the "Bitter Lesson" is winning again — added compute keeps pushing capability forward.

Original post →

More from AGI Musings

AGI Musings channel →