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 38 of 39
Actual v2 e-positivity manuscript discloses GPT and Lean assistance. The source does not isolate an AI-origin central symmetric-function argument sufficiently for inclusion.
Screening recorded: 2026-10-24 · Decision reviewed: 2026-10-24T07:28:43.626Z
The claimed twenty-four-vertex minimum has a topological reduction and finite exact certificates, not an end-to-end Lean theorem. Codex assistance in exploration, code and preparation does not specify which retained central construction or obstruction originated with AI.
Screening recorded: 2026-10-24 · Decision reviewed: 2026-10-24T07:28:43.626Z
Structure-aware equivalence scoring is an autoformalization evaluation with generated diagnostic pairs, not a new AI-discovered mathematical theorem. Benchmark labels do not establish discovery.
Screening recorded: 2026-10-24 · Decision reviewed: 2026-10-24T07:28:43.626Z
Mixed-state geometry algorithm has explicit spectral-gap or bounded-response promises. Generic AI development/checking assistance, including a conditional bulk-edge normalization lemma, does not establish the central AI-origin algorithmic insight. Available-on-request code is not a completed inspected check.
Screening recorded: 2026-10-24 · Decision reviewed: 2026-10-24T07:28:43.626Z
Random-tournament link-irregularity result has no identified central AI contribution in the retrieved version. No eligibility inferred from formalization discovery metadata.
Screening recorded: 2026-10-24 · Decision reviewed: 2026-10-24T07:28:43.626Z
Thomas–Fermi surface/vortex calculation must retain its unitary-superfluid approximations and numerical limits. No documented central AI theoretical-physics contribution identified in this version.
Screening recorded: 2026-10-24 · Decision reviewed: 2026-10-24T07:28:43.626Z
Rectangular Schoenberg–Whitney statement for clamped B-splines read; a specific central AI mathematical contribution is unestablished.
Screening recorded: 2026-10-24 · Decision reviewed: 2026-10-24T07:28:43.626Z
Entropically smoothed first-price pacing equilibrium calculation is a theory/algorithm candidate, but the retrieved version does not establish central AI origin of a retained result.
Screening recorded: 2026-10-24 · Decision reviewed: 2026-10-24T07:28:43.626Z
Instantaneous fixed-mode linearization in concentric circular geometries; signed-mode and positive-tension assumptions retained. AI assistance is documented for drafting/editing and Lean formalization, without central mathematical origin of the thin-layer dichotomy. Formal checking alone does not establish eligibility.
Screening recorded: 2026-10-25 · Decision reviewed: 2026-10-25T08:32:40.331Z
Benchmark agents improved formal records without exceeding published mathematical bounds, explicitly according to the paper. Additional models and accepted submissions do not establish a new central-AI mathematical discovery.
Screening recorded: 2026-10-25 · Decision reviewed: 2026-10-25T08:32:40.331Z
The community hub links a Quasiworld seminar by Mario Bonk. Retrieval exposed only a minimal video shell, not the talk content or transcript. A seminar listing does not establish a completed check or explanation of the exact AI contribution. Carry the lead forward; no rating change.
Screening recorded: 2026-10-25 · Decision reviewed: 2026-10-25T08:32:40.331Z
Statement-equivalence method and benchmark. Models implemented tools, screened labels, wrote evaluated proofs and found flaws in an earlier definition. The current source does not identify a retained central-AI mathematical result distinct from method development and benchmark checking.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-26T08:59:58.123Z
Explicitly disclaims AI involvement in developing the theory, claims, proof ingredients or written proofs. AI formalization and text editing alone do not qualify; sharp constants and complete author/Lean checks do not change that.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-26T08:59:58.123Z
New frame-indifferent rank-one-convex but non-quasiconvex construction has explicit 3×3 and local-strain scope. Claude assists construction/proofs and writes Lean under human statement/strategy guidance, but the source does not allocate a specific retained central mathematical idea to AI. Hold that origin question separately from reported human and Lean checking.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-26T08:59:58.123Z
Author-in-the-loop formalization of supplied papers is not a distinct central-AI mathematical discovery by itself.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-28T08:47:35.674Z
GPT assisted the extension from 3-uniform to general uniformity, and gaps found during formalization were repaired with GPT assistance. The exact AI-origin step and essential human repairs need allocation before retaining a distinct new contribution.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-26T08:59:58.123Z
Structured assurance for agentic software development, evaluated as a workflow. No distinct central-AI theorem or theoretical-computer-science result established.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-26T08:59:58.123Z
AI used for literature, computations and proof checking; another author uses it only for language editing. The residue-sum result’s central AI mathematical origin is not identified. Available hand proofs and data do not settle that allocation.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-26T08:59:58.123Z
Codex generated/revised Lean definitions and proofs for quantum measurement compilation. A specific novel AI-origin compilation insight is not allocated by this disclosure; do not equate generated proof code with central origin.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-26T08:59:58.123Z
Finite delayed mass response at a critical Cauchy-horizon surface-gravity relation, with bounded mass and local finite-energy weak extensions. Source-specific central AI origin is not documented in the retrieved manuscript; formalization alone cannot establish it.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-26T08:59:58.123Z
Numerical prior-geometry/latent-collapse comparison and a partial Lean theory skeleton. Its finite-resource model and uncertainty are not universal physics laws, and a central AI-origin theoretical contribution is not established.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-26T08:59:58.123Z
Authors explicitly derive the main expressions by hand; GPT checks agreement after the manual computation. Selected Lean results and numerical illustrations do not establish a central AI contribution.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-26T08:59:58.123Z
AI disclosure limits work to manuscript revision and coding. Rooted-forest identity and known-theorem proof are not centrally attributed to AI; formal verification has limited stated scope.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-26T08:59:58.123Z
Read the token-perceptron primary manuscript: replica/spectral-closure analysis studies learning systems. A specific central AI-origin theoretical contribution is not established; studying AI is not itself AI mathematical discovery.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-26T08:59:58.123Z
Read v2: mainly recovers known scalar-field models and modest background-likelihood gains. Best nominal ΔAIC=-3.328 but ΔBIC=+7.699; one mock is not a global significance calibration. The shown induced-gravity fit fails a no-ghost condition and the Gauss–Bonnet example has unresolved tensor-speed/validity issues. No new viable physical theory established.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-26T08:59:58.123Z
Read v1: agent reproduces candidate regions of a phase diagram already published in April, with N≤60 evidence, unresolved points and interpolated finite-size brackets. This is a validation/benchmark, not a newly discovered phase or exact thermodynamic boundary.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-26T08:59:58.123Z
Potential central-AI derivation of new NLO transverse-spin-transfer hard functions. Read v1 and current pinned artifact: symbolic and sampled route comparisons share generated amplitudes, scalar reduction and assembly. The 26 October artifact warns that unpatched Kira 3.1 can silently return wrong reductions on Apple Silicon and requires regeneration after correction. Reconcile the published coefficients with a validated generator/binary and rerun provenance before an editorial decision. The notice does not refute results produced on unaffected or validated patched builds.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-26T08:59:58.123Z
Absent from the current metadata response. Investigate source history before deciding whether any publication needs correction or withdrawal.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-26T08:59:58.123Z
Read the SOMA primary manuscript: optimizer theory and training experiments concern AI as a subject. No source-specific central model-origin mathematical idea established.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-26T08:59:58.123Z
Legacy pharmaceutical-report information extraction is outside the scoped mathematics, theoretical-computer-science and theoretical-physics contribution review.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-26T08:59:58.123Z
Agent energy benchmarking is not a retained new AI-origin theoretical result in the requested fields.
Screening recorded: 2026-10-26 · Decision reviewed: 2026-10-26T08:59:58.123Z
The author explicitly owns the mathematics and proof architecture/sketches; LLMs wrote Lean code, documentation and announcement text. This disclosure does not establish central AI mathematical origin.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
Bou-Rabee explicitly says the ideas are his own. AI-assisted calculations, technical lemmas, experiments and formalization alone do not meet the contribution threshold.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
KAPPA checks supplied statistical papers step by step. This is verification-workflow and benchmark research; no specific new central-AI mathematical contribution was isolated.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
Prior unresolved review retained: separate each model-proposed evolutionary algorithm from known runtime baselines and exact oracle assumptions. A benchmark table is not a universal theorem.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-28T08:47:35.674Z
Project-level semantic-alignment evaluation concerns formalization fidelity. HTML access failed; the exact-version PDF was retrieved. No new AI-origin mathematical contribution is identified by the discovery metadata.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
Extensive directed AI use is disclosed, but the particular new rainbow-map construction/counting argument is not allocated to AI. Check the exact central contribution and prior graceful-labeling results.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
Claude assisted proof development/checking and formalization. Isolate which retained characterization or construction centrally originated with the model, rather than inferring eligibility from assistance.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
Formalization and source retrieval succeeded; a specific centrally AI-origin improvement to the univalent Bloch–Landau bound still needs contribution-level allocation and prior-bound comparison.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
Proof-generation method evaluated on multiple-answer Lean statements. Benchmark performance is not automatically a new mathematical discovery.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
Determine whether the bandwidth/expert-byte model contains a new centrally AI-origin theoretical result; performance engineering and formalized cost accounting alone do not establish this.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
Python-to-Lean verification/transpilation framework; no distinct new AI-origin mathematical result identified in this review.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
The source discloses Codex assistance with constructing the BFGS example and GPT discussion of proofs, plus independent author checking. Establish the central model-origin step and compare the precise line-search/interpolation assumptions before inclusion.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
Interactive autoformalization tooling; formalizing supplied human mathematics alone does not qualify.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
GPT reportedly largely produced the order-basis proof from a suggested Mazur-style strategy and supplied technical constructions from earlier human ideas. Allocate the retained construction/proof novelty against that prior strategy, including any essential human repairs, before a keep decision.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
Prior unresolved review retained: mathematical derivation assistance does not isolate AI origin of the unknown-horizon clipped-SGD rate.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-28T08:47:35.674Z
Formalizing an existing historical text does not establish a new centrally AI-origin mathematical contribution.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
Quantum-program verification infrastructure and reproduction of specified algorithms, rather than an identified new centrally AI-origin quantum algorithm.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
The source says the mathematical arguments were independently developed, checked and written by the author. Editing, exploratory discussions and Codex formalization do not establish central AI origin.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
Read revised v2: authors supplied the main ideas and directed mathematical development. AI assistance with proof questions, exposition and simulations does not establish a central model-origin contribution.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
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.
