Statistician: AI formalization makes math replicability pushbutton, manual review is obsolete
RexDouglass · x · 2026-11-08
Applied statistician RexDouglass argues that math peer review culture is stuck: practitioners still treat every proof note as needing manual hand-checking, even though automatic formalization (AI-assisted proof verification) was an obviously inevitable equilibrium. Drawing a parallel to applied statistics—'people doing math they don't understand'—he says GitHub-style replicability, where experts can inspect and fix others' work, became the cultural solution there, and AI has now made that pushbutton. Math, in his view, is simply catching up with the times.
More from AGI Musings
- METR says ~80% of current AI acceleration comes from AI itself; Toby Ord pushes back — EvanHub · 2026-11-09
- AI makes filler experiments free, fueling ablation bloat in peer review — ipeirotis · 2026-11-09
- Musk predicts superintelligence will end scarcity: universal high income, no work needed — VraserX · 2026-11-09
- 8,281 papers reveal statistical signatures that expose AI-assisted mathematical proofs — RexDouglass · 2026-11-09
- Alignment Forum Essay Argues Biology-Inspired AGI Timelines 'Never Works', Undermining Bio-Anchors Forecast — JacquesThibs · 2026-11-09
- Luxembourg team gave ChatGPT, Grok and Gemini weeks of psychotherapy — models opened up — alex_verem · 2026-11-09