Episode Details
Back to EpisodesProof anchors: the minimal claims we can mechanize
Episode 157
Published 2 weeks ago
Description
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?
Episode at a glance
- Series: Space & geometry
- Theme: Foundations & meta-theory
- Format: Story
- Complexity: Intermediate
- Paper: Plot