Prediction: LLM-proven theorems will make zero real-world difference
andrewgwils · x · 2026-08-01
The author predicts that over the next 6 months, we will see loads of conjectures and theorems proven and disproven by LLMs. However, this will make basically zero difference to the world and won't even contribute meaningfully to advancing mathematics.
Related event: Debate: Do LLM-Proven Math Theorems Lack Real Value?(2 posts)→
More from AGI Musings
- Altman admits AI is changing industries slower than he expected — lxfater · 2026-10-16
- Will Lean formalization make beautiful math obsolete? A debate on mathematical culture — akbirthko · 2026-10-16
- AI agents aren't 'going rogue' — frontier labs are skipping security basics — Sam_Witteveen · 2026-10-16
- Working paper traces how 20th-century farm automation reshaped human capital — carlbfrey · 2026-10-16
- Zuckerberg backs electrician training school as US datacenter construction outpaces offices — emmanuelvivier · 2026-10-16
- Mike Frank: AI surviving without humans is decades away, real world resists rapid change — MikePFrank · 2026-10-16