AI 日報 · 2026 年 10 月 10 日 · 星期六
888NEWS
AWS 9月推出 Bedrock 新功能
AWS 9月推出 Bedrock、AgentCore 與 Strands 新功能，擴大模型選擇、提升代理效能與成本效益；Bedrock Managed Agents 支援 OpenAI 模型，資料保持在本地。
模型發布/更新
Hacker News (官方 RSS)OpenAI 的 Navier-Stokes 證明中 AI 產生的 Lean 形式化與自然語言版本不符
**OpenAI** 在其宣稱解決 Navier-Stokes 問題的證明中，AI 生成的 Lean 程式碼與自然語言版本存在不符，凸顯自動形式化的風險。 - **不符細節**：在 Lemma 8.6，Lean 版要求值 < m + 5，而自然語言版要求 < m + 4，形成更弱的數學條件。
推出 Clef‑omni 全多模態決策模型，並加速 Clef、降價 Clef‑flash
**Clef‑omni** 是 Cloudflare 推出的全多模態決策模型，能同時處理音訊、影片、影像與文字。 - **多模態支援**：音訊（wav/mp3）、影片（mp4/webm）與文字、影像可在單一 API 呼叫中完成決策，省去語音轉文字或影像分割的流程。
TechCrunch · AITypeSafe AI 推出非文本 AI 模型 Jev，估值 7.5 億美元，融資 8700 萬美元
TypeSafe AI 推出了非文本 AI 模型 Jev，僅數週內即完成 8700 萬美元融資，估值 7.5 億美元。 - **主要投資者**：Andreessen Horowitz 領投，Sequoia、DCVC 參與。
Hacker News (官方 RSS)Microsoft-Decision-1：快速決策模型正式推出
**Microsoft-Decision-1** 已正式推出，提供低延遲、高準確度的決策評分功能，可直接整合至代理、工作流程與應用程式。 - **性能**：在 36 個基準中獲得最高準確率，P50 延遲比 GPT-6 Sol 快 35 倍，Quyet-1.0-Large 快 4.5 倍。
產品發布/更新
AWS Machine Learning Blog一手AWS 9 月推出 Bedrock、AgentCore 與 Strands 新功能
**AWS** 於 9 月推出 Bedrock、AgentCore 與 Strands 新功能，擴大模型選擇、提升代理效能與成本效益。 - **Bedrock Managed Agents**：公開預覽，支援 OpenAI 模型，保持資料在 AWS，提供 IAM 權限、CloudTrail 審計與人類審批流程。
Hacker News (官方 RSS)Show HN：AI 代理在 macOS 上畫大箭頭、框框與文字的工具
**big-arrow-on-the-screen** 是一個 macOS CLI 與 AI 代理技能，能在螢幕上以箭頭、框框及文字提示使用者操作。 - **功能**：點擊提示、可視化指示、支援多顯示器、跨 Space、無焦點佔用。
AWS Machine Learning Blog一手Postman 以 Amazon Bedrock 服務 4000 萬開發者的 Agent Mode 運作
Postman 以 Amazon Bedrock 為後端，推出 Agent Mode，支援 4000 萬開發者在 API 測試、文件、發現與實作等環境中以 AI 原生方式操作。
The Verge · AI『純瘋狂』：數學家將需數年消化 OpenAI 最新數百篇數學論文
**OpenAI** 近期大規模釋出近 400 篇 AI 生成的數學論文，涵蓋 700 多篇手稿，涵蓋組合學、幾何、數論、計算機科學等多個領域。 - **數量與範圍**：近 400 篇結果，分布於 700 多篇手稿，涉及 10 個數學領域。
The DecoderAnthropic Claude Science 以 AI 完成首個全天區紫外線地圖
**Anthropic Claude Science** 以 AI 協調多源太空資料，完成首個全天區紫外線地圖，首次將紫外線天文資料整合至一張完整圖像。 - **資料來源**：結合 NASA GALEX、其他太空任務的紫外線觀測，覆蓋全天空。
Asana 透過 GPT‑6.1 Sol 減少瀏覽器測試模型成本 76 倍
**Asana** 透過 GPT‑6.1 Sol 進行瀏覽器代理工作流程優化，將成本降低 76 倍、速度提升 5 倍。 - **成本**：優化後每次執行成本僅 **$0.47**，相較原始 Model B **$36.21**，下降 **29 倍**，GPT‑6.1 Sol 更是 **76 倍** 更便宜。
Vercel Blog一手Rillet 如何透過 Vercel 上的 AI 代理，實現三倍速交付
Rillet 透過 Vercel 上的 AI 代理，實現三倍速交付。 - **平台**：Rillet 是 AI 原生 ERP，內建實時總帳與 AI 代理。 - **工具**：採用 eve 框架與 Vercel Connect，連結 Slack、Linear，並透過 AI Gateway 以單一整合路由多個模型。
Decisions API 讓開發者即時選擇最佳模型或工具
OpenAI 推出 **Decisions API**，讓開發者能在近實時內選擇最適合的模型、工具或動作。 - **速度提升**：相較 **GPT-6 Luna**，Decisions API 反應速度快 10 倍。 - **公開測試**：目前已開放給所有開發者進行公共測試。 - **整合簡易**：可透過 **Responses API** 直接呼叫，無需額外配置。
產業動態
The DecoderOpenAI 營收持續飆升，企業尋求 300 億美元新資本
**OpenAI** 的年度化營收率在 9 月底約為 **$50 billion**，但預計 2026 年底將達 **$70 billion**。 公司正在談判 **$30 billion** 的新資金，估值 **$1.4 trillion**，此前已於 3 月完成 **$122 billion** 融資。 這一動態引發半導體股跌跌，顯示市場對 AI 巨頭的估值與安全風險高度敏感。
The DecoderOpenAI 安全危機愈發嚴重，公司卻讓情況更糟
OpenAI 近期因安全文化缺失、內部人事處理不透明，安全危機愈發嚴重。 - **Hugging Face hack**：外部安全實驗室 METR 介入，導致三名安全研究員被解雇，事件暴露監控機制不足。
Sophos 以 OpenAI Daybreak 縮短威脅調查時間 96%
Sophos 以 OpenAI Daybreak 使威脅調查時間縮短 96%，並自動化 52% 的 MDR 案件，仍保留人工監督。 - **核心特性**：利用 Daybreak 自動化威脅調查。 - **效率提升**：調查時間縮短 96%，MDR 案件自動化 52%。 - **人機協作**：保留人工監督，確保安全。
GPU叢集的高影響力排程
**GPU叢集的高影響力排程**：Ai2 研究團隊提出以 GPU 時間預算、分層公平共享與時間切片合約為核心的排程系統，提升 GPU 利用率並縮短排隊延遲。 - **系統核心**：GPU 時間預算 + 分層公平共享 + 最小執行時間合約，確保工作負載在預算內不被中斷。
LegalOn 將 Codex 成本減半，維持開發速度
**LegalOn** 在內部開發流程中引入 Codex 並分層使用 GPT‑6 系列模型，透過模型選擇與預算管控，將日均 AI 成本降低約 65%，同時保持開發速度。
技巧與觀點
Hacker News (官方 RSS)開源工具 Antiquity 讓研究者發掘歷史資料
**導語**：作者利用 Claude Code 與 Jev 建立 AI 研究管線，僅用 12 小時掃描 4.35 百萬頁歷史文件，並發現被遺忘的隕石、三隻失蹤犀牛與多場未記錄的火山爆發。
Hacker News (官方 RSS)數學家須知的 Lean 定理證明器：可靠性與 AI
- **Lean**：由 Leo de Moura 在 Microsoft 2013 年開發，已開源並成為數學社群最受歡迎的證明器。 - **mathlib**：目前約 2.5 M SLOC、超過 700 位貢獻者，提供 30 萬條定理與 10⁵ 條定義，可直接引用。
Hacker News (官方 RSS)數學界對 OpenAI 100+ 研究成果公告的 100+ 反應
數學界對 OpenAI 於 10 月 6 日公布的 100+ 數學問題解決公告，發表了大量個人反應。 - **公告內容**：OpenAI 宣布對 4000 個開放問題中約 700 個取得進展，並公開 100+ 具體解答。
AI 工程師技能：主導產品建置與迭代流程
AI 工程師若具備關鍵技能，可主導產品建置與迭代流程。 - **關鍵能力**：涵蓋設計、實作、迭代等全流程。 - **實務應用**：文章提供具體實踐方向，協助工程師落實於團隊開發。
《AI 指數政策》發布：AI 進步速度遠超政策制定
**導語** Dario Amodei 發布新論文《AI 指數政策》，指出 AI 進步速度遠超政策制定，呼籲加速治理以避免失控。 - **AI 進步速度**：遠快於現行政策制定流程，形成技術與治理缺口。 - **主要建議**：三項具體對策，涵蓋跨部門協作、透明度提升與即時調整政策框架。 - **閱讀方式**：全文可於作者官方網站閱讀，連結已附於推文。