← 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 10 of 39

The Falconer distance 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

Derandomization of logarithmic space: is L = RL = BPL?

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

Seymour's second neighborhood 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 Harary-Hill conjecture on the crossing number of complete 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

Is there an infinite finitely presented simple amenable group?

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 Linear List Hadwiger 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 Kadison-Ringrose cohomology 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

An FPRAS for counting common bases of two matroids

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 Colin de Verdiere Chromatic 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

Cannon's 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 periodic tiling conjecture in dimension three

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 CAT(0) conjecture for Artin groups

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

Talagrand's discrete convexity 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

Sidorenko's 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

Almost everywhere convergence of Fourier series in L log L

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 generalized Cartan-Hadamard isoperimetric 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

Beauville's splitting conjecture for two integrable summands

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

Marrakchi's relative bicentralizer 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

Tachikawa's second conjecture for self-injective algebras

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

Koebe's circle-domain conjecture (Kreisnormierungsproblem)

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 Auslander-Reiten conjecture for Artin algebras

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 strong thin tree 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

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