策展精選

MathCode 是一款能將自然語言數學問題自動轉化為 Lean 4 形式化證明的 AI 代理。 MathCode 是一個終端 AI 程式撰寫 Agent，專門用於數學形式化驗證。使用者只需輸入自然語言描述的數學問題，系統便會自動將其...

DeepTutor v1.0 正式發布，打造 Agent-Native 智慧學習平台。 DeepTutor v1.0 正式發布，這是一個經過架構重寫的 Agent-Native 智慧學習平台，旨在透過多層次 Agent 管道與工具整合...

Google Gemma 4 26B A4B 模型現已登陸 Workers AI 平台。 Cloudflare 與 Google 合作，將 Gemma 4 26B A4B 模型引入 Workers AI，這是一款基於 Gemini 3...

Adaptive 推出「Triggered Agents」，讓 AI 代理能根據外部事件自動觸發執行任務。 Adaptive 最新推出的「Triggered Agents」功能，旨在將 AI 代理從被動等待轉變為主動執行，透過連結現有...

Cursor 3 推出全新以 Agent 為核心的介面，旨在解決開發者在多個 Agent 與工具間頻繁切換的痛點，實現更高效的軟體開發協作。 Cursor 3 的發布標誌著軟體開發進入第三個時代，其核心願景是讓開發者從繁瑣的 Agen...

大整合 (The Great Convergence) 在過去的一年中，科技界發生了一件奇特的事：許多截然不同的公司開始朝向相同的產品形態發展，感覺每個人都在打造同樣的東西。 Linear 上週宣布他們正在開發程式撰寫 Agen...

Pika Labs 推出開源技能模組，讓 AI Agent 能以即時虛擬化身參與視訊會議。 Pika Labs 近期發布了「Pika Skills Open」專案，這是一系列針對 AI 程式開發 Agent（如 Claude Code...

AWS 正式推出具備自主作業能力的「frontier agents」以優化資安測試與雲端維運。 AWS 近期正式發布「AWS Security Agent」與「AWS DevOps Agent」，這類被稱為「frontier agen...

Google 發布 Gemma 4 開放模型系列，支援多模態與邊緣運算。 Google DeepMind 推出 Gemma 4 多模態模型系列，具備 Apache 2.0 開源授權，並針對從邊緣裝置到高效能伺服器等各種場景進行了全面優...

Z.AI 推出 GLM-5V-Turbo 多模態程式開發模型，實現視覺化程式撰寫與 Agent 工作流整合。 GLM-5V-Turbo 是 Z.AI 首款專為視覺化程式開發設計的基礎模型，具備原生多模態處理能力，能直接理解圖像、影片及...

微軟發布三款 MAI 模型，以高效能與高性價比搶攻開發者市場。 微軟於 2026 年 4 月 2 日宣布推出三款全新的「MAI」系列模型，並同步開放於「Microsoft Foundry」與「MAI Playground」供開發者使用...

開源 AI Agent 平台 II-Agent 正式發布。 II-Agent 是一個基於 Apache-2.0 授權的開源 AI Agent 平台，旨在解決實際工作場景中的開發與自動化需求，強調無黑箱、無廠商鎖定，並賦予使用者完全的控...