OpenAI News·· 12 小时前
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 News · openai.com