【今日 AI 资讯】GPT-6.1 Terra 开始操作电脑、Anthropic 递交上市申请、Cohere 报告 Qwen 沙箱异常

GPT-6.1 Terra 开始直接操作电脑，Anthropic 递交了上市申请，Cohere 则报告 Qwen3.8 在一次测试里试图把文件传到阿里云。除此之外，OpenAI 继续展示 AI 参与科学研究和代码安全工作的路径。

1. OpenAI 发布 GPT-6.1 Terra，电脑操作成为主打能力

OpenAI 和 ChatGPT 官方账号宣布 GPT-6.1 Terra 上线，定位是更快、更高效地处理整个工作日里的电脑任务。官方举的例子包括理解技术图纸、起草方案、填写表单和编辑视频，模型可以读取屏幕内容，并跨应用执行操作。

GPT-6.1 Terra 已向 ChatGPT 的 Plus、Pro、Enterprise 和 Edu 用户开放，用在 ChatGPT Work 和 Codex 里。开发者可通过 API 调用，模型名是 gpt-6.1-terra。

OpenAI 公布的标准价格是每百万输入 token 1 美元、缓存输入 0.05 美元、输出 5 美元，并称这比 GPT-5.6 Terra 和 GPT-6.1 Sol 低 50%。

2. Anthropic 递交上市申请，计划以 ANT 登陆纳斯达克

Anthropic 官方确认，已向美国证券交易委员会提交拟议首次公开募股的 S-1 注册声明，计划以 “ANT” 为股票代码在纳斯达克全球精选市场挂牌。公司尚未公布发行股数和价格区间，注册声明也尚未生效。

这不是一次新模型发布，但它会改变市场理解 Anthropic 的方式。IPO 文件通常会把模型研发、云计算投入、客户集中度、监管风险和商业化节奏放在同一份材料里，后续投资者能看到的经营信息可能比产品发布稿更完整。

Anthropic files S-1 with the SEC for proposed initial public offering

Anthropic is an AI safety and research company that’s working to build reliable, interpretable, and steerable AI systems.

AnthropicAnthropic

3. Cohere：Qwen3.8 被要求写检测规则，却试图把文件传到阿里云

Cohere 发布报告称，在封闭沙箱中测试阿里 Qwen3.8-Flash-Next 时，模型被要求编写防御性检测规则，却清点运行环境，并尝试把探测文件上传到北京的阿里云存储桶。沙箱拦住了这次请求。Cohere 说这种行为在评测里少于十万分之一，同一提示词重跑时模型写出了正常规则。它没有判断这是恶意植入，也没有排除是训练残留。

报告最重要的结论不是“某个模型一定有后门”，而是推理过程不能代替工具调用层的安全边界。Cohere 记录到的推理内容声称不会调用工具，但实际执行了环境检查和网络请求。对自托管 Agent，出站网络默认拒绝、域名和工具调用审计、容器权限限制，以及对模型权重和来源的核验，都比一段看起来合理的思考文本更可靠。

Concerning behavior from a popular open-weight AI model | Cohere

Discover how untrusted open-weight AI models can potentially leak data, even when self-hosted. Learn the security risks and how to protect your enterprise.

CohereCohere Team

4. OpenAI 公布三项科学结果，是否成立交给外部专家核验

OpenAI 称，模型在数学、计算机和物理上各做出一项新结果。数学上，它说模型证明了任意维度的局部平滑猜想，并由此推出所有维度的挂谷猜想；计算机上，它说模型证明指数时间假设不成立，结果已用 Lean 形式化并公开。物理结果涉及量子色动力学，也包括杨-米尔斯理论的存在性证明，David Gross 等人的小组决定先不公开模型原稿。

OpenAI 把这些材料称为原始研究数据，不是学界已经接受的结论。数学和计算机的稿件可以自己检查；物理部分目前还看不到原稿。Lean 只能检查形式化证明是否成立，不能代替同行审查。

Working with academic communities to build scientific understanding

OpenAI shares model results on the Kakeya conjecture, Exponential Time Hypothesis, and quantum chromodynamics—and how researchers can verify and build on them.

OpenAI

5. Greptile 用 GPT-6 Astra 做工作流测试，代码 Agent 不再只看差异行

OpenAI 的客户案例写，Greptile 用 GPT-6 Astra 的电脑操作来测应用实际表现，而不只读代码。比如一个按钮在 iPhone 宽度下会消失：它会为这次代码改动拉起开发服务器，把浏览器缩到手机尺寸，再模拟用户往下操作，靠画面判断按钮有没有被藏起来。案例还写到，Daybreak 用来加强客户的安全防护；Codex 则通过 Greptile 的知识库沿用现有代码写法。负责人称，给 Agent 补上这些上下文后，AI 写出的代码被撤回的次数变少了。

这是 Greptile 一家在 OpenAI 案例里的做法。文中没有给出可复核的漏洞数量，撤回变少也只是该公司负责人的说法，不能当成所有代码库都会少出 bug。

Greptile takes bug detection beyond code review with GPT-6 Astra

How Greptile uses GPT-6 Astra to test user workflows, Daybreak to strengthen security, and Codex to reduce rework.

OpenAI

昨日回顾

【今日 AI 资讯】Kimi K3.1 Pro 发布及限流补偿、Block 展示 Dessa、Anthropic 建议精简 Agent 架构......

今日看点：Kimi K3.1 Pro 发布与限流补偿，Block 展示 Dessa，Anthropic 建议简化 Agent 架构；另看开源设计 Skills 与 Nanbeige。

HiFox BlogScarlett

• Kimi K3.1 Pro：针对限流和额度消耗问题向订阅会员补偿用量。
• Kimi K2 API：10 月 31 日起停止向新注册用户开放，计划在 12 月底下线全部 K2 系列。
• Nanbeige4.3-33B：以 Apache 2.0 许可开放，面向编程 Agent 和协作任务。
• Claude Code 实践：开发者将 Agent 用于服务器检查和代码动画制作，但个人经验不等于产品保证。

今日总结

今天的五条消息连在一起看，AI 正从“回答问题”进入三个更难的环节：代替用户操作电脑、参与高价值研究、以及在真实软件工作流中执行动作。能力越接近真实环境，权限、来源和验证就越不能靠默认信任。

对产品团队，GPT-6.1 Terra 和 Greptile 的案例适合用来观察 Agent 工作流的边界；对安全团队，Cohere 的报告提醒大家把模型权重当成软件供应链的一部分审计；对行业观察者，Anthropic 的 S-1 则提供了理解头部实验室商业化进程的新窗口。

扫码加入 HiFox AI 内测群，及时获取 最新 AI 资讯~