Sharing AI progress in mathematics2026年10月6日OpenAI BlogOpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.OpenAI阅读原文此新闻摘要为您精选。阅读全文，请访问官方来源。访问来源