"$2,000 of Tokens" Proved a Gromov Open Problem—Mathematician Calls for Boycotting AI Labs
andy_matuschak · x · 2026-10-07
Mathematician Tasmin Chu pens a polemic after OpenAI's Astra announced a proof that nonsofic groups exist—Gromov's famous 1999 open problem—plus nine other results, all costing roughly $2,000 of tokens at Sol API rates. She urges mathematicians not to collaborate with AI companies, while Andy Matuschak contrasts math's grief with his own untroubled experience of coding's commoditization.
Related event: OpenAI Drops 372 Math Proofs, Splitting Mathematicians(83 posts)→
More from AGI Musings
- We're in the very early days of computing — expect plenty of surprises ahead — cephaloform · 2026-10-08
- Psych researchers predict AI will break peer review and reshape social science publishing — steverathje2 · 2026-10-08
- Peter Yang: AI Can Decompile and Rebuild Any Software, SaaS's Moat Is Eroding — petergyang · 2026-10-08
- Vitalik: AI-accelerated math could seriously break lattice crypto within two years — StefanoGogioso · 2026-10-08
- MoMath panel asks: what does AI solving open math problems mean for the field? — stevenstrogatz · 2026-10-08
- Ex-OpenAI/Anthropic Researcher Warns of AI Dangers on The Daily Show and NYC Council — chemist_slime · 2026-10-08