Sources and coverage

Where the record comes from.

Original papers, research artifacts, and community assessments support our reviewed entries.

Why the counts differ

Interests: topics and problems you can follow, including those with no records yet.
Curated contributions: 115 distinct published entries.
Manuscripts: source papers; several can support one contribution.

OpenAI manuscript directory: 719 papers in 372 related-result families.

Additional significance review: 40 of 40 reported contributions published. Statement and impact review, without a AIProofWatch proof audit.

Research history and limits · 2026-10-11

40 interests searched; 372 OpenAI families screened across 17 disciplines.
25 contributions added, 1 revised, and 77 guides refreshed. Historical updates sent no alerts.

Discovery indexes: What AI Found (148 entries) · VibeMathed (1276 entries). Their ratings are not automatically adopted.

Family screening and registry comparisons are metadata discovery. Selected manuscripts received statement, baseline, attribution and evidence-scope review; the full backlog has not been proof-reviewed.
Original papers and pinned artifacts support published entries. Registry labels and scores are not adopted as independent verification.
No new AIProofWatch compilation of mathematical formalizations is claimed. Unresolved candidates and disputed companions remain pending.
Three withdrawn OpenAI Hodge/Kuga–Satake manuscripts are excluded from additions. The historical Erdős AI wiki is archived through 30 June 2026.

Erdős Problems community · Independent assessment

Archived index · through 30 June 2026

Selected source review; no exhaustive import is claimed.

Release or reference date: 2026-10-11

OpenAI · Original claim

719 of 719 manuscripts imported · 372 of 372 families.

Repository snapshot: fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb

Release or reference date: 2026-10-06

Independent mathematical advisory group · Background reference

Selected source review; no exhaustive import is claimed.

Release or reference date: 2026-09-29

Academic researchers / DualverseAI · Original claim

Selected source review; no exhaustive import is claimed.

Release or reference date: 2026-08-24

Mathematical verification community · Background reference

Selected source review; no exhaustive import is claimed.

Release or reference date: 2026-08-18

Anthropic · Original claim

Selected source review; no exhaustive import is claimed.

Release or reference date: 2026-08-10

Google DeepMind and academic collaborators · Original claim

Selected source review; no exhaustive import is claimed.

Release or reference date: 2025-11-03

Original paper: the authors’ claim.
Artifact: material available to check.
Independent assessment: another researcher’s check, within its stated scope.
Background: the question and prior work.

We retain source versions and publication history. A linked proof is not automatically a checked proof.