产品官方一手
GamePad: 定理证明学习环境
精选理由
为AI从业者提供了研究形式推理与强化学习结合的新基准，可能加速推理能力提升。
OpenAI发布GamePad，一个专为定理证明设计的强化学习环境，允许AI通过游戏化交互学习证明数学定理。该环境支持多种交互模式，可评估证明策略，为AI在形式推理领域的研究提供标准化测试平台。其对推动AI在数学和逻辑推理上的突破具有重要意义。
继续读
同标签或同类目的最近条目产品17:40
Claude-web 与 ChatGPT-web 支持服务端工具调用，DeepSeek-web 缺失该能力有人指出三家网页版根本不是同一起跑线：Claude 和 ChatGPT 能服务端调工具，DeepSeek 不能但免费，对比前先看这点。
Google 开源 Harness2：测试时递归改写智能体 harness 的框架
Google 开源了个叫 Harness2 的框架，不改模型参数、只改测试时的 harness 代码，就让 GLM-5 在 WorkBuddy-Bench 上涨了 11.5 分，做智能体的可以看看。
格兰菲 GF800 流片送样：自研 GPU 搭 NPU 的 Arm SoC 面向边缘 AI
国产 GPU 厂商格兰菲做了颗 Arm SoC，8 核 A78 加自研 GPU 和 NPU，专跑边缘 AI 和机器人，已经开始给客户送样了。
黄仁勋力荐微软 Surface Laptop Ultra：搭载 N1X 芯片与 Blackwell 显卡
黄仁勋亲自站台微软新笔记本，N1X 芯片加 128GB 内存主打本地跑智能体，四年研发的细节挺有意思。