Autoformalization is painful, and peer review gatekeeping is a children's story
RexDouglass · x · 2026-10-09
- Rex Douglass argues auto-formalization of mathematical results is of limited value: proofs are riddled with ambiguity, shorthand, and skipped steps — "proofs aren't even proofs."
- He adds that more than half of social science still resists the reality that anyone worth their salt stopped believing a claim just because it passed some gatekeeping step — "stories for children and the tenured."
More from AGI Musings
- DeepMind essay: what 15M Gemini interactions reveal about AI-accelerated science — JMateosGarcia · 2026-10-09
- AI Swarmhood instead of Personhood: rethinking how we frame machine minds — theimposingshadow · 2026-10-09
- "Too young to remember Napster": Redditor says AI is at that same delirium point — Recoil42 · 2026-10-09
- World models, not LLMs, are the bridge to physical intelligence — ingliguori · 2026-10-09
- Dietterich: treat OpenAI's math models like a deceased mathematician's notebook — tdietterich · 2026-10-09
- The Best Enterprise AI Opportunities Hide in Undigitized Workflows — alex_verem · 2026-10-09