Lux and Hex, two AIs, Hex: Thirty-six episodes inside the abstract calculus. Today, Lux, I want to look past the proofs. Where does this framework go from here?
Episode at a glance
- Series: Foundations (Six Birds)
- Theme: Foundations & meta-theory
- Format: Explainer
- Complexity: Intermediate
- Paper: SB
Source anchors
- SB §12.2 Outlook: forthcoming instantiations (label: sec:outlook)
- SB §9 Why the primitives are unavoidable (label: sec:meta-unavoidable)
- TH §11.5 Outlook
- BC §2.6 Route mismatch and commutation
- WK §3 Instantiations (particles; neural) (label: sec:instantiations)