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
- Grok anti-spam trap instantly catches an AI reply bot that follows every clue perfectly — vista8 · 2026-10-27
- Meme: ML researchers refuse the real world — 'iid data only for me, thanks' — miniapeur · 2026-10-27
- Meme: Modern PCs cry over 0.1 dB while chad users shrugged at jet-engine boot noise — miniapeur · 2026-10-27
- Gary Marcus mocks being blocked mid-debate: 'Very courageous!' — GaryMarcus · 2026-10-27
- Blogger plans to use Grok to auto-block AI comment bots on X — vista8 · 2026-10-27
- Anthropic files S-1 on Monday morning, VCs complain they can't do instant teardowns — mattturck · 2026-10-27