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

The Lipschitz isomorphism problem for separable 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

The second Kahn-Kalai 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 irrationality exponent of pi is 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

Kraetzer's conjecture on the universal integral means spectrum

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

Existence of bounded-degree F2 coboundary expanders in every dimension

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 Abhyankar-Sathaye embedding 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 combinatorial invariance conjecture for Kazhdan-Lusztig polynomials

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 duality conjecture for metric entropy (Pietsch)

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

A (1+epsilon)-approximation of edit distance in almost-linear time

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

Petty's projection conjecture in dimensions at least four

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 two-point Chowla conjecture (ordinary averages)

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

Local smooth isometric immersion of surfaces in three-space

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 Gaussian propeller 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 Bochner-Riesz conjecture in three dimensions (strict-order range)

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 Campana-Peternell conjecture on Kodaira dimension

On hold after review

The claimed consequence depends on an abundance result whose unconditional status conflicts with a later appendix; its proof scope needs reconciliation.

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

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