MOBCORP / OPEN RESEARCH INDEX
A clearer path
through the mathematics.
Explore OpenAI’s October 2026 research collection. Read the manuscripts, inspect the proof artifacts, and trace each claim to its source.
Research claims require scrutiny. This index does not establish that all results are new, accepted, or correct. Lean artifacts have different scopes; none were run or independently verified here.
THE COLLECTION
Find the work.
Loading pinned catalogue…
PROVENANCE, NOT CERTIFICATION
Know what you’re reading.
A complete, pinned manuscript map
Publisher: OpenAI · October 6 release · Revision & withdrawal history
File manifest with Git blob hashes · Download complete upstream snapshot · 10 reasoning summaries
Proof status is not one number
All active entries are publisher claimed proofs. “Listed in formalization catalogue” means an exact active PDF path appears in the publisher’s YAML. It is not a local proof check or a statement that every theorem in that paper was formalized.
The publisher reports 300 / 719 top-line results formalized (~42%). The YAML separately lists 173 source papers, with 172 paths matching active manuscripts; its review status is “unchecked”. A family scope note can cover only some companion papers. Five Comparator setups cover supporting results rather than main theorems.
No independent acceptance or novelty review was performed. The status model distinguishes conjecture, claimed proof, accepted proof, formalized evidence, retracted proof and previously known results; categories without evidence receive no records.
Verification instructions & limitations ↗