Sharing AI progress in mathematics
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.
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 · 官方博客 · 录于 二〇二六年十月六日