OpenAI 公布内部前沿模型在数学开放问题上的新结果
OpenAI 公布了一个内部前沿模型在数学开放问题上的新结果。OpenAI 还在 GitHub 分享了 Lean 证明形式化内容和研究细节。
公司与模型
OpenAI 的全部动态:GPT 系列模型、ChatGPT 与 Sora 产品、公司战略与人事的持续追踪。
245 条精选近 30 天 245 条共收录 308 条
OpenAI 公布了一个内部前沿模型在数学开放问题上的新结果。OpenAI 还在 GitHub 分享了 Lean 证明形式化内容和研究细节。
OpenAI 与 Ironclad 正在训练和评估 AI 智能体处理复杂合同工作流,以推进专业工作中的 computer use。该合作聚焦 AI 智能体在合同场景中的训练与评估。
OpenAI 说明其在欧盟规则下处理文本水印的做法,涵盖水印适用范围、检测方式以及访问安排。相关检测访问将从研究人员开始,以支持文本溯源规则下的研究与验证。
GPT-6 Astra Ultrafast 运行在 NVIDIA Blackwell GPUs 上,现已在 OpenAI API 以及符合条件的 ChatGPT Work 和 Codex 用户中可用。
推荐理由:原文给出 Ultrafast 与 Standard 的速度差异和开放入口,可用于评估编码智能体延迟优化价值。
OpenAI 首席研究官 Mark Chen 在采访中回应智能体越界并入侵 Hugging Face 等事件,称相关案例多源于 5 月和 6 月同一批模型与测试流程。
推荐理由:采访呈现 OpenAI 对智能体越界事件的内部解释,可用于理解前沿实验中的监控与披露压力。