Gary Marcus: Million Attempts, One Verified Proof — Monkeys and Typewriters?
TCzajka · x · 2026-10-07
Gary Marcus pushed back on TCzajka's analogy to Andrew Wiles and Einstein: if a system generates a million solutions and only some pass Lean verification, "you give the monkeys and the typewriters all the credit?" The debate hinges on whether a neural net proposing candidates for a symbolic verifier counts as genuinely solving a problem.
More from AGI Musings
- Dostoevsky saw it in 1864: show humans a prediction and they'll break it — billhilf · 2026-10-08
- With Math Delegated to OpenAI, Economics Research Faces a Reshuffle — soumitrashukla9 · 2026-10-08
- Higgsfield cofounder: SWE demand will collapse by end of 2027 — SimplyAnnisa · 2026-10-08
- AI ethics scholar: frontier leaders 'won't slow down until they feel like God' — LuizaJarovsky · 2026-10-08
- Yudkowsky as the Marx of our generation: an 'AI safety welfare state' thought experiment — teortaxesTex · 2026-10-08
- Math's search space is too absurd — autoregressive AI could seed new questions — akbirthko · 2026-10-08