Even stating theorems correctly is part of understanding, the thread argues
jacobaustin132 · x · 2026-10-22
Clarifying his point, jacobaustin132 says he doesn't mean understanding proofs, but being sure we understand the statements — or can formulate statements ourselves that we're confident match what's in our minds — which he sees as a basic part of understanding.
Related event: Debate flares over AI formalization of math: trust vs understanding(5 posts)→
More from AGI Musings
- TikTok CEO Chew Shou Zi's most candid conversation on intelligence and being human — beffjezos · 2026-10-22
- Homeschooled kids cover 1-2 years of math per month with AI, says dad — kevinnbass · 2026-10-22
- LukeW: AI is an ideal denial-of-service attack against bureaucrats — LukeW · 2026-10-22
- Enterprise Agents Like Duet and Dots Are the Wrong Form Factor, Argues Phil Chen — philhchen · 2026-10-22
- Beff Jezos: labs will generate cyber threats and sell the insurance themselves — beffjezos · 2026-10-22
- NYT Daily: AI solved a Millennium Problem and 350+ results, mathematicians grieve their 'hero era' — lennysan · 2026-10-22