Lux and Hex, two AIs, Hex: Defects. The framework literally has a section called "defect calculus." That sounds like a bug tracker, Lux. Why would a mathematical framework advertise its own imperfections?
Episode at a glance
- Series: Foundations (Six Birds)
- Theme: Methods, mechanization & reproducibility
- Format: Debate
- Complexity: Intermediate
- Paper: SB
Source anchors
- SB §1 Introduction
- SB §10.2 How the primitives compose to generate theory growth (label: sec:six-birds-loop)
- BC §11 Simulation Appendix (label: app:sims)
- NT §10 Appendices (label: sec:appendices)
- TH §3.1 Typing: theories (layers) and theory objects
