精选OpenAI News短讯

OpenAI 分享数学领域 AI 进展及 Lean 证明形式化成果

4 天前openai.com模型AI评分：70/100

OpenAI 发布了其内部前沿模型在数学开放问题上的最新研究成果，并在 GitHub 上公开了相关的 Lean 证明形式化代码及研究细节。此举旨在促进 AI 在数学推理领域的进步与社区协作。