Microsoft-backed (MSFT) OpenAI has publicly released 722 new mathematical results produced by one of its internal frontier models, the company said Tuesday.

The results were published in a GitHub repository, with protocols included for paper revisions and citations, the company said. OpenAI added that it is publishing formal versions of many proofs in Lean, a programming language that allows computers to check mathematical proofs.

The company is also publishing details about how it obtained the results, including 10 summaries of the model's reasoning, estimations of compute spent, and statistics about the number of attempted problems, the company said.

The company will also fund a series of workshops, conferences, and programs around the understanding of major results produced by AI, it said.

The company also said it is working toward responsibly releasing the model that generated the results.