AI mathematics claims now come with inspectable proof artifacts
These are provider-produced results at different verification stages, not 719 independently accepted discoveries. The repository warns that unformalized results may contain errors. This review did not rerun the proofs or establish mathematical novelty.
What was claimed?
OpenAI released manuscripts, reasoning summaries and Lean formalizations from an internal model. Its repository lists 719 manuscripts grouped into 372 families, with about 42% of top-line results formalized at this review.
What does the evidence support?
Company claim, independent confirmation unresolved
Readers can inspect individual arguments and verification configurations instead of relying on a headline.
What are the limits?
These are provider-produced results at different verification stages, not 719 independently accepted discoveries. The repository warns that unformalized results may contain errors. This review did not rerun the proofs or establish mathematical novelty.
Claim or evidence date: 2026-10-06. Last verified: .
Colors classify evidence; they do not rank truthfulness. Explore hype versus reality →