Sharing AI progress in mathematics

来源摘要

OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.

摘要由机器生成（来自来源站点），可能存在偏差； 本站不转载全文，请以原文为准。