Mathematicians debate why oneshotting problems with frontier AI adds little value
littmath · x · 2026-08-24
Mathematician littmath joined a debate on AI-assisted math research. He argues very few mathematicians try to oneshot problems with models because others are already doing it — the marginal value is low, and the only reason to race is being first, which mainly matters as advertising for AI companies. Even if an academic does it, the primary value is PR for the AI company, not prestige for the institution.
Balazs Pozsgay countered that some universities and institutes are quite rich and could fund coordinated large-scale proof explorations, asking whether the blocker is money or prestige. Littmath also noted that post hoc, these solutions seem within reach of just-beyond-frontier models.
More from AGI Musings
- AI-driven job losses could turn $10T consumer debt into a $1T banking hole — churchkey · 2026-10-16
- Into the Unknown: an AI agent benchmark of 15 open research problems from US national lab scientists — Jeande_d · 2026-10-16
- Soon your AI will meet their AI — and humans without agents can't compete — danfaggella · 2026-10-16
- Analyst: in a year, models 2-3x better across the board at 10x lower cost, token use up 10-20x — DeryaTR_ · 2026-10-16
- AI will make many discoveries for us, but adversarial domains like soccer will thrive — natanielruizg · 2026-10-16
- MIT's Buehler on AI as a new language of science: superintelligent partners and executable papers — CatAstro_Piyush · 2026-10-16