Abstract

This sheet records the OpenAI mathematics catalogue released on 6 October 2026 and updated on 7 October 2026. The authors of the catalogue are OpenAI. It contains 719 manuscripts in 372 families across 17 disciplines. About 300 of 719 top-line results are reported as formalized, near 42 percent. That formalization is not a certificate of this series. Some unformalized results could have issues, as the catalogue itself states. Three manuscripts were withdrawn on 7 October 2026 and are not current results. The companion does not verify these proofs. The catalogue is not a premise of any registered sheet. It does not close O.1. O.1 stays NOT_CLOSED. It is not a de Sitter state, not the QdS external-leg scheme, not spacetime emergence, and not an ultraviolet completion of the Enter series. Anti-de Sitter Penrose inequalities in the catalogue are not a de Sitter state. H2, I3, and J2 stay unresolved. Route B is not discharged. XV-B is not opened. No quantum coefficient of the inherited characteristic graph is admitted. No compilation is asserted.