OpenAI has released 722 mathematical manuscripts produced by an internal frontier model, organized into 372 result families. The release strategy follows recommendations from the Institute for Advanced Study's Mathematics and AI Advisory Group. The manuscripts are available in a GitHub repository, with some accompanied by Lean formal proofs. OpenAI cautioned that not all results have been fully verified and noted that unformalized entries may contain errors, with updates planned as verification continues.