科技媒体 RSS· OpenAI News·2026-10-06 20:00· 11 天前AI 评分62

OpenAI 公布内部前沿模型在数学开放问题上的新结果

Sharing AI progress in mathematics

AI 导读

OpenAI 发布内部前沿模型在数学开放问题上取得的新结果，并在 GitHub 上公开 Lean 证明形式化与研究细节。

来源：科技媒体 RSS · openai.com

OpenAI / ChatGPT 推理能力数据与训练论文研究 #论文/研究 #推理 #数据/训练 #OpenAI #GitHub