Mathematicians Clash: Does an AI-Proved Major Theorem Still Count as Progress?
IgorCarron · x · 2026-10-18
A spat over AI-proved theorems: @RedhaMoulla accuses the academic elite of "persistent denial" — proving a major theorem was recently worth Fields-medal-level acclaim, yet suddenly it's dismissed as a non-event. He mocks the romanticism of science as an exclusively human adventure, joking that string theorists should hand-calculate their endless Lagrangians for the poetry of it. Igor Carron adds that Barreau is not the elite.
Related event: Mathematicians Split Over Whether AI-Proven Theorems Count as Progress(2 posts)→
More from AGI Musings
- LeCun rebuts Jack Clark's IMF singularity talk: not every point on an exponential is a singularity — ylecun · 2026-10-18
- Ex-Meta exec Michael Vernal on negotiation: it's not a competition — saranormous · 2026-10-18
- 11 of the top 30 most-cited AI researchers were born in the EU — brain drain chart — Impossible-Humor-182 · 2026-10-18
- Blindsight and shifting neural representations: an AI researcher's take on a consciousness experiment — RylanSchaeffer · 2026-10-18
- Nando de Freitas: closed frontier LLMs are dangerous — self-training on own CoTs causes delusions — NandoDF · 2026-10-18
- Miles Brundage: superhuman math AI debate obsesses over mathematicians, ignores the world — Miles_Brundage · 2026-10-18