We found an undocumented bug in the Apollo 11 guidance computer code (juxt.pro) AI

A Juxt team says it uncovered an old, undocumented Apollo Guidance Computer flaw: a gyro “LGYRO” lock that is not released when the IMU is caged during a torque operation. Using an AI-assisted behavioural specification (Allium) derived from the AGC’s IMU code, they found an error path (BADEND) that would cause later gyro commands to hang, preventing realignment. The article argues this kind of resource-leak bug can be missed by code reading and emulation but surfaced by modelling resource lifecycles across all execution paths.