OpenAI 開源 Codex Security:免費查程式碼漏洞,還能讓 AI 直接寫補丁
OpenAI 開源了程式碼安全工具 Codex Security,提供 CLI 與 TypeScript SDK。它支援掃描程式碼倉庫、指定路徑或增量改動,能二次驗證漏洞真實性,並呼叫模型直接生成修復程式碼。雖然工具本身開源免費,但執行掃描時需要配置 API 金鑰或登入賬號以呼叫模型推理。
OpenAI 開源了程式碼安全工具 Codex Security,提供 CLI 與 TypeScript SDK。它支援掃描程式碼倉庫、指定路徑或增量改動,能二次驗證漏洞真實性,並呼叫模型直接生成修復程式碼。雖然工具本身開源免費,但執行掃描時需要配置 API 金鑰或登入賬號以呼叫模型推理。
Google 宣佈升級 Gemini API 中的託管智慧體功能,預設模型升級為 Gemini 3.6 Flash。開發者現在可以通過新增的沙箱環境鉤子攔截或稽核工具呼叫,並通過 token 上限控制預算,同時該功能正式向免費層 API 金鑰開放。
xAI 宣佈其最強程式碼模型 Grok 4.5 正式接入 GitHub Copilot。數百萬開發者可在 VSCode、Copilot CLI 等產品的模型選擇器中直接選用。部分企業需在設定中開啟,該模型也已在控制台以每百萬輸入 token 2 美元、輸出 6 美元的價格開放呼叫。
xAI 推出 Grok 的「Build Mode」早期測試版。使用者只要在對話方塊裡輸入想法,Grok 就會即時編寫程式碼並在聊天視窗中生成可互動預覽,能製作網站、應用、3D 遊戲及資料儀表盤,還支援一鍵釋出至 grok.me 或自定義域名。目前僅面向 SuperGrok Heavy 訂閱使用者開放。
阿里開源即時語音執行時 qwen-audio-agent,主打全雙工語音前臺與後臺 Agent 並行協作。使用者能像打電話一樣隨時打斷追問,後臺同時非同步跑寫程式碼、改檔案等任務,完成後直接語音彙報。
Anthropic 宣佈與 IT 服務巨頭 Cognizant 擴大合作。Cognizant 成為其全球頂級合作伙伴,已有超 3 萬名員工完成 Claude 培訓,並將 Claude Code 嵌入自身工程平臺,用於向製藥、保險等行業客戶交付智慧體系統。
Anthropic 上線 Claude Opus 5,在維持前代 Opus 4.8 價格的同時,效能逼近旗艦 Fable 5。其在 ARC-AGI 3 測試中得分達次優模型的 3 倍,並在編碼與日常辦公測試中重新整理紀錄。該模型現已成為 Claude Max 的預設選項,但在高危攻防能力上仍落後於 Mythos 5。
Microsoft 宣佈在 GitHub Copilot 與 Excel 中部署專用 MAI 模型。MAI-Code-1-Flash 程式碼採納率比 GPT-5.4 Mini 高 10%,Excel 定製版在常見任務上媲美 GPT-5.6,且支援 A100 部署。這意味著無需最新晶片也能低成本跑出前沿效果。
xAI 在 Grok Build 中上線 Workflows 功能。使用者用自然語言描述複雜任務,Grok 會自動生成編排指令碼,將任務併發分發給 128 個(大型任務達 1024 個)後臺智慧體執行與交叉驗證。工作流支援儲存為斜槓命令隨時複用,並內建深度研究模式。
Cursor 推出智慧模型路由 Cursor Router,面向團隊與企業版開放。它先分析提示詞與任務難度,再將簡單工作分給廉價模型、複雜推理留給前沿模型,A/B 測試中成本降低達 60%,提供智慧、平衡與成本三種檔位可選。
Anthropic 為 macOS 版 Claude Code 桌面端上線 iOS 模擬器公測。開啟專案後模擬器直接嵌在對話方塊旁,Claude 能自主構建、模擬點選並截圖排錯,開發者也可隨時接管互動。目前面向 Pro 及以上訂閱使用者開放,需本地安裝 Xcode。
Poolside 釋出程式碼模型 Laguna S 2.1。其採用 118B 總引數、啟用僅 8B 的 MoE 架構並支援 1M 上下文,開啟思考模式後 DeepSWE 得分達 40.4%。該模型用不到 9 周訓成且已開放權重,主打讓本地機器也能扛住長流程複雜程式設計任務。
browser-use 為 browser-harness 合併了 PR #532,支援在智慧體操作網頁時同步記錄截圖與事件流。隨後智慧體可通過內建模板將其自動合成為帶平滑縮放、游標動效和敏感資訊打碼的高質感演示影片,且全程無需安裝 ffmpeg。
Roblox 宣佈推出移動端 AI 創作工具「Build」,使用者在手機 App 中輸入文字提示詞,就能直接生成包含玩法機制、3D 場景和音效的可玩遊戲。該工具基礎版免費,將於 7 月 28 日在紐西蘭率先開啟測試,後續還將上線測試與資料分析智慧體。
Bolt 開源幻燈片生成工具 Bolt Slides。它打破傳統靜態幻燈片,將每頁做成可互動的獨立網頁,支援接入即時資料、嵌入 3D 模型與產品原型。簡報以線上連結交付,除了在 Bolt.new 直接使用,也可配合 Cursor 等智慧體本地執行。
Google 旗艦 AI 模型 Gemini 3.5 Pro 因程式設計能力不足,釋出時間推遲數月。6 月底更新訓練資料的嘗試效果令人失望,加上內部團隊各自為政,落後於 OpenAI 和 Anthropic 的現狀引發員工焦慮。受此影響,Alphabet 股價一度跌超 3%。
月之暗面釋出開源模型 Kimi K3,引數量達 2.8 萬億,是全球首個 3T 級開源模型。它採用 LatentMoE 架構啟用 16 個專家,具備原生視覺與 100 萬 token 上下文,主打長時間跨度的程式設計與智慧體任務。完整權重將於 2026 年 7 月 27 日開源。
SpaceXSI 推出面向程式設計與智慧體的新模型 Grok 4.5。該模型在數萬張輝達 GB300 上與 Cursor 聯合訓練,生成速度達 80 TPS 且擁有同類領先模型 2 倍的 token 效率,每百萬輸入與輸出 token 分別為 2 美元和 6 美元。使用者現可在 Grok Build 和 Cursor 限時免費體驗。
OpenAI 聯手 Work Louder 推出程式設計外設 Codex Micro,售價 230 美元且限量發售。裝置配備 13 個機械軸、搖桿與旋鈕,按鍵可通過顏色即時顯示 Codex Agent 任務狀態,並支援物理調節推理等級與一鍵採納程式碼,全在 ChatGPT 桌面端配置。
xAI 宣佈開源其程式設計智慧體及終端介面 Grok Build,程式碼已上線 GitHub。它公開了從上下文組裝到工具呼叫的完整執行機制,支援外掛、MCP 伺服器及子智慧體。最值得關注的是,開發者可以完全本地編譯並接入本地模型推理執行。