AI 头条：OpenAI Codex 增加了互联网访问权限，Mistral 发布编码助手

软件公司不断尝试在其平台上添加越来越多的 AI 功能，而 AI 公司也在不断发布新模型和功能。要跟上这一切可能很困难，因此我们撰写了这篇综述，分享开发者应该了解的几项有关 AI 的重要更新。

OpenAI 宣布 Codex 更新

编码代理Codex现在可以在任务执行期间访问互联网，从此开启新功能，例如安装运行时基本依赖项、需要的外部资源的测试以及升级或安装包等能力。

目前在默认情况下，互联网访问处于关闭状态。你可以在创建新环境时启用它，也可以编辑环境以打开它。用户可以控制 Codex 可以使用的域名和 HTTP 方法。 

OpenAI 还宣布 Codex 已开始向 ChatGPT Plus 用户推出。该公司也指出，在高需求时段，可能会对 Plus 用户施以速率限制。 

Mistral 新发布编码助手

Mistral Code 近日发布，它基于开源项目，该项目提供了用于创建 AI 代码助手的模型、规则、提示语、文档和其他构建块的中心。它由四种不同的编码模型提供支持：Codestral、Codestral Embed、Devstral 与 Mistral Medium。

它现在已经精通 80 多种编程语言，可以推理文件、Git 差异、终端输出和问题。目前，它已在 JetBrains IDE 和 VSCode 等主流编辑器中提供内测版本。

Mistral Code 的目标很简单：通过一个可在云端、预留容量或隔离的本地 GPU 上部署的集成平台，为企业开发者提供一流的编码模型，实现从即时完成到多步骤重构的各项功能。与典型的 SaaS 副驾驶不同，Mistral Code 堆栈的所有部分（从模型到代码）均由同一提供商提供，并遵循同一套 SLA，并且每一行代码都位于客户的企业边界内。该公司在公告中写道。 

Postman 引入 Agent 模式，将 AI 代理的力量融入 Postman 的核心能力

代理模式可以创建、组织和更新集合；创建测试用例；生成文档；构建多步骤代理以自动执行可重复的 API 任务以及设置监控和可观察性。

Postman 首席执行官兼联合创始人 Abhinav Asthana 提到，这就像身边有一位 Postman 专家用户一样。

该公司还宣布，用户可以将 Postman 网络上的任何公共 API 转换为 MCP 服务器。此外，该公司还推出了一个 MCP 服务器网络，发布商可以在其中托管代理工具，并让开发者轻松找到它们。Postman 首席执行官兼联合创始人 Abhinav Asthana 这样表示道：“我们基本上整合了目前所有可用的远程 MCP 服务器，对其进行了验证，然后将它们部署到公共网络上。”

FinOps 基金会推出 FinOps for AI 认证

该基金会如此解释说，培训和认证旨在“帮助 FinOps 从业者了解、管理和优化与人工智能相关的云计算机支出”。

它将讨论人工智能特定的成本分配、退款模型、工作负载优化、单位经济学和可持续性等主题。 

该培训课程将分为四部分，第一部分现已推出，其余部分将于 2025 年 9 月、2025 年 11 月和 2026 年 1 月推出。其认证考试将于2026年 3 月开始。 

微软 Dev Proxy 最新版本新增大语言模型使用情况和成本跟踪功能

Dev Proxy 0.28 当前包含 OpenAITelemetryPlugin，可让你了解应用程序与 OpenAI 的交互方式。对于每个请求，它将提供有关所用模型、令牌数量、成本估算以及每个模型的分组摘要的信息。 

Dev Proxy 现在还可以使用本地 AI 运行时堆栈 Foundry Local 作为其本地语言模型提供程序。 

Dev Proxy 0.28 中的其他更新包括 .NET Aspire 的新扩展、改进的 TypeSpec 生成 PATCH 操作、对模拟文件中的 JSONC 的支持以及改进的日志记录。 

Snowflake 推出代理 AI 的创新技术，助力数据洞察

Snowflake Intelligence（即将推出公开预览版）由智能数据代理提供支持，并提供自然语言提问体验，从而从结构化和非结构化数据中获取切实可行的见解。根据该公司的媒体公告，即将推出个人预览版的还有一款新的数据科学代理，旨在帮助数据科学家自动化常规机器学习模型开发任务。

Snowflake Intelligence 汇集了来自众多来源的数据，并使用全新的 Snowflake Openflow 同时编译来自电子表格、文档、图像和数据库的信息。

Snowflake 在公告中表示，数据代理可以生成可视化效果，并协助用户根据洞察采取行动。Snowflake Intelligence 还可以通过 Cortex Knowledge Extensions 访问第三方知识，该扩展即将在 Snowflake Marketplace 上全面推出。

Progress 增加了新的 AI 代码助手

Progress Software 公司宣布，将在 2025 年第二季度发布的 Progress Telerik 和 Progress Kendo UI、.NET 和 JavaScript UI 库中内置新的 AI 代码助手及其他功能，用于现代应用程序开发。该公司还宣布，此版本引入了适用于 Blazor 和 React 的 AI 编码助手、AI 驱动的主题生成以及 GenAI 支持的报告洞察。

AI 编码助手可以在 Telerik UI 中自动生成适用于 Blazor 和 KendoReact 库的众多 AI IDE 代码，从而减少手动编辑的时间并缩短开发周期。此外，该公司在公告中写道，开发人员可以将自然语言提示添加到 Progress ThemeBuilder 中，为 Telerik 和 Kendo UI 组件创建自定义样式。此次发布的版本还包括由 Progress Telerik Reporting 中的生成式 AI 提供支持的报告摘要和洞察，以及一个由 GenAI 支持的 PDF 处理库。该公司表示，该库可以提供“即时文档洞察、编辑器控件中的 AI 提示选项以及新的 AI 构建块和页面模板，以加快 UI 开发速度”。

IBM 宣布成立 Wastonx AI 实验室

Watsonx AI Lab 是位于纽约市的IBM创新中心，将把人工智能开发人员与 IBM 的资源和专业知识联系起来。 

IBM 表示，之所以选择纽约市作为孵化基地，是因为这里拥有超过 2000 家人工智能初创公司。该公司希望为这些初创公司提供支持，并与当地大学和研究机构开展合作。 

IBM 数据与人工智能总经理 Ritika Gunnar 这样表示：“这不是典型的企业实验室。Watsonx 人工智能实验室让最优秀的人工智能开发者能够接触世界一流的工程师和资源，并构建新的业务和应用程序，从而重塑企业人工智能。我们将这一使命扎根于纽约市，旨在投资一个多元化、世界一流的人才库和一个充满活力的社区，其创新长期以来一直影响着科技格局。”

编辑：万能的大雄