From AlphaZero to open problems: search-and-verify AI defies expectations

Grady_Booch · x · 2026-11-02

ChombaBupe argues that since AlphaZero reached superhuman play at Go and chess with zero human data, similar AI breakthroughs should follow wherever a problem is well-defined and solutions can be verified quickly, enabling probabilistically guided search over the solution space. A replier says recent results touching millennium-problem territory shocked them, being far outside the expected distribution.

Original post →

More from AGI Musings

AGI Musings channel →