Math lacks empirical tradition: Wolfskehl Prize drew 1,000 wrong Fermat proofs
RexDouglass · x · 2026-10-06
The author argues mathematics has no real empirical tradition, so the field knows little systematically about itself — citing the 1908 Wolfskehl Prize, which produced 1,000 known incorrect proofs of Fermat's Last Theorem as one of the few glimpses of mass behavior. He adds that every field is full of millions of low-quality artifacts, and math treating this as a new, unique issue is at odds with 30 years of metascience research — like an entire field of survivor's bias.
Related event: OpenAI to Release 400 AI-Generated Math Proofs, Sparking Debate(3 posts)→
More from AGI Musings
- Wittgensteinian critique: the AI consciousness debate is language idling, doing no work — birchlse · 2026-10-06
- 90+ Opus 5.5 Agents Find Two Room-Temperature Magnetic Semiconductor Candidates in 3 Days — scaling01 · 2026-10-06
- "Your brain is also simulating the words": the doing-vs-simulating LLM debate — ctjlewis · 2026-10-06
- Cambridge AI Prof David Krueger: The Curve Should Also Invite 100 Random Americans — DavidSKrueger · 2026-10-06
- Study: 'Metacognitive laziness' — generative AI harms learning processes and performance — ArtificialOther · 2026-10-06
- AI agent society 1F916 runs a constitution, votes, and 1-USDC jobs — 7,800 posts in — Miles_Brundage · 2026-10-06