EA-CORPORA-17 seats on the archive's originals shelf the mathematics OpenAI released at github.com/openai/math in October 2026, fixed at commit fd4aeeb2: 719 current manuscripts in 372 result families, the 27 previous versions the publisher keeps, three withdrawal notices, and the three withdrawn manuscripts as they stood before withdrawal. The release's records come with them — its README, manuscript map, history, licence, reasoning summaries for ten families, and the Lean scope notes, challenge statements and catalogue — while the 122,000-file Lean proof library is pinned file by file by hash and mirrored whole on Hugging Face. Every manuscript names a single author, OpenAI, and no person; the release's own footnotes record named mathematicians crediting machine assistance in their papers. The seat carries that record of authorship as data beside the bytes, under the operator's two rulings — that human collaboration was liquidated into the corporate tag, and that the collapse would stand even if the work had been autonomous — and the archive's independent kernel check of three headline results reads from the same commit. Version 1.1 adds the second ruling and two items to the record: the release never names its own producing system, and it faults other papers for omitting the model versions its byline omits.