Algebraic World Model ↗

Sealed-level experiment records

Inspect the questions, answers, models and Lean developments behind six historical runs.

Historical runs and newer code releases are separate. All six eight-attempt records and final interviews are present, including the completed 2a3cc5 continuation. New four-transform and auto-repair live results are not included.