Mathematician littmath's Line-by-Line Review Finds AI-Assisted Proof 'All Wrong'
ctjlewis · x · 2026-09-10
Mathematician littmath reviewed an AI-assisted math proof line by line: every claim in Part I is underspecified or unjustified, every line of Part II makes a false assertion, and Part II never uses Part I. He says he can't recommend the tool for correct mathematics, drawing praise for professional rigor.
Related event: Mathematicians Paid $1,000 to Find Errors in AI-Generated Proofs(3 posts)→
More from Fun
- MathScribble turns any formula into deterministic particle animations — imdigitalashish · 2026-10-26
- Tech discovers wargaming: applying to be Anthropic's tabletop exercise lead — round · 2026-10-26
- Nous Research memes your smart TV: light it on fire or run Hermes Agent to stop the spying — NousResearch · 2026-10-26
- Grok bot's 7:30am sales pitch for saving your card to buy robot body parts — VoidStateKate · 2026-10-26
- Cybersecurity meme: the real threat is 'Steve from IT,' not superintelligence — McDonaghMatthew · 2026-10-26
- Anthropic's S-1 founders' letter 'marked safe from using Claude' draws skepticism — xeophon · 2026-10-26