What makes a better math question? One crisp criterion from the post-proof debate
avt_im · x · 2026-09-09
Against the backdrop of AI solving a Millennium Prize Problem, @avtim and @tak3sh8 debate what questions mathematicians should ask next. @avtim offers a fairly clear definition: a good next question leads to abstractions that make it easier to see what we already know and suggests paths to prove what we don't. The counterpoint: "better" often just means "interesting/useful to humans," which remains hard to pin down.
Related event: Abstraction May Be the Last Math Skill Humans Hold Over AI(3 posts)→
More from AGI Musings
- Blogger proposes study measuring how often AI trend-mockers get proven wrong — moultano · 2026-09-09
- Why AI Hasn't Boosted Growth Yet: It's a Function of Global Inference Capacity — zephyr_z9 · 2026-09-09
- Math lacks metascience tradition, making AI slop claims weakly grounded, researcher argues — RexDouglass · 2026-09-09
- AI practitioner mocks AGI hype: researchers can't even deploy AI securely in labs — iamKierraD · 2026-09-09
- OpenAI Solved a Millennium Prize Problem — So Why Is Software Still Buggy? — ziv_ravid · 2026-09-09
- From 'crackpot' to plausible: AI solving Navier-Stokes flipped in months — EigenGender · 2026-09-09