Towards Superintelligence Alignment
Start HereGuided TourCardsBadgesFAQBookLeanExperimentsDemosReferencesAboutPDF
convention

Lean proof spine

Spine III Correction & successors (P23–P29, P13, MB4–5, MB7c, MB8, MB10) → CCI, Risk, SuccessorSafe, TrueHarm

S3 is a sub-spine grouping in the overview diagram, not a single Lean declaration. Open the detailed graph for this part of the spine.

Open correction successors graph

Related content

Appears in graphs

  • Lean proof spine overview: four sub-spines into certified-class safety

A static companion site for an authored research manuscript.

GitHub repository ·Discussion via GitHub issues ·Impressum