首页 / 资讯详情
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.
本站为资讯聚合平台，仅展示标题与摘要，原文版权归原发布方所有；如有侵权请联系我们删除。