A Lean-verified framework for consciousness based on choice, self-representation, and meta-reflection
This story is from 2026-09-10. It is preserved in the archive; the latest stories are on the live feed.
Can consciousness be formalized as meta-reflective choice? I built the first Lean skeleton I've been exploring a deliberately minimal computational hypothesis: Consciousness may be a substrate-independent process involving represented possibilities, deliberate choice among those possibilities, and…
Read the full story at r/agi ↗