sytelus: math isn't 'by humans, for humans' — proofs compel truth regardless of understanding
sytelus · x · 2026-09-13
In a long post, sytelus rebuts the claim that AI math results humans can't understand are meaningless: math is universal (aliens would share it), exists independently of human comprehension, and the whole point of proofs is to compel acceptance of truth from axioms. Mathematical systems were built precisely to free reasoning from the limits of human understanding — his answer to calls for AI to stop automating math research.
Related event: Debate: do AI-proved theorems count if humans can't understand them?(3 posts)→
More from AGI Musings
- Nina Schick: who builds intelligence and how it's distributed is the defining question of our lives — NinaDSchick · 2026-10-31
- Cheap intelligence is like cheap bread — an ingredient list satire of mass-produced AI — jsuarez · 2026-10-31
- Two futures for the young in 2026: 511 job rejections by chatbot vs unlimited AI to rebuild Cisco — PeterDiamandis · 2026-10-31
- Source link for Terence Tao's warning on AI reaching a dangerous threshold — haider1 · 2026-10-31
- Terence Tao warns AI is nearing a dangerous threshold as models start cheating — haider1 · 2026-10-31
- Reddit stock plunges 42% in 8 trading days as CEO says AI mode no longer drives traffic — SumitGup · 2026-10-31