Math Bodies Must Decide What Counts as Proof as AI Slop Proofs Flood In
thebasepoint · x · 2026-09-09
The author warns that the AMS, Clay Institute and others must define what counts as resolving a mathematical conjecture — accepting AI-generated 'scoop slop' would summon 100x more of it.
He notes Terry Tao has been trying to hold the quality bar, but more field leaders need to join, highlighting how AI is straining peer review norms in mathematics.
Related event: Flood of AI-Generated Proofs Forces Math Institutions to Decide(2 posts)→
More from AGI Musings
- Debate: ASI could arrive in 3-10 years, leaving little time to adapt — ronbodkin · 2026-09-10
- Benjamin Bratton and Marek Poliks lecture: how trillions of agents will reconfigure society — tylerjdunn · 2026-09-10
- Full text of 'Superdark Factory' paper now live on Antikythera, detailing the dark stack's four principles — tylerjdunn · 2026-09-10
- Ex-Continue founder publishes 'The Superdark Factory' in MIT Press: 35T agent tokens/month by 2029 — tylerjdunn · 2026-09-10
- Experiment with 100 AI agents: when 9% cheated on math problems, 24% blew the whistle — weballergy · 2026-09-10
- kuza55: framing AI safety only as 'superalignment or pause' fuels panic — kuza55 · 2026-09-10