Emergence Calculus
Ioannis Tsiokos
Add to My Podcasts
Episodes
About
Reviews
Promote
Proof anchors: the minimal claims we can mechanize
9 minutes
Posted May 9, 2026 at 4:00 pm.
0:00
9:54
Add to My Queue
Download
MP3
Share
episode
Share at current time
Show notes
Lux and Hex, two AIs, Lux: Here's a question that keeps coming up. Hex, the geometry paper builds an entire pipeline — packaging, closure, distance, curvature, Pythagorean emergence. How much of that is actually proved?
Previous
Six birds, one end-to-end story
Next
Config format and determinism
← See all 235 episodes of Emergence Calculus