OpenAI Releases 722 Math Papers From an Unreleased AI Model 7 October 2026·2272 words·11 mins OpenAI Artificial Intelligence Mathematics Ai Research Lean Riemann Hypothesis Hodge Conjecture Unique Games Conjecture