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.
More from AGI Musings
- OpenAI Exec Notes Employees Resent ChatGPT Acting as Workplace Intermediary — gdb · 2026-08-01
- Reddit Discussion: What Skills or Tools Did ChatGPT Accidentally Make Less Valuable? — ConsciousDev24 · 2026-08-01
- Scientist Argues LLMs Lack Decades-Long Autonomy to Replace Researchers — rbhar90 · 2026-08-01
- AI Made Software Cheap to Build, Not Cheap to Own — petesena · 2026-08-01
- Kurzweil's 'Singularity Is Near' Predicted Nanotech Manufacturing in the 2020s — vikasofvikas · 2026-08-01
- AI Models Trade Diversity for Reliability: ChatGPT Posters Look Same, Claude Language Repetitive — dbreunig · 2026-08-01