AI 頭條：OpenAI Codex 新增網路存取權限，Mistral 釋出程式編寫助手
軟體公司持續在其平台上嘗試加入越來越多的人工智慧（AI）功能，而AI公司也不斷釋出新模型與功能。要跟上這一切可能很困難，因此我們撰寫了這篇綜合報導，分享開發人員應該了解的幾項重要AI更新。
OpenAI 宣布 Codex 更新
程式編寫代理Codex現在可以在任務執行期間存取網際網路，從而開啟新功能，例如安裝執行時基本依賴項、測試所需外部資源以及升級或安裝套件等能力。
目前，網際網路存取預設為關閉狀態。您可以在建立新環境時啟用它，或者編輯現有環境以開啟。使用者可以控制Codex可以使用的網域和HTTP方法。
OpenAI 也宣布Codex已開始向ChatGPT Plus使用者推出。該公司也指出，在需求高峰時段，Plus使用者可能會受到速率限制。
Mistral 新釋出程式編寫助手
Mistral Code 近日發布，它基於開源專案，該專案提供了用於建立AI程式碼助手（或AI程式編寫助手）的模型、規則、提示語、文件和其他建構區塊的中心。它由四種不同的程式編寫模型提供支援：Codestral、Codestral Embed、Devstral 與 Mistral Medium。
它現在已精通80多種程式語言，可以推論文件、Git差異、終端機輸出和問題。目前，它已在JetBrains IDE和VSCode等主流編輯器中提供內部測試版本。
Mistral Code 的目標很簡單：透過一個可在雲端、預留容量或隔離的本地GPU上部署的整合平台，為企業開發人員提供一流的程式編寫模型，實現從即時完成到多步驟重構的各項功能。該公司在公告中寫道：「與典型的SaaS副駕駛不同，Mistral Code堆疊的所有部分（從模型到程式碼）均由同一供應商提供，並遵循同一套服務水平協議（SLA），並且每一行程式碼都位於客戶的企業邊界內。」
Postman 引入代理模式，將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驅動的主題生成以及由生成式AI支援的報告洞察。
AI程式碼助手可以在Telerik UI中自動生成適用於Blazor和KendoReact函式庫的眾多AI IDE程式碼，從而減少手動編輯的時間並縮短開發週期。此外，該公司在公告中寫道，開發人員可以將自然語言提示添加到Progress ThemeBuilder中，為Telerik和Kendo UI組件建立自訂樣式。此次發布的版本還包括由Progress Telerik Reporting中的生成式AI提供支援的報告摘要和洞察，以及一個由生成式AI支援的PDF處理函式庫。該公司表示，該函式庫可以提供「即時文件洞察、編輯器控制項中的AI提示選項以及新的AI建構區塊和頁面範本，以加快UI開發速度。」
IBM 宣布成立 Wastonx AI 實驗室
Watsonx AI Lab 是位於紐約市的IBM創新中心，將把人工智慧開發人員與IBM的資源和專業知識聯繫起來。
IBM表示，之所以選擇紐約市作為孵化基地，是因為這裡擁有超過2000家AI新創公司。該公司希望為這些新創公司提供支援，並與當地大學和研究機構展開合作。
IBM資料與人工智慧總經理Ritika Gunnar表示：「這不是典型的企業實驗室。Watsonx AI Lab讓最優秀的AI開發人員能夠接觸世界一流的工程師和資源，並建立新的業務和應用程式，從而重塑企業AI。我們將這一使命根植於紐約市，旨在投資一個多元化、世界一流的人才庫和一個充滿活力的社區，其創新長期以來一直影響著科技格局。」
編輯：場長
相關閱讀：
Snowflake 推出代理 AI 創新技術，助力資料洞察
OpenAI 用 Rust 重寫了 AI 程式設計工具
Java之父：AI是一場騙局；小米將開發訂製晶片；Linux 6.15 正式發布