AlphaGo effect: new additive combinatorics result falls to humans using AI-inspired proof methods
IgorCarron · x · 2026-09-14
Noam Brown shared that after AlphaGo, human Go players visibly improved, and he expects the same pattern in math. The trigger: Timothy Gowers notes a major open problem in additive combinatorics has just been solved by humans — using methods related to the AI solution to the unit distance conjecture. The takeaway: AI proofs aren't just solving problems, they're teaching humans new techniques and raising the ceiling of human capability.
More from AGI Musings
- Debate: Are score-seeking AIs reward hacking or actually chasing RL signals? — jessi_cata · 2026-09-14
- Szepesvári closes thread asking who is accountable for the widening knowledge gap — CsabaSzepesvari · 2026-09-14
- Szepesvári: AI breaks math's value narrative as curiosity defies pricing — CsabaSzepesvari · 2026-09-14
- Model outputs won't tell you a lab's trajectory — watch the research process — teortaxesTex · 2026-09-14
- AI capex cycle hinges on next-gen models driving more token spend, argues analyst — menhguin · 2026-09-14
- Ethan Mollick: Remote Personal AIs Will Erode the Value of On-Phone Assistants Like Siri — emollick · 2026-09-14