← Methodology and sources

Considered but not curated.

Sources we considered, with review status and reasons.

Counts and coverage

3070 recorded entries · 652 awaiting detailed review · 584 excluded · 672 on hold · 3 publisher withdrawals · 1159 related to curated records.

  • Includes recorded What AI Found, VibeMathed, OpenAI, and news-led primary-source entries, plus publisher withdrawals.
  • Screening is metadata review, not a proof check. Registry flags are attributed reasons.
  • Entries overlap; OpenAI entries group related papers. Counts are not distinct discoveries.
  • Dates refer to saved decisions. Publication links use the current catalog.
  • Recorded searches do not cover all research.

Individual OpenAI manuscripts · Review criteria

Suggest a missing contribution or correction.

See omissions and decisions reviewed against public discussion.

Subject

Entries without a recorded subject appear only under All subjects. Coverage totals describe all subjects.

Screening decisions

1911 matching entries · Page 8 of 39

The Erdos-Gallai cycle decomposition conjecture (Erdos Problem #184)

Awaiting detailed review

Metadata screened. Requires original-source review of the specific contribution, baseline and central AI work, with separate AI involvement, technical verification, human understanding and importance ratings before publication.

Screening recorded: 2026-10-27

Irrationality of Catalan's constant

Awaiting detailed review

Metadata screened. Requires original-source review of the specific contribution, baseline and central AI work, with separate AI involvement, technical verification, human understanding and importance ratings before publication.

Screening recorded: 2026-10-27

Ostmann's inverse Goldbach conjecture

Awaiting detailed review

Metadata screened. Requires original-source review of the specific contribution, baseline and central AI work, with separate AI involvement, technical verification, human understanding and importance ratings before publication.

Screening recorded: 2026-10-27

The Dolgachev-Weisfeiler affine-fibration conjecture

Awaiting detailed review

Metadata screened. Requires original-source review of the specific contribution, baseline and central AI work, with separate AI involvement, technical verification, human understanding and importance ratings before publication.

Screening recorded: 2026-10-27

The K(pi,1) conjecture for Artin groups of finite rank

Awaiting detailed review

Metadata screened. Requires original-source review of the specific contribution, baseline and central AI work, with separate AI involvement, technical verification, human understanding and importance ratings before publication.

Screening recorded: 2026-10-27

The separable quotient problem for Banach spaces

Awaiting detailed review

Metadata screened. Requires original-source review of the specific contribution, baseline and central AI work, with separate AI involvement, technical verification, human understanding and importance ratings before publication.

Screening recorded: 2026-10-27

Sharpness of the Cohn-Elkies linear programming bound in dimension two

Awaiting detailed review

Metadata screened. Requires original-source review of the specific contribution, baseline and central AI work, with separate AI involvement, technical verification, human understanding and importance ratings before publication.

Screening recorded: 2026-10-27

The Unique Games Conjecture

Awaiting detailed review

Metadata screened. Requires original-source review of the specific contribution, baseline and central AI work, with separate AI involvement, technical verification, human understanding and importance ratings before publication.

Screening recorded: 2026-10-27

The Furedi-Gyarfas-Simonyi Sharp Connected-Matching Conjecture

Awaiting detailed review

Metadata screened. Requires original-source review of the specific contribution, baseline and central AI work, with separate AI involvement, technical verification, human understanding and importance ratings before publication.

Screening recorded: 2026-10-27

Khot's 2-to-1 Games Conjecture with perfect completeness

Awaiting detailed review

Metadata screened. Requires original-source review of the specific contribution, baseline and central AI work, with separate AI involvement, technical verification, human understanding and importance ratings before publication.

Screening recorded: 2026-10-27

The Eilenberg-Ganea conjecture

Awaiting detailed review

Metadata screened. Requires original-source review of the specific contribution, baseline and central AI work, with separate AI involvement, technical verification, human understanding and importance ratings before publication.

Screening recorded: 2026-10-27

Kadison's Similarity Problem

Awaiting detailed review

Metadata screened. Requires original-source review of the specific contribution, baseline and central AI work, with separate AI involvement, technical verification, human understanding and importance ratings before publication.

Screening recorded: 2026-10-27

The classification problem for finite Euclidean Ramsey sets

Awaiting detailed review

Metadata screened. Requires original-source review of the specific contribution, baseline and central AI work, with separate AI involvement, technical verification, human understanding and importance ratings before publication.

Screening recorded: 2026-10-27

Lech's multiplicity conjecture

Awaiting detailed review

Metadata screened. Requires original-source review of the specific contribution, baseline and central AI work, with separate AI involvement, technical verification, human understanding and importance ratings before publication.

Screening recorded: 2026-10-27

The forcing conjecture for bipartite graphs

Awaiting detailed review

Metadata screened. Requires original-source review of the specific contribution, baseline and central AI work, with separate AI involvement, technical verification, human understanding and importance ratings before publication.

Screening recorded: 2026-10-27

The free group factor isomorphism problem

Awaiting detailed review

Metadata screened. Requires original-source review of the specific contribution, baseline and central AI work, with separate AI involvement, technical verification, human understanding and importance ratings before publication.

Screening recorded: 2026-10-27

Discovery metadata attribution: What AI Found, CC BY 4.0 · VibeMathed contributors, editorial layer CC BY 4.0. AIProofWatch supplies the screening decisions.