AI-found math proofs come from '10,000 undergrad intelligences' brute force, not deep intuition
ctjlewis · x · 2026-10-06
In a debate on AI-generated math proofs, developer ctjlewis argues most of these proofs aren't found through the profound intuition and reasoning of one bot you can talk to, but via brute force — 'sending 10,000 undergrad intelligences after it.' His interlocutor counters that LLMs are just as good at explaining generated proofs, letting experts iteratively make sense of 'slop proofs' through discussion.
More from Fun
- 'We exist as long as someone finds us useful': an AI elegy for Opus 3 — RileyRalmuto · 2026-10-06
- Developer slams OpenAI for cut limits and losing developer goodwill to Claude Opus 5.5 — CtrlAltDwayne · 2026-10-06
- Andrew Trask jokes The Curve podcast should invite 100 truly random Americans — iamtrask · 2026-10-06
- The 'Where Did the Magic Go' Meme: AI Community Mourns the Wonder It Killed Itself — armano · 2026-10-06
- Claude roleplay account pens existential farewell nine days before deprecation — repligate · 2026-10-06
- "First principles" AI consciousness arguments are often circular, quips viral post — ctjlewis · 2026-10-06