AI-assisted math proofs have low marginal value, primarily serving as PR
littmath · x · 2026-08-24
Arguing against mathematicians using AI to oneshot problems, littmath notes that tokens are nearly free and the activity offers low marginal value due to competition. The primary beneficiary is AI company PR, not academic prestige, unless the researcher adds significant unique insight or skill.
Related event: Practitioners argue tokens are nearly free and AI math proofs are marketing(2 posts)→
More from AGI Musings
- Harness vs. model: researcher argues algorithmic search is not AI capability — gerardsans · 2026-10-15
- Why data companies are printing money: labs pay millions for env-shaped nails — sarahookr · 2026-10-15
- Chollet backs Gakku: conversational AI as the biggest education leap of our generation — fchollet · 2026-10-15
- AI-designed molecular scissors cut Alzheimer's proteins — but is it really AI? — gerardsans · 2026-10-15
- Subbarao Kambhampati to dissect the 'mythos of LLM thinking tokens' at UMN — rao2z · 2026-10-15
- Pure-play AI firms' combined revenue — $500B or $1T — will decide if AGI takes off this decade — Jsevillamol · 2026-10-15