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 3 of 39
Discovery metadata is outside mathematics, theoretical computer science and theoretical physics scope. No detailed biomedical paper or clinical-result review is claimed.
Screening recorded: 2026-10-23 · Decision reviewed: 2026-10-23T08:28:30.727Z
Discovery metadata is outside mathematics, theoretical computer science and theoretical physics scope. No detailed biomedical paper or clinical-result review is claimed.
Screening recorded: 2026-10-23 · Decision reviewed: 2026-10-23T08:28:30.727Z
Discovery metadata is outside mathematics, theoretical computer science and theoretical physics scope. No detailed biomedical paper or clinical-result review is claimed.
Screening recorded: 2026-10-23 · Decision reviewed: 2026-10-23T08:28:30.727Z
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
Biology/therapeutic-design contribution is outside this mathematics, theoretical-CS and theoretical-physics catalog.
Screening recorded: 2026-10-28 · Decision reviewed: 2026-10-28T08:47:35.674Z
Biology/therapeutic-design contribution is outside this mathematics, theoretical-CS and theoretical-physics catalog.
Screening recorded: 2026-10-28 · Decision reviewed: 2026-10-28T08:47:35.674Z
Biology/therapeutic-design contribution is outside this mathematics, theoretical-CS and theoretical-physics catalog.
Screening recorded: 2026-10-28 · Decision reviewed: 2026-10-28T08:47:35.674Z
The disclosure records exploration and Lean assistance without locating the central lower-bound idea or a complete historical division of mathematical credit.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18
The author’s disclosure assigns the stronger non-P-space construction and main idea to Lucas Alves de Almeida; ChatGPT completed the argument and Claude formalized it. This is execution and checking of a human-origin solution.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18T00:00:00.000Z
The separate Neumann theorem is in a draft and a Lean repository, but the cited README conflicts with later registration reports and does not isolate AI’s mathematical idea.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18T00:00:00.000Z
The source does not show that AI supplied a central mathematical idea rather than assisting human-origin arguments and formalization.
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
The proof depends on disputed abundance and good-model inputs and an unchecked index theorem.
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 two separate XY-model papers; curated record assesses only the logarithmic correction theorem.
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
Shared manuscript and related claim, but the abbreviated claims need closer assumption and scope comparison before linking.
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
The linked Research Commons branch could not be read; the registry describes an AI-developed bridge, but the original proof and disclosure need inspection.
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
The repository identifies its internal model as producer of this manuscript, but the manuscript PDF could not be read, leaving its exact claim and checking scope unresolved.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18T00:00:00.000Z
Registry records a withdrawal, dispute, or claim issue. Hold publication pending review of the primary notice and exact affected scope.
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
VibeMathed frames Ball’s extension problem; curated claim is metric Markov cotype of ℓ₁. Verify that the linked record covers the same theorem rather than a consequence.
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
Shared manuscript and related claim, but the abbreviated claims need closer assumption and scope comparison before linking.
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
The cited Research-Commons branch and theorem/review files now return 404, while the older arXiv reference is a baseline rather than the claimed nonregularity proof. Neither the theorem nor its AI provenance is available in the original artifact.
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 two non-Pisot singularity theorems; curated claim assesses quartic Salem reciprocals only.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18
The proof uses an all-dimensional log-abundance input that a later appendix states only conditionally.
Screening recorded: 2026-10-17 · Decision reviewed: 2026-10-18T00:00:00.000Z
The degree bound depends on abundance and good-model inputs whose unconditional status conflicts with a later appendix.
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.
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
