OpenAI's October 6, 2026 mathematics release included proofs or partial proofs of open mathematical problems that each required approximately three hours of compute time.