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 36 of 39
Collected arXiv metadata screened for scope. This is discovery, not a completed primary-paper review or proof check. Supplied-target benchmarks, applied prediction and human technical work are not automatically curated.
Screening recorded: 2026-10-20 · Decision reviewed: 2026-10-21T07:53:19.130Z
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
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
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
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
The primary disclosure dates all mathematical proofs to human work completed by the end of 2025. Later AI exposition and Lean assistance do not qualify as the origin of the contribution.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Versioned primary retrieved and scoped. Formalization or general AI-use metadata does not document a specific central AI mathematical contribution. Resolve the original idea, human input, exact theorem and prior baseline before inclusion.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Existing zeroth-order optimization lead reused. Exact lower-bound proof and model require specific AI-origin attribution; the GPT-2 experiment is not proof of the theoretical worst-case claim.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-22T07:39:59.456Z
Human paper gives Funk-transform/rotation arguments; the separate LeanShadow proof uses a different AI-assisted argument and does not verify the paper or all its applications. Identify the central AI proof idea versus a human-supplied strategy before inclusion.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Versioned primary retrieved and scoped. Formalization or general AI-use metadata does not document a specific central AI mathematical contribution. Resolve the original idea, human input, exact theorem and prior baseline before inclusion.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Primary paper reports rank 23 matrix multiplication with 55 additions (13+14+28), prior 56, and July discovery dates predating this October version. Claude supplied search/tooling, minimizers and Lean under human direction; specific central AI solution versus classical search-code work remains unresolved. Independent July rediscovery is not a new October milestone.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Primary disclosure limits GPT to minor language editing. Technical research content is human-origin.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Versioned primary retrieved and scoped. Formalization or general AI-use metadata does not document a specific central AI mathematical contribution. Resolve the original idea, human input, exact theorem and prior baseline before inclusion.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Proof/solver or supplied-target benchmark performance is not itself a new AI-origin mathematical theorem.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Compiler-repair benchmark concerns supplied targets, not an identified new central AI mathematical contribution.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Versioned primary retrieved and scoped. Formalization or general AI-use metadata does not document a specific central AI mathematical contribution. Resolve the original idea, human input, exact theorem and prior baseline before inclusion.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Versioned primary retrieved and scoped. Formalization or general AI-use metadata does not document a specific central AI mathematical contribution. Resolve the original idea, human input, exact theorem and prior baseline before inclusion.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Moment-ambiguity lead reused. Lean checking and a general AI-use statement do not allocate the core robust-optimization theorem to AI; retain contribution-specific attribution gap.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-22T07:39:59.456Z
The Coulomb-gas manuscript’s mathematics is human work; AI autoformalization under close supervision alone does not qualify.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Revised factorial-multiple circuit bound credits UniMath/GPT assistance generally. A specific central AI idea remains unidentified; arithmetic gate counts are separate from bit costs and uniform circuit construction.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-23T08:28:30.727Z
Collected arXiv metadata screened for scope. This is discovery, not a completed primary-paper review or proof check. Supplied-target benchmarks, applied prediction and human technical work are not automatically curated.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Reviewed quantum-chaos forecasting scope is model prediction performance, not a documented new AI-origin theoretical-physics mechanism or theorem.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Neural bootstrap/open-string spectrum inference is scoped to its supplied constraints and numerical evidence. No exact uniqueness theorem or experimental confirmation inferred; establish a qualifying theoretical contribution and AI-origin role.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Collected arXiv metadata screened for scope. This is discovery, not a completed primary-paper review or proof check. Supplied-target benchmarks, applied prediction and human technical work are not automatically curated.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Collected arXiv metadata screened for scope. This is discovery, not a completed primary-paper review or proof check. Supplied-target benchmarks, applied prediction and human technical work are not automatically curated.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Collected arXiv metadata screened for scope. This is discovery, not a completed primary-paper review or proof check. Supplied-target benchmarks, applied prediction and human technical work are not automatically curated.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Selected primary paper read across broad fields. General AI discussion, application or model proof assistance does not establish the particular central AI mathematical advance; exact contribution allocation remains unresolved.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Collected arXiv metadata screened for scope. This is discovery, not a completed primary-paper review or proof check. Supplied-target benchmarks, applied prediction and human technical work are not automatically curated.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Selected primary paper read across broad fields. General AI discussion, application or model proof assistance does not establish the particular central AI mathematical advance; exact contribution allocation remains unresolved.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
Collected arXiv metadata screened for scope. This is discovery, not a completed primary-paper review or proof check. Supplied-target benchmarks, applied prediction and human technical work are not automatically curated.
Screening recorded: 2026-10-21 · Decision reviewed: 2026-10-21T07:53:19.130Z
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.
