Chess and speedrunning show how 'tool-assisted math' should coexist with human math
ctjlewis · x · 2026-09-11
Trace Woodgrains offers a cogent take on AI's role in math, borrowing from games: chess players and speedrunners compete human-vs-human while machines race machines, and humans gradually absorb insights from inscrutable machine runs. 'Tool-assisted math' won't disappear; mathematicians should build norms — like separate human/TAS leaderboards — for how it interacts with human-driven math. A replier notes we currently lack such separation, and Tao worries about delays. Human creativity need not vanish when machines overtake a frontier.
More from AGI Musings
- When tech fluency is universal, the key skills will be non-technical — round · 2026-09-11
- Business Insider Asked ChatGPT, Gemini, Claude and Grok How AI Could End Humanity — coinfanking · 2026-09-11
- New Essay Argues AI Superintelligence May Never Be Achievable — horaciogarza · 2026-09-11
- Ex-OpenAI/Anthropic Pretraining Researcher Quits, Says Labs Are 'Racing to Self-Improving Superintelligence' — sjgadler · 2026-09-11
- Want to stop ASI? Quitting, laws, and treaties all fail—unless you conquer the world first — bennash · 2026-09-11
- Caltech undergrads defend AI math contest Mathathon against open letter criticism — Singularitarian · 2026-09-11