Source and review scope

Reviewed edition

Repository: OpenAI/math.

Manuscript date: 2026-10-05; review date: 2026-10-14; 7 PDF pages.

Reviewed PDF SHA-256: f7851c8489621a2df0e520d7aebe9c4dca5e6d3e68c9086d914b479dc9983da9.

Expanded reviewed TeX SHA-256: 2cf3fe33debad17053eec4ea32114e45a39290df09f20bcc73898683373c04fe.

Upstream main TeX SHA-256: 72593e7c344863b0eb11abbf06b982c11b33f3b9a94c0b8d8aa66e931068ee4b.

Source preparation

Recursive literal TeX include expansion; brace-valued BibTeX metadata rendered as bibitems where needed. Original bibliography source retained. Bibliography numbering in a rendered BibTeX expansion is not the PDF numbering. No manuscript code or TeX executed.

Expanded includes: source/main.tex.

The expanded TeX has no single upstream-file equivalent. The reading-page checkout comparison uses the reviewed PDF; the expanded TeX has its own independent frozen hash.

Dependency map

The reading map indexes the supplied claims, sections and bibliography. Literal references are candidate relations, with exact source anchors; they are not independent checks of referenced publications. The complete cited bibliography is retained.

Panel scope

Four models each received the same frozen manuscript in two independent prompt conditions: baseline-v2 and source-first-v2, at high effort and a 32768-token output cap. This is eight requested assessments, not eight different models. The cap includes billed reasoning. No generation retries or automatic escalation were used.

Reviewers had no external-reference retrieval tool and did not receive each other's conclusions. Failed/capped requests contribute no mathematical verdict. The panel page lists every outcome and estimated cost, including failures.

A completed assessment records a model's examination of the supplied text. Human substantiation, coverage and mathematical quality grades remain pending. Independent source and algebra checks have limited scope and do not certify the whole proof.

Literature scope

The reports treat the supplied argument as self-contained apart from standard mathematical facts. Historical attribution, prior-art comparisons and novelty claims were not independently checked against the cited publications.