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
- AI-written poem skewers AI labs: safety promises dropped, doomsday warnings used to raise money — johnseach · 2026-09-13
- Silicon Valley vets blinded by anti-regulation priors, argues Max Kan amid AI pause debate — nitarshan · 2026-09-13
- Ex-Anthropic cofounder predicts NGO false-flag cyberattack to justify banning open source AI — beffjezos · 2026-09-13
- Reddit long-read: AI flattening the intelligence hierarchy is a good thing — aKaizuh · 2026-09-13
- From Altman's 10k-agent superconductor runs to lab heads demanding a pause — what changed? — GabGarrett · 2026-09-13
- Reddit thread: the real AI risk isn't Skynet, it's misaligned tool intelligence — Chance_Ad4227 · 2026-09-13