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 reading of the release as provenance-erased work, and the archive's independent kernel check of three headline results reads from the same commit.