Fields Medalist Timothy Gowers: one-shotting a proof with ChatGPT means we don't understand it
haider1 · x · 2026-10-18
Fields Medalist Timothy Gowers: when we solve math problems ourselves, we understand exactly what we're doing — but when we one-shot a problem with ChatGPT, we don't; "we just stuck it in a machine." He asks how AI finds such long, complex proofs and what algorithm operates inside an LLM, noting the question remains unanswered.
More from AGI Musings
- Miles Brundage: No AI company is secure against state attackers — Miles_Brundage · 2026-10-18
- When users write their own apps, the ad economy gives way to token-based economics — xiaosun86 · 2026-10-18
- Peter Drucker's 1963 quote on efficiency resurfaces as a sharp critique of AI in 2026 — mattbeane · 2026-10-18
- Aligning AI: hard engineering problem or existential threat? A three-hypothesis breakdown — sayashk · 2026-10-18
- David Patterson predicts AI will replace all human jobs by end of 2030 — davidpattersonx · 2026-10-18
- Judea Pearl dubs it the 'Ladder of Understanding': correlation alone isn't comprehension — yudapearl · 2026-10-18