"Mathematicians did not ask for this work to be done": pushback on AI proofs
prof_g · x · 2026-10-08
Sharing a controversy: mathematicians push back on automated proof efforts, saying "Mathematicians did not ask for this work to be done," reflecting community resistance to AI entering mathematical research.
More from AGI Musings
- eigenrobot quips as entrenched rent seekers brace for the AI era's upheaval — eigenrobot · 2026-10-08
- From the printing press to LLMs: we're now mainlining synthetic linguistic entities — StewartalsopIII · 2026-10-08
- Toby Ord's interpolation-extrapolation-hyperpolation trichotomy: why AI fails off the hyperplane — tobyordoxford · 2026-10-08
- NY Fed survey: small businesses adopting AI expect higher employment and revenue — robseamans · 2026-10-08
- Lemire: AI clones of Photoshop are the boring part — the real future is entirely new UX — lemire · 2026-10-08
- LeCun amplifies criticism of AI giants' garden leaves and skipped education funding — ylecun · 2026-10-08