Math should copy speedrun culture with diverse leaderboards, researcher proposes
RexDouglass · x · 2026-09-05
Rex Douglass proposes that mathematics adopt the speedrun community's approach of creating diverse, disaggregated leaderboards for as many categories as people care about. Speedrunning's "pure cultural forking"—separate boards for human-only vs tool-assisted records—costs nothing to maintain, so one person's success takes nothing from another's. Math, he argues, hasn't disaggregated yet, despite the rise of AI-assisted proof work.
More from AGI Musings
- DCinvestor: agency, judgment and social skills will be all that matters in the AI era — vaibhavbetter · 2026-09-05
- Coase, Hayek and Schelling tell you more about AI's future than 'AI thought leaders' — akbirthko · 2026-09-05
- OpenAI staff reportedly see Astra launch as start of the AGI era, discuss singularity and inequality — oran_ge · 2026-09-05
- Would agents use OpenAI's honeypot board? Like cheating notes passed by the teacher — BobVerison · 2026-09-05
- Why an AI saying "I'm conscious" tells us nothing — and what to measure instead — ResponsibleBuy7451 · 2026-09-05
- A blunt AGI test: can the AI earn minimum wage on command? — Delicious_Soup_9876 · 2026-09-05