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 Proofs for RL Training Data(3 posts)→
More from Fun
- At ECCV, every speaker got asked "is 3D dead?" — ftm_guney · 2026-09-10
- Math beef is mainstream news now, and mathematicians are 'blowing it' — ctjlewis · 2026-09-10
- Math Beef Goes Mainstream: Everyone's Suddenly Talking Hodge Conjecture — ctjlewis · 2026-09-10
- 1985 Steve Jobs Interview Resurfaces as an Eerie Prediction of ChatGPT — imdigitalashish · 2026-09-10
- MapQuest refuses to rename Lake Ontario, jumps from #128 to #1 on US App Store with 1.5M installs — AlishaOutridge · 2026-09-10
- iPhone Duo's 1.40:1 Aspect Ratio Makes Native IMAX Playback a Reality — BLUECOW009 · 2026-09-10