Sources we considered, with review status and reasons.
3239 recorded entries · 765 awaiting detailed review · 637 excluded · 672 on hold · 3 publisher withdrawals · 1162 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.
2077 matching entries · Page 41 of 42
Reviewed actual v2. Langlands’s known lemma is formalized; ChatGPT transferred formulas/citations and helped wording. That disclosure does not establish central AI mathematical work.
Screening recorded: 2026-10-23 · Decision reviewed: 2026-10-23T08:28:30.727Z
Compressible-Euler cutoff implosion paper discloses Claude editing and numerical-method reproducibility checking. These roles are not central AI discovery; simulations plus asymptotics are not an exact general blow-up theorem.
Screening recorded: 2026-10-23 · Decision reviewed: 2026-10-23T08:28:30.727Z
Flux-vacua scan discloses AI coding and language polishing for ML analysis. SLSQP candidate minima and embedding patterns do not establish a central AI theoretical contribution or a complete physical-vacuum classification.
Screening recorded: 2026-10-23 · Decision reviewed: 2026-10-23T08:28:30.727Z
Actual v2 gives AI exploration/centering/corrections disclosures. Isolate the new central aggregation construction from human design and prior Coppersmith–Winograd/Pan identities before inclusion; no automatic matrix-exponent upgrade.
Screening recorded: 2026-10-23 · Decision reviewed: 2026-10-23T08:28:30.727Z
Actual v2 reports ChatGPT candidate counterexamples and proof-strategy exploration. Exact central retained AI lower-bound or certificate idea remains unresolved.
Screening recorded: 2026-10-23 · Decision reviewed: 2026-10-23T08:28:30.727Z
The source calls this a proof draft and identifies further checking points. No contribution-specific central AI role established; do not relabel the proposed axisymmetric regularity threshold as checked.
Screening recorded: 2026-10-23 · Decision reviewed: 2026-10-23T08:28:30.727Z
Black-hole-scattering thesis uses Claude for language and figures. Fifth-order post-Minkowskian/self-force scope does not make that editing central AI theory discovery.
Screening recorded: 2026-10-23 · Decision reviewed: 2026-10-23T08:28:30.727Z
Exact few-magnon Bethe-scar v2 read in its alternating-chain model. No documented central AI role established; numerical or analytical quantum work alone is not eligible.
Screening recorded: 2026-10-23 · Decision reviewed: 2026-10-23T08:28:30.727Z
Functional-analytic Hardy–Littlewood-equivalence paper has no identified central AI contribution in the retrieved version; no inclusion inferred from a collector match.
Screening recorded: 2026-10-23 · Decision reviewed: 2026-10-23T08:28:30.727Z
The reciprocal-RIS result documents Claude-assisted Lean verification. This does not identify central AI origin of the electromagnetic design theorem; no inclusion inferred from machine verification.
Screening recorded: 2026-10-24 · Decision reviewed: 2026-10-24T07:28:43.626Z
Proof-carrying contracts concern agent commitments and checking infrastructure. Examples of LLM-generated proofs and known formal-method protocols are not a scoped new central-AI mathematics or theory discovery.
Screening recorded: 2026-10-24 · Decision reviewed: 2026-10-24T07:28:43.626Z
The AI disclosure limits assistance to symbolic-experiment code and formal verification of the two main theorems. The new irrationality arguments are not centrally attributed to AI.
Screening recorded: 2026-10-24 · Decision reviewed: 2026-10-24T07:28:43.626Z
Actual v2 algebraic/geometric classification read. A new central AI contribution is not documented in the retrieved source; changed formalization metadata does not establish mathematical origin.
Screening recorded: 2026-10-24 · Decision reviewed: 2026-10-24T07:28:43.626Z
Mechanized communication-safety metatheory needs a specific central AI-origin theorem, rather than verification of a human-designed type system alone.
Screening recorded: 2026-10-24 · Decision reviewed: 2026-10-28T08:47:35.674Z
Exact compilation and resource laws are formal-method results. No contribution-specific central AI origin established from the manuscript; do not promote a proof-assistant listing automatically.
Screening recorded: 2026-10-24 · Decision reviewed: 2026-10-24T07:28:43.626Z
HTML unavailable; versioned PDF recovered. The power- cycle statement in projective cubic graphs has precise edge-width assumptions, but its central AI origin remains unestablished.
Screening recorded: 2026-10-24 · Decision reviewed: 2026-10-24T07:28:43.626Z
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 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 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--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 but ; 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 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
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.
