AI math 'scoop slop' forces AMS and Clay Institute to define what counts as a proof
thebasepoint · x · 2026-09-09
As AI-assisted 'scoop slop' proofs flood in, thebasepoint argues that Ravi, the AMS, and the Clay Institute must decide what officially counts as resolving a mathematical conjecture — and warns that accepting low-quality submissions would summon 100x more of them.
Related event: Flood of AI-Generated Proofs Forces Math Institutions to Decide(2 posts)→
More from Research
- New EMNLP paper uses controlled rearing to explain how learners reject ungrammatical "X laughed Y" — EliasEskin · 2026-09-10
- Greg Kamradt digs into gamedevbench: reference solutions edit 4.7 files, 114 lines on average — GregKamradt · 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
- Scientific Imaging and ML workshop set for San Juan, March 2027 — applications open until Oct 2026 — prof_kamilov · 2026-09-10
- Lesioning one neuron in a fruit fly brain model makes it misidentify emotions — emax · 2026-09-10