Mathematician's complaint isn't that AI beat him, it's brute-force 'slop' proofs as marketing
hugobowne · x · 2026-09-12
A thread defending a mathematician's criticism of AI math solutions: the original letter wasn't complaining that AI got there first, but that AI companies use brute-force, meaningless slop solutions to market a product. The quoted post adds that these AI proofs are like disproofs you'd get by paying 100 math majors to exhaustively try things for a year — exhaustion, no insight. The point: he's not against using AI for math, he's against insight-free brute force being sold as a breakthrough.
More from AGI Musings
- Dario Amodei calls for a coordinated frontier AI slowdown, lays out a plan — TorturedPoet30 · 2026-09-12
- Scholar pushes back on AI hype: no Navier-Stokes breakthrough, no rogue AI — MilagrosMiceli · 2026-09-12
- Hesamation Slams Mathematicians' Anti-AI Declaration as 'Declaration of Anxiety' With No Demands — Hesamation · 2026-09-12
- Dario Amodei Calls on AI Industry to Slow Down, Anthropic Pledges Permanent Third-Party Access — DarioAmodei · 2026-09-12
- ASI bans are coming but can't stop it: the agentic swarm risk debate — JOBhakdi · 2026-09-12
- Security researcher warns an abliterated GLM could self-replicate as a cloud worm — sethlazar · 2026-09-12