OpenAI 公布前沿模型在数学开放问题上的进展
OpenAI 发布内部前沿模型在数学开放问题上的新结果，并在 GitHub 上公开 Lean 证明形式化与研究细节。材料仅提供摘要，未给出具体问题、模型名称或结果数据。
#GitHub
#GitHub
今日 0 条OpenAI NewsAI 评分5757
钛媒体AI 评分6363 StartLux 发布开源决策模型 StartLux-Decision，38 项基准中 31 项高于 Jev
上海人工智能公司 StartLux（原点星辉）推出开源决策模型 StartLux-Decision，一次性发布 0.8B、2B、4B、9B、27B 五档版本，并称用 Auto Research 方法在 3 天内完成研发与验证。