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