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 35 of 39
Versioned primary paper retrieved. Registry/formalization metadata does not establish contribution-specific central AI origin; isolate the original result, human proof input, prior bound and any changed theorem/checking scope before publication.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Versioned primary paper retrieved. Registry/formalization metadata does not establish contribution-specific central AI origin; isolate the original result, human proof input, prior bound and any changed theorem/checking scope before publication.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Versioned primary paper retrieved. Registry/formalization metadata does not establish contribution-specific central AI origin; isolate the original result, human proof input, prior bound and any changed theorem/checking scope before publication.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
The coordinated proof harness and falsified benchmark formalizations do not identify a retained new AI mathematical contribution.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-28T08:47:35.674Z
The reviewed scope is a proof-agent system, dataset/benchmark, solver or coordination/verification method on supplied targets. No distinct new AI-origin mathematics, TCS theorem or theoretical-physics result is established by that scope; benchmark performance is not promoted as a newly discovered theorem.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Versioned primary paper retrieved. Registry/formalization metadata does not establish contribution-specific central AI origin; isolate the original result, human proof input, prior bound and any changed theorem/checking scope before publication.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Versioned primary paper retrieved. Registry/formalization metadata does not establish contribution-specific central AI origin; isolate the original result, human proof input, prior bound and any changed theorem/checking scope before publication.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Versioned primary paper retrieved. Registry/formalization metadata does not establish contribution-specific central AI origin; isolate the original result, human proof input, prior bound and any changed theorem/checking scope before publication.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Versioned primary paper retrieved. Registry/formalization metadata does not establish contribution-specific central AI origin; isolate the original result, human proof input, prior bound and any changed theorem/checking scope before publication.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Versioned primary paper retrieved. Registry/formalization metadata does not establish contribution-specific central AI origin; isolate the original result, human proof input, prior bound and any changed theorem/checking scope before publication.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Versioned primary paper retrieved. Registry/formalization metadata does not establish contribution-specific central AI origin; isolate the original result, human proof input, prior bound and any changed theorem/checking scope before publication.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Versioned primary paper retrieved. Registry/formalization metadata does not establish contribution-specific central AI origin; isolate the original result, human proof input, prior bound and any changed theorem/checking scope before publication.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Versioned primary paper retrieved. Registry/formalization metadata does not establish contribution-specific central AI origin; isolate the original result, human proof input, prior bound and any changed theorem/checking scope before publication.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Versioned primary paper retrieved. Registry/formalization metadata does not establish contribution-specific central AI origin; isolate the original result, human proof input, prior bound and any changed theorem/checking scope before publication.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Existing normalized manuscript identity. The later human Smale analysis is an extension; whether it explains the original AI argument, as opposed to supplying a replacement, needs exact-source comparison.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Existing metric-dimension/treewidth lead reused. Separate the human original NP-completeness proof from Claude formalization; no new mathematical result inferred from refreshed metadata.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-21T07:53:19.130Z
Versioned primary paper retrieved. Registry/formalization metadata does not establish contribution-specific central AI origin; isolate the original result, human proof input, prior bound and any changed theorem/checking scope before publication.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Versioned primary paper retrieved. Registry/formalization metadata does not establish contribution-specific central AI origin; isolate the original result, human proof input, prior bound and any changed theorem/checking scope before publication.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Explicit model-assisted proof/statement roles found. Before retaining a precise theorem, reconcile the human notes, earlier communication or hand-rewritten proof with the model-origin argument and the exact primary theorem. Do not transfer whole-paper checking or importance to every AI-assisted component.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
The reviewed scope is a proof-agent system, dataset/benchmark, solver or coordination/verification method on supplied targets. No distinct new AI-origin mathematics, TCS theorem or theoretical-physics result is established by that scope; benchmark performance is not promoted as a newly discovered theorem.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Explicit model-assisted proof/statement roles found. Before retaining a precise theorem, reconcile the human notes, earlier communication or hand-rewritten proof with the model-origin argument and the exact primary theorem. Do not transfer whole-paper checking or importance to every AI-assisted component.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
The reviewed scope is a proof-agent system, dataset/benchmark, solver or coordination/verification method on supplied targets. No distinct new AI-origin mathematics, TCS theorem or theoretical-physics result is established by that scope; benchmark performance is not promoted as a newly discovered theorem.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Explicit model-assisted proof/statement roles found. Before retaining a precise theorem, reconcile the human notes, earlier communication or hand-rewritten proof with the model-origin argument and the exact primary theorem. Do not transfer whole-paper checking or importance to every AI-assisted component.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered PDF evaluates faithful formalization of Euclid, with modeled gaps and supplied-target proof comparisons. It is not a newly discovered central-AI mathematical result.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-23T08:28:30.727Z
The reviewed scope is a proof-agent system, dataset/benchmark, solver or coordination/verification method on supplied targets. No distinct new AI-origin mathematics, TCS theorem or theoretical-physics result is established by that scope; benchmark performance is not promoted as a newly discovered theorem.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered arXiv metadata screened for mathematics, theoretical computer science and theoretical physics relevance. Not a completed primary-paper review; many are applications, experimental control, language-model evaluations or human work. No publication or proof-validation inference from a metadata match.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Selected primary paper retrieved for broad-field review. Precise central-AI research output and novelty relative to the human method/model baseline are not established by metadata or a general AI-use statement. Numerical or application checks remain scoped to their actual model.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered arXiv metadata screened for mathematics, theoretical computer science and theoretical physics relevance. Not a completed primary-paper review; many are applications, experimental control, language-model evaluations or human work. No publication or proof-validation inference from a metadata match.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered arXiv metadata screened for mathematics, theoretical computer science and theoretical physics relevance. Not a completed primary-paper review; many are applications, experimental control, language-model evaluations or human work. No publication or proof-validation inference from a metadata match.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered arXiv metadata screened for mathematics, theoretical computer science and theoretical physics relevance. Not a completed primary-paper review; many are applications, experimental control, language-model evaluations or human work. No publication or proof-validation inference from a metadata match.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered arXiv metadata screened for mathematics, theoretical computer science and theoretical physics relevance. Not a completed primary-paper review; many are applications, experimental control, language-model evaluations or human work. No publication or proof-validation inference from a metadata match.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered arXiv metadata screened for mathematics, theoretical computer science and theoretical physics relevance. Not a completed primary-paper review; many are applications, experimental control, language-model evaluations or human work. No publication or proof-validation inference from a metadata match.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Despite the title’s simple human exposition, the fetched text discloses model-generated/adversarially rewritten mathematical content. It concerns border/symmetric determinantal complexity, not the retained cubic permanent–determinant claim. Do not infer human understanding or a check of that other result.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Primary theoretical spin-chain paper and generative-AI disclosure read. Specific intermediate ideas arose in model discussions, but the central construction versus human proof inputs needs contribution-level allocation; AI assistance alone is insufficient.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Selected primary paper retrieved for broad-field review. Precise central-AI research output and novelty relative to the human method/model baseline are not established by metadata or a general AI-use statement. Numerical or application checks remain scoped to their actual model.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Selected primary paper retrieved for broad-field review. Precise central-AI research output and novelty relative to the human method/model baseline are not established by metadata or a general AI-use statement. Numerical or application checks remain scoped to their actual model.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered arXiv metadata screened for mathematics, theoretical computer science and theoretical physics relevance. Not a completed primary-paper review; many are applications, experimental control, language-model evaluations or human work. No publication or proof-validation inference from a metadata match.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered arXiv metadata screened for mathematics, theoretical computer science and theoretical physics relevance. Not a completed primary-paper review; many are applications, experimental control, language-model evaluations or human work. No publication or proof-validation inference from a metadata match.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered arXiv metadata screened for mathematics, theoretical computer science and theoretical physics relevance. Not a completed primary-paper review; many are applications, experimental control, language-model evaluations or human work. No publication or proof-validation inference from a metadata match.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered arXiv metadata screened for mathematics, theoretical computer science and theoretical physics relevance. Not a completed primary-paper review; many are applications, experimental control, language-model evaluations or human work. No publication or proof-validation inference from a metadata match.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered arXiv metadata screened for mathematics, theoretical computer science and theoretical physics relevance. Not a completed primary-paper review; many are applications, experimental control, language-model evaluations or human work. No publication or proof-validation inference from a metadata match.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered arXiv metadata screened for mathematics, theoretical computer science and theoretical physics relevance. Not a completed primary-paper review; many are applications, experimental control, language-model evaluations or human work. No publication or proof-validation inference from a metadata match.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered arXiv metadata screened for mathematics, theoretical computer science and theoretical physics relevance. Not a completed primary-paper review; many are applications, experimental control, language-model evaluations or human work. No publication or proof-validation inference from a metadata match.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered arXiv metadata screened for mathematics, theoretical computer science and theoretical physics relevance. Not a completed primary-paper review; many are applications, experimental control, language-model evaluations or human work. No publication or proof-validation inference from a metadata match.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered arXiv metadata screened for mathematics, theoretical computer science and theoretical physics relevance. Not a completed primary-paper review; many are applications, experimental control, language-model evaluations or human work. No publication or proof-validation inference from a metadata match.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Selected primary paper retrieved for broad-field review. Precise central-AI research output and novelty relative to the human method/model baseline are not established by metadata or a general AI-use statement. Numerical or application checks remain scoped to their actual model.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered arXiv metadata screened for mathematics, theoretical computer science and theoretical physics relevance. Not a completed primary-paper review; many are applications, experimental control, language-model evaluations or human work. No publication or proof-validation inference from a metadata match.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered arXiv metadata screened for mathematics, theoretical computer science and theoretical physics relevance. Not a completed primary-paper review; many are applications, experimental control, language-model evaluations or human work. No publication or proof-validation inference from a metadata match.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered arXiv metadata screened for mathematics, theoretical computer science and theoretical physics relevance. Not a completed primary-paper review; many are applications, experimental control, language-model evaluations or human work. No publication or proof-validation inference from a metadata match.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
Recovered arXiv metadata screened for mathematics, theoretical computer science and theoretical physics relevance. Not a completed primary-paper review; many are applications, experimental control, language-model evaluations or human work. No publication or proof-validation inference from a metadata match.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-20T07:30:08.090Z
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.
