Researchers Blast Flood of Low-Quality AI 'Proof' Papers on arXiv

AI researchers complain that timelines are flooded daily with "I proved this conjecture with AI" posts linking to arXiv papers that fail to define even basic concepts, with some Lean proofs compiling while the theorems themselves are wrong. They say "slop" is too mild a word for such low-quality content.

2026-09-18 ~ 2026-09-18 · 2 related posts

• ArXiv 'proof' posts with undefined basics flood timelines, researcher warns of math slop — _onionesque · 2026-09-18
• AI 'proofs' flooding arXiv compile in Lean but prove the wrong theorem — _onionesque · 2026-09-18