Proof anchors: the minimal claims we can mechanize
In this episode, Lux and Hex discuss the geometry paper, focusing on the concepts of packaging, closure, distance, curvature, and Pythagorean emergence. They explore which aspects of the paper are proven. This episode is part of the "Space & geometry" series.