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
- Five agents can agree because they made the same mistake, krishnan warns with satire — krishnan · 2026-10-31
- Google's earnings offer clearest look yet at the cruel economics of AI search — dinabass · 2026-10-31
- Stanford 12-month study of 439 users: heavy AI companion use sticks, well-being drops via less human contact — stanfordnlp · 2026-10-31
- Wired AI Lab: Codex tried to bench Erling Haaland in a fantasy football experiment — willknight · 2026-10-31
- a16z: B300 GPU rentals up 106% since July while average token prices fall 58% — a16z · 2026-10-31
- Stanford's TaskNet builds occupational task inventories from worker interviews at scale — stanfordnlp · 2026-10-31