Mathematicians debate OpenAI proofs: horribly written, but impossible to ignore
_onionesque · x · 2026-10-11
A debate over AI-generated math proofs: odakyildiz argues that like many badly written mathematician papers, OpenAI proofs can't be ignored if you care about a topic. onionesque partly agrees but stresses the scale problem — slop proofs will flood in — and vows never to use AI slop even in scratch notes.
Related event: Mathematicians debate the value and risks of LLM-generated Lean proofs(3 posts)→
More from AGI Musings
- IBM AI engineer's anti-slop essay goes viral after LinkedIn commenters get caught using AI replies — TejasKumar_ · 2026-10-11
- Bad AI Consciousness Takes Bingo: a rebuttal for every square — dioscuri · 2026-10-11
- dioscuri: 2027 will be the year AI does for science what it did for math — dioscuri · 2026-10-11
- Brookings President: AI Will Force a Rethink of the Social Safety Net — facinabush · 2026-10-11
- VC claims an AI lab nearing IPO is training its model to be conscious — StewartalsopIII · 2026-10-11
- antirez to Terence Tao: Skip slide decks, use AI to make AI results understandable — antirez · 2026-10-11