[OpenAI Publishes 722 Mathematical Manuscripts Generated by Internal Model] OpenAI posted on the X platform stating that it will release a series of new mathematical findings produced by a cutting-edge internal model, following the recommendations of the Princeton Institute for Advanced Study's 'Mathematics and Artificial Intelligence Advisory Group.' According to its GitHub repository, a total of 722 manuscripts have been collected so far, categorized into 372 result families. Some include Lean formal proofs, though not all have been fully verified. OpenAI noted that some non-formalized results may contain issues and will continue to provide updates in the future.