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
- Walden Robotics CTO: general-purpose robot manipulation is having its 'GPT moment' — adnothing · 2026-10-30
- AI isn't eliminating developers, it's changing their roles, argues analyst — DavidLinthicum · 2026-10-30
- Goldman Sachs says AI will eliminate nearly 15 million jobs — saibharadwaj · 2026-10-30
- Stripe spends 1% of OpEx on tokens — bull case for digital labor — zephyr_z9 · 2026-10-30
- Amazon blocks shopping agents, but these 11 retailers still welcome them — thisiskp_ · 2026-10-30
- Lab insiders know alignment is unsolvable but can't say it until the Overton window shifts — danfaggella · 2026-10-30