According to Jin10, OpenAI said it will release these manuscripts, formal Lean proof certificates, and explanations of the reasoning process for mathematicians to review the results and further develop the relevant research ideas.
Article
OpenAI to Publish Manuscripts, Lean Proof Certificates, and Reasoning Process Notes for Mathematicians
--・
Disclaimer: Includes third-party opinions. No advice. Binance AI may be used without guarantee. See T&Cs.