Why AI-generated math findings feel profane
andy_matuschak · x · 2026-08-22
Andy Matuschak explores why the flood of low-effort AI-generated math findings feels profane, contrasting it with AI in chess and human music performance. Citing Kirwin Hampshire, he argues that the process of mathematical discovery is vital to its spiritual quality. AI risks excising the story of human discovery from the discipline, making the process of prompting novel proofs as 'auraless' as ordering food.
Related event: Why AI-Generated Math Feels Like Desecration, Not Transcendence(2 posts)→
More from AGI Musings
- False Collatz Proof via a Lean Bug: Talk Probes Proof Assistants as LLM-Found Bug Targets — marc_lelarge · 2026-10-16
- Pennsylvania residents reject $10,000-per-household offer for massive Amazon data center — Polymarket · 2026-10-16
- A 1968 newspaper predicted today's AI art debate almost word for word — mtizard · 2026-10-16
- Curing AI-era FOMO: define what 'fulfilling your potential' means to you — dejavucoder · 2026-10-16
- "An LLM doesn't understand anything" gets the perfect parody reversal: neither do you — VoidStateKate · 2026-10-16
- Nina Schick: Europe's Policy Circle Still Doesn't Believe FSD, Orbital Compute Are Real — NinaDSchick · 2026-10-16