AI-proven math results can pull non-mathematicians into the problem, users argue
dyamins · x · 2026-07-23
A reply argues that the surprising part of an AI-proven math result is not just the theorem itself, but that it pulls in people who do not normally work on math.
- The appeal goes beyond mathematics: smart people can spend a long time on a hard problem and then suddenly see a new opportunity.
- The writer says the “AI-ness” matters because AI changes the threshold for what counts as boring but worth doing.
Related event: AI's Impact on Math: Verification, Value, and Education(10 posts)→
More from AGI Musings
- 'AGI is here' vs reality: AI labs still ship some of the jankiest desktop apps ever — MilesCranmer · 2026-09-11
- Harry Collins: LLMs can't do frontier science because they can't invent new language — whoamisri · 2026-09-11
- The Waymo effect: how AI is quietly making research less collaborative — JohnHammersley · 2026-09-11
- Misquoted: Anthropic Staff Warned of Double-Digit Extinction Risk by 2030, Not Dismissed It — davidmanheim · 2026-09-11
- Economist Ben Moll: You Can Model Anthropic's 15% AI GDP Growth, But It Won't Happen — sebkrier · 2026-09-11
- Cohere Labs launches interactive tool mapping which tasks of 178 occupations AI can automate — Cohere_Labs · 2026-09-11