Sources we considered, with review status and reasons.
3070 recorded entries · 652 awaiting detailed review · 584 excluded · 672 on hold · 3 publisher withdrawals · 1159 related to curated records.
Suggest a missing contribution or correction.
See omissions and decisions reviewed against public discussion.
Entries without a recorded subject appear only under All subjects. Coverage totals describe all subjects.
1911 matching entries · Page 4 of 39
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 author describes GPT assistance across exploration, criticism, editing, and checks but does not identify an AI-origin central idea for the exact mean or variance result.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18T00:00:00.000Z
The manuscript reports GPT help with exploration, criticism, implementation and editing, but the disclosure does not identify an AI-originated central bound or proof idea.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18T00:00:00.000Z
The paper says assistants explored candidate constructions and drafted proofs, but does not tie a retained four-uniform sunflower construction to a specific AI-origin step.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18T00:00:00.000Z
The Conjecture 3.7 entry reports broad AI-assisted proof development, but no source-specific model-origin step is identified for its two discriminant -20 sums.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18T00:00:00.000Z
The author’s aiXiv process note confirms broad AI assistance in exploration and checking of Conjecture 3.5, but attributes no central proof step to a model; the all-primes argument is still a written proof beyond finite checks.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18T00:00:00.000Z
The manuscript packet describes AI assistance across exploration and exact checks for both sums but does not attribute a central theorem step to AI; bounded prime scans do not settle that provenance.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18T00:00:00.000Z
The original nine-line manuscript and verification artifacts do not yet establish who found the construction or bound; a third-party AI label is insufficient.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18T00:00:00.000Z
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
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
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 repository gives computations for Bras-Amorós genus monotonicity but its visible README does not document a central AI contribution. The manuscript and provenance need inspection before attributing the result to AI.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18T00:00:00.000Z
The matched contribution is an unpublished draft, not a published record. The manuscript proves Ghys's conjecture in complex codimension one and says Intern-S2 helped develop ideas and arguments, but does not identify a central theorem step or construction supplied by the model. SHEAF formalized the theorem with human checking; formalization alone does not establish AI origin of the new mathematics. Hold for idea-level attribution.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18
The project provenance credits Codex agents with extension notes but does not match this NANUQ theorem to a specific model-originated central result; the cited branch needs claim-level inspection.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18T00:00:00.000Z
The provenance names owner-directed Codex extension work and earlier Alexander results, but the exact universal-family proof and model contribution remain unresolved.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18T00:00:00.000Z
The repository lists model-assisted extension notes, yet the ordinal/pruning result’s novelty and central AI role are not clear from the original provenance.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18T00:00:00.000Z
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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 claimed degree bounds depend on abundance and index inputs whose proof status remains unresolved.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18T00:00:00.000Z
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
VibeMathed bundles monotone and stable-solution theorems; curated record states only monotone dimension-eight result.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18
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
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
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
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
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
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
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
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
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.
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
