Mathematician Tony Feng: 'Correct' in modern math means experts convincing experts
littmath · x · 2026-09-18
Mathematician Tony Feng responds to a disputed submission and lays out a deeper point: modern mathematical arguments compress deductions so heavily that de facto 'correctness' has become 'one expert can convince any other expert.'
The observation has direct implications for AI-generated proofs: when machine outputs exceed what human experts can verify against each other, the traditional correctness standard may break down.
Feng still offered to review the author's Sep 15 version, noting he has learned interesting things from other submissions.
More from AGI Musings
- Debate: superintelligence could exploit human vision even if predators never did — basedjensen · 2026-09-18
- banteg amplifies critique of AI safety culture: longtermist moral math as 'mass delusion' — banteg · 2026-09-18
- New paper analyzes how AI disrupts universities and offers 10 survival proposals — LuizaJarovsky · 2026-09-18
- New paper "The University after AI" proposes ten ways to restructure universities — LuizaJarovsky · 2026-09-18
- banteg: longtermist moral math 'doesn't survive an ordinary discount rate' — banteg · 2026-09-18
- Ben Recht: what compressed sensing teaches us about AI's 'conquest of mathematics' — beenwrekt · 2026-09-18