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 39 of 39
Read revised v2 discovery and formalization scope. Separate the proof-assistant framework and reproduction of the radii-polynomial method from any specific new AI-origin analytic result.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
Read revised v2. Main human ideas are separately credited; Claude proposed an example and filled selected technical steps. Review the exact example and whether it is a retained distinct central contribution before inclusion.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
OpenAI explicitly attributes the proofs to models and reports completion of a Yang–Mills Lean formalization. The materials are withheld for a working group. Exact constructed theories, hypotheses, axioms and checking scope cannot be reviewed publicly; do not claim a mass gap, a complete Millennium resolution or new experimental physics. Gross, Douglas, Jaffe, Klebanov and Nekrasov are prospective stewards, not completed validators.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
The maintainers report 414 accepted and two unfinished of 416 earlier challenges; nine definition-body exceptions, shared compiled workspace and two optional nanoda checks are explicit. Claude Code set up/monitored the runs. These logs do not document human mathematical understanding, new 079/378/032 coverage, or unchanged current proof dependencies. Reconcile individual hashes and statement scope before any further revision; no blanket rating upgrade.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
Absent from the current metadata response. Investigate source history before deciding whether any publication needs correction or withdrawal.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
Absent from the current metadata response. Investigate source history before deciding whether any publication needs correction or withdrawal.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
Absent from the current metadata response. Investigate source history before deciding whether any publication needs correction or withdrawal.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
Artifact head is unchanged from the reviewed 26 October correctness notice. Carry forward the pending relation between published coefficients and an unaffected or patched validated Kira generator; no refutation or successful rebuild inferred.
Screening recorded: 2026-10-27 · Decision reviewed: 2026-10-27T08:42:21.059Z
OpenAI reports a sign error that invalidates the stabilization-trace cancellation argument.
Screening recorded: 2026-10-11
OpenAI withdrew this dependent paper because it uses the flawed stabilization-trace construction.
Screening recorded: 2026-10-11
OpenAI withdrew this dependent paper because it uses the flawed stabilization-trace construction.
Screening recorded: 2026-10-11
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.
