Sharing AI progress in mathematics
模型动态 · OpenAI · 2026-10-06
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
来源：OpenAI；整理：TokenCha 智选通道编辑部。