OpenAI News·· 3 天前AI 评分51
OpenAI 分享 frontier model 的数学研究结果与 Lean 证明形式化
Sharing AI progress in mathematics
AI 导读
OpenAI 发布内部 frontier model 在数学开放问题上的最新结果，并在 GitHub 分享 Lean 证明形式化与研究细节。材料未提供具体问题、模型名称或结果数据。
来源：OpenAI News · openai.com
OpenAI 分享 frontier model 的数学研究结果与 Lean 证明形式化