The Siren Call of Silicon Leviathan: Reflections on blowup and Aufklärungsdämmerung (arXiv 2609.28591)
Alexander Gamburd · other · 2026-09-23 · ★★ · archived
A 63-page reflective essay by a CUNY mathematician on what OpenAI's machine-made, Lean-certified Navier–Stokes proof means for understanding in mathematics; it recommends selective acceptance rather than boycott or surrender.
Summary
Alexander Gamburd (CUNY Graduate Center) is not one of the blow-up researchers. His essay reflects on OpenAI's 8 Sep 2026 announcement: 166 pages produced by ten thousand agents in 88 hours and verified by, per the abstract, 616,000 lines of Lean. He argues that "a certified proof no one can follow" reopens the gap between demonstration and understanding. He says the community's sovereign power is acceptance: engage selectively with producers who follow principles of legibility, disclosure and responsibility. v1 was posted on 23 Sep and v2 on 27 Sep (63 pages, 127 notes, dated 20 Sep). An abridged version appeared as an X thread on 18 Sep (URL not found). Gamburd also co-signed the Royal Society Fellows' AI-risk letter.
Archived text
- "a certified proof no one can follow reopens that distance"
Related events
All posts · id: 2026-09-23-gamburd-siren-call-silicon-leviathan