新闻Sharing AI progress in mathematics2026年10月6日1 分钟阅读来源：OpenAI NewsOpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.