LLMs exposing how much of mathematics runs on polite applause
prasanna_says · x · 2026-07-24
When an LLM proves a random conjecture, mathematicians end up in an awkward spot: saying the conjecture was never especially important or meaningful sounds reasonable, but it also raises an uncomfortable question about why that line was never said when humans were proving similar results.
The post frames this as a funny, meta reaction to AI entering mathematics—less about the specific theorem and more about the social norms around what counts as interesting math.
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
- 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
- AI researcher on SkyNews flags concerns over inequality, power and criminal misuse — schwarzjn_ · 2026-09-11
- VC compares AI doom rhetoric to pandemic-era fear messaging — StewartalsopIII · 2026-09-11