Should mathematicians just vibe-trust AI proofs without understanding them?
eigenstate · x · 2026-10-22
eigenstate presses the question: should we simply give up on understanding what the AI is actually proving and trust a vague sense that things are on track — capturing the core tension for mathematicians as automated proving scales.
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