OpenAI News·· 9 天前
OpenAI 发布前沿模型在数学开放问题上的新成果
Sharing AI progress in mathematics
AI 导读
OpenAI 发布了内部前沿模型在数学开放问题上的最新研究成果。相关 Lean 证明形式化内容及研究细节已在 GitHub 上公开分享。
来源：OpenAI News · openai.com
Sharing AI progress in mathematics
OpenAI 发布了内部前沿模型在数学开放问题上的最新研究成果。相关 Lean 证明形式化内容及研究细节已在 GitHub 上公开分享。
来源：OpenAI News · openai.com