OpenAI News·· 3 天前精选AI 评分70
OpenAI 公开前沿模型数学解题结果与 Lean 证明形式化代码
Sharing AI progress in mathematics
AI 导读
OpenAI 发布了一项内部前沿模型在数学开放问题上的研究成果，并在 GitHub 上公开了 Lean 证明形式化代码及研究细节。
推荐理由
OpenAI 公开了前沿模型在数学难题上的解题结果及 Lean 证明形式化代码，为评估模型推理能力提供了可复现的基准。
来源：OpenAI News · openai.com