OpenAI released a collection of 722 mathematical results and proofs on October 6, 2026, produced by an internal frontier model and formalized in the computer-checkable Lean language