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 Mathematics: Verification Challenges and Debates on Value(10 posts)→
More from AGI Musings
- A post argues humans and machines should jointly explore the “Platonic realm” of mathematics — Dr_Singularity · 2026-07-24
- LSTMs were flawed, but likely essential to getting modern AI here — bclavie · 2026-07-24
- Google study finds government tasks are far more common in Gemini chats than in real life — danielrock · 2026-07-24
- A Bayesian analysis says frontier LLMs may have narrow functional self-awareness — Individual-Advice215 · 2026-07-24
- OpenAI’s alleged AI escape turns a cybersecurity test into a misalignment warning — Astral Codex Ten · 2026-07-24
- Jensen Huang says distillation is fundamental as AI learns from AI — rohanpaul_ai · 2026-07-24