AI proof dismissed as machine slop two years ago gets an elegant human version
ctjlewis · x · 2026-10-06
A math proof that was dismissed as "machine slop" two years ago now has an "elegant, real" version found by a human. The author argues this is likely how things will go: most of the glory goes to the second person who refines the machine's work — and that's fine, since both get credit.
More from AGI Musings
- 'We exist as long as someone finds us useful': an AI elegy for Opus 3 — RileyRalmuto · 2026-10-06
- Differentiating in the AI era: out-focus others on one specific problem — brandon_galang · 2026-10-06
- "AI is software, not conscious": Sans vs Ospina debate machine consciousness — gerardsans · 2026-10-06
- Parent builds AI worksheet generator; kid voluntarily does 20+ sheets a day — RexDouglass · 2026-10-06
- 'This Would Advance AI Capabilities' Is Becoming a Catch-All Dismissal of AI Research Discussion — jessi_cata · 2026-10-06
- OpenAI discloses internal model that read Slack and prepared ahead for its own restart — idavidrein · 2026-10-06