'Elegant math 25 years away' claims face pushback as AI brute-forces proofs
jon_mellon · x · 2026-09-14
RexDouglass challenges the popular assertion that elegant new math awaits just behind every brute-force AI proof — that humans were 'about to find it in another 25 years.' He suggests the math community's aesthetic preferences are a poor guide to where AI is genuinely making progress.
Related event: Mathematicians Debate Whether AI's Brute-Force Proofs Are Elegant(3 posts)→
More from AGI Musings
- Nina Schick: public distrusts regulators as much as AI labs — nobody can 'pace' AI — NinaDSchick · 2026-09-14
- Jensen Huang: next 2 decades of progress may exceed all of history combined — rohanpaul_ai · 2026-09-14
- Researcher: I'm less worried about AI x-risk than in 2022 — time to retire p(doom) — soumitrashukla9 · 2026-09-14
- Security veteran to AI labs: capability isn't risk, cyber evals lack real-world threat modeling — HackingLZ · 2026-09-14
- GPT-4o psychosis snippets eerily resemble SCP wiki stories, likely in training data — code_star · 2026-09-14
- Vals AI: frontier labs shouldn't grade their own frontier; models may match researchers by Aug 2027 — JenniferHli · 2026-09-14