OpenAI says internal model likely solved at least five of ten First Proof research math problems
OpenAI published proof attempts for all ten First Proof research math problems on February 14, 2026. Experts give five a high chance of correctness; one earlier claim has been retracted after community review.