OpenAI 分享 frontier model 的数学研究结果与 Lean 证明形式化
OpenAI 发布内部 frontier model 在数学开放问题上的最新结果，并在 GitHub 分享 Lean 证明形式化与研究细节。材料未提供具体问题、模型名称或结果数据。
#OpenAI
OpenAI NewsAI 评分5151
Import AIAI 评分3333 Import AI 469：科学 AI、递归自我改进模拟器与 Zuck 的技术悲观主义
DiG-bench 是一个由牛津、普林斯顿、Swiss AI Lab 等机构联合发布的游戏发现基准，包含 70 个隐藏规则的小型交互游戏，目前 21 个已公开、其余私有，用于衡量模型在未知环境中通过探索发现规则的能力。