AIProofWatch
← Research sourcesRelease coverage

OpenAI manuscript directory.

Browse source papers and see which have curated records.

719 manuscripts imported · 76 linked to curated records · 643 not yet represented.

Counts and review scope

OpenAI’s release: 719 manuscripts in 372 families. Several related papers can support one result.

Our 115 curated contributions span all publishers. Listing a paper does not mean its proof was checked. Each curated record states its evidence.

Considered entries across all recorded sources · Publisher withdrawals

Manuscripts

643 matching manuscripts · Page 1 of 13

Family 034 · Algebraic and complex geometry

Log abundance in characteristic zero

Log abundance for compact Kähler spaces under logarithmic Iitaka subadditivity

Not in curated record
Family 042 · Algebraic and complex geometry

Every complex K3 surface is Oka

Oka classification for minimal compact complex surfaces: Kodaira dimension zero and class VII

Not in curated record

Directory uses the imported repository snapshot. Curated links may cite an earlier version of the same paper.

Documented withdrawals

OpenAI’s 7 October 2026 release history records these three withdrawals. The notices explain the gap and how to reach the archived papers.