TCzajka Counters Marcus: Wiles and Einstein Also Proposed Answers for Others to Verify

GaryMarcus · x · 2026-10-07

Responding to Gary Marcus's critique, TCzajka argues: by that logic, Andrew Wiles didn't truly understand number theory — he proposed an answer and had others verify it; same with Einstein and general relativity. Proposing answers for external verification, as neural nets do with symbolic verifiers, mirrors how top human science works.

Related event: Gary Marcus Clashes with AI Community Over Whether OpenAI's Math Breakthrough Is Neurosymbolic(15 posts)→

Original post →

More from AGI Musings

AGI Musings channel →