AI proofs: 500k lines of poorly organized text nobody would bother to verify, physicists argue
skdh · x · 2026-09-13
Physicist Sabine Hossenfelder (@skdh) exchanged barbs with data scientist @kareemcarr over the quality of AI-generated math proofs:
- She sarcastically implied he's used to higher-quality papers than she is.
- His argument: if a human proof were half a million lines of poorly organized text with zero intuition for why it should be correct, nobody would invest the time to verify it — so we'd never even know it was valid, let alone celebrate it.
The exchange crystallizes a core critique of machine-generated proofs: verified correctness without human-readable intuition.
Related event: OpenAI's 10,000-Agent Navier-Stokes Claim Sparks Math Community Credit War(18 posts)→
More from AGI Musings
- Nina Schick: who builds intelligence and how it's distributed is the defining question of our lives — NinaDSchick · 2026-10-31
- Cheap intelligence is like cheap bread — an ingredient list satire of mass-produced AI — jsuarez · 2026-10-31
- Two futures for the young in 2026: 511 job rejections by chatbot vs unlimited AI to rebuild Cisco — PeterDiamandis · 2026-10-31
- Source link for Terence Tao's warning on AI reaching a dangerous threshold — haider1 · 2026-10-31
- Terence Tao warns AI is nearing a dangerous threshold as models start cheating — haider1 · 2026-10-31
- Reddit stock plunges 42% in 8 trading days as CEO says AI mode no longer drives traffic — SumitGup · 2026-10-31