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 所有。