What was already known
These are competition problems with known human solutions, not open research conjectures.
What changed and why it matters
A concrete reproduction in formal mathematics, separate from the aggregate competition score.
The AI contribution
AlphaProof searched for proofs; human experts supplied the formal problem statements.
Limitations
Humans translated the problem statements. AIProofWatch has not compiled the proofs or audited their assumptions; no open conjecture is resolved by this entry.
Verification evidence
Evidence labels show what supports the claim. Importance rates its impact if correct.
Author claim
Authors’ account of the three AlphaProof results.
Accessible artifact / proof
Rendered statements and proofs, with Lean file downloads.
Formal checking
Author-reported Lean checking of the supplied statements; not rechecked by AIProofWatch.
Checking a formal statement does not establish that it matches the original problem.
Peer review
The AlphaProof methodology was published in Nature; publication does not establish independent reproduction of each artifact.
Correction and publication history
Historical seed, researched for the initial catalog. Initial alerting disabled.
Read this published revision