A complete attempt outcome does not automatically change the editorial status of the underlying problem.
01
Feb 14, 2026 · campaignOpenAI attempts all ten First Proof problems
An internal model produced attempts for ten research-level problems; expert assessments varied, and one attempt initially thought likely correct was later acknowledged as incorrect.