资讯
OpenAI 一次公开 722 篇数学论文：未发布模型的解题成果，GitHub 开源
10 月 6 日，OpenAI 把内部一个未发布前沿模型解出的 722 篇数学手稿公开到 GitHub，Apache-2.0 协议开源，部分证明附 Lean 形式化验证。这是它九周内第三次发布数学成果，数学界反应两极：有人叫好，有人要求先看证据。
标签
开源
共 3 篇。查看全部标签请回标签页。
资讯
DeepSeek Harness 国庆更新：加了个 Claude Code 兼容层
10 月 3 日，DeepSeek Harness 发布新版本，强化插件化和跨平台能力，加入实验性 Claude Code Mods 兼容层。负责人崔添翼回应：这是检验“一切皆插件”架构能力的一次尝试。
资讯
DeepSeek 联手华为开源昇腾工具链：TileLang 昇腾版对标 CUDA
9 月 30 日，DeepSeek 宣布开源面向华为昇腾平台的 TileLang 等 6 套基础设施组件，每套都与英伟达版工具一一对应。华为深度参与，双方还共建了 128 颗昇腾 950 超节点，国产 AI 的软件护城河正在被一块块填平。