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

Jacobsthal's quadratic-bound question: is h(k) = O(k^2)?

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

Polynomial complementation of two-way nondeterministic finite automata

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 Kannan-Tetali-Vempala conjecture for simple undirected 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

Quasipolynomial-time solution of mean-payoff games with binary weights

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

Maximal specieslike clusters with a fixed real founding window

On hold after review

The project’s provenance distinguishes prior human theorems and owner-directed AI work, but does not assign the fixed-window theorem’s central idea to a model.

Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18T00:00:00.000Z

Ergodicity of billiards in every triangle with an irrational angle

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

Shub's entropy conjecture for C1 self-maps

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 the free uniform spanning forest a factor of IID?

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 polynomial removal conjecture for ordered binary matrices

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 block sensitivity at most quadratic in sensitivity? (Nisan-Szegedy)

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.