OpenAI has released 722 mathematical manuscripts generated by unpublished internal frontier models, based on evaluations of around 4,000 open research questions, with conclusions still undetermined. The manuscripts have been consolidated into 372 sets of interrelated results, covering topics like the Unique Games Conjecture, the Quasi-Riemann Hypothesis, and the Free Group Factorization Problem. Some results include Lean formal proofs that can be step-by-step verified by machines. OpenAI stated that the non-formalized parts may still contain errors, and the independent mathematical advisory group AGMAI involved in consultations has not endorsed these conclusions.