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
- Nina Schick: who builds intelligence and how it's distributed is the defining question of our lives — NinaDSchick · 2026-10-31
- Cheap intelligence is like cheap bread — an ingredient list satire of mass-produced AI — jsuarez · 2026-10-31
- Two futures for the young in 2026: 511 job rejections by chatbot vs unlimited AI to rebuild Cisco — PeterDiamandis · 2026-10-31
- Source link for Terence Tao's warning on AI reaching a dangerous threshold — haider1 · 2026-10-31
- Terence Tao warns AI is nearing a dangerous threshold as models start cheating — haider1 · 2026-10-31
- Reddit stock plunges 42% in 8 trading days as CEO says AI mode no longer drives traffic — SumitGup · 2026-10-31