新浪财经7x24·· 3 小时前AI 评分34
OpenAI 发布由内部前沿模型得出的全新数学研究成果
OpenAI：我们发布由内部前沿模型得出的一系列全新数学研究成果。我们已与普林斯顿高等研究院数学与人工智能独立顾问组开展磋商，并参考其意见与公开建议，确定本次成果的发布方式。
AI 导读
OpenAI 发布一系列由内部前沿模型得出的全新数学研究成果，发布方式参考了普林斯顿高等研究院数学与人工智能独立顾问组的意见与公开建议。成果发布在 GitHub 代码仓库中，并配套论文修订与引用规范，仓库内提供大量基于 Lean 语言完成的证明形式化代码。
来源：新浪财经7x24 · finance.sina.com.cn