AI 日報｜OpenAI Astra 攻克十項數學難題、AMD 開源 16B MoE 模型

AI 日報｜OpenAI Astra 攻克十項數學難題、AMD 開源 16B MoE 模型

模型發布/更新

Instella-MoE-16B-A3B — AMD

• 一言以蔽之：AMD 發布完全開源的混合專家（MoE）大語言模型，專為 Instinct GPU 架構進行硬體最佳化。
• 核心亮點：
  • 總引數規模達到 160 億，每個 Token 推理時僅啟用 28 億引數，顯著降低運算資源需求。
  • 全程於 AMD Instinct MI300X 及 MI325X GPU 平臺上從零完成訓練。
  • 完全開源模型權重與訓練細節，推動開源社群對多元硬體架構的適配。
• 技術規格：16B 總引數（2.8B 啟用引數） / 完全開源 / Hugging Face 託管
• 傳送門：MarkTechPost 報導頁面

產品發布/更新

Stacked PRs 堆疊式 Pull Request — GitHub

• 更新內容：GitHub 正式推出堆疊式 Pull Request 功能，允許開發者將龐大的程式碼變更拆分為數個具相依關係的小型 PR。此功能簡化了團隊審查大型專案的流程，加速版本發布效率。
• 適用人群：軟體工程師 / 開發團隊主管 / 開源專案維護者
• 體驗通道：

  Large changes are hard to review. Smaller pull requests make them easier to ship.
  
  Stacked PRs are now on GitHub.https://t.co/gb5eO9DTDD pic.twitter.com/qrBWa3BAcs

  — GitHub (@github) August 1, 2026

Replit Design 套件跨模型支援 — Replit

• 更新內容：Replit Design 套件升級支援多款前沿大模型，包含 Claude、GPT-5、Gemini、Kimi 與 GLM。使用者可在單一介面中切換不同模型產出的 UI 設計圖與網頁前端程式碼，輕鬆選出最佳視覺方案。
• 適用人群：UI/UX 設計師 / 前端開發者 / 獨立創作者
• 體驗通道：Replit Design 官方網站

DSCode 專用 Coding Agent 框架 — ThinkAny

• 更新內容：專為 DeepSeek 模型最佳化的開源 Coding Agent 執行環境，原生支援 Responses API 與字首快取（Prefix Caching）技術。具備 OS 沙箱隔離機制、多 Agent 並行運算以及會話自動復原功能，大幅節省 Token 消耗。
• 適用人群：全棧開發者 / AI Agent 架構師 / 開源社群使用者
• 體驗通道：GitHub 儲存庫

datasette-apps 0.2a0 靜態測試工具 — Datasette

• 更新內容：新增 app_debug() 與 app_list() 工具。允許 Datasette Agent 在隱藏的沙箱 iframe 中透明執行 JavaScript 指令碼，自動進行網頁應用的冒煙測試與元件尺寸測量，提升 Agent 建立應用的穩定度。
• 適用人群：資料分析師 / Web 自動化工程師 / Datasette 平臺使用者
• 體驗通道：Simon Willison 部落格發布日誌

產業動態

德國法院裁定 Suno AI 音樂生成器侵犯版權

• 事件概述：慕尼黑法院判決 AI 音樂生成器 Suno 3.5 與 4 版本在訓練與輸出過程中侵犯音樂著作權，並明確駁回其合理使用（Fair Use）抗辯。法院指出該模型可直接還原六首知名歌曲的原創元素，構成記憶化侵權事實。
• 影響分析：這項判決表明美國法律下的合理使用原則難以適用於歐洲市場，將促使生成式 AI 團隊加速與版權方達成授權協議，重塑 AI 媒體創作的合規邊界。
• 新聞連結：The Decoder 報導

法官駁回 xAI 請求，明尼蘇達州限制脫衣應用法案生效

• 事件概述：美國聯邦法官駁回 xAI 針對明尼蘇達州「脫衣（Nudify）應用禁令」所提出的臨時限制令請求。法官指出 xAI 在法案簽署近三個月後、生效前三天才提起訴訟，無法證明急迫性，禁令於 8 月 1 日正式生效。
• 影響分析：各州政府正加強對生成式 AI 產出不當影像的法規限制，平臺方必須承擔更嚴格的內容審查與防護責任，避免法律風險擴張。
• 新聞連結：TechCrunch 報導

Cursor 移除控制檯 Token 費用細節引發社群討論

• 事件概述：熱門 AI 程式碼編輯器 Cursor 自使用者情況頁面與 CSV 匯出檔案中移除了具體的 Token 成本與費用明細，引起開發者廣泛討論與關注。
• 影響分析：使用者無法直接精確計算單一專案的 API 呼叫成本，團隊管理員在評估多模型預算時需調整監控方式。
• 新聞連結：Cursor 官方論壇討論串

AMD MI355X 執行 vLLM 推理效能超越 NVIDIA B200

• 事件概述：SemiAnalysis 效能測試顯示，基於 AMD MI355X 晶片與 GPU_MODE 開源核心執行的 vLLM 引擎，在處理 Kimi K2.5 架構模型時，吞吐量超越了 NVIDIA B200 平臺。
• 影響分析：證明非 NVIDIA 陣列硬體在配合高效率開源軟體堆疊後，已能在主流大模型推理場景中展現強大競爭力，提供企業更多元化的算力選擇。
• 新聞連結：

  AMD MI355X vLLM HAS BEATEN B200 vLLM ON KIMI K2.5 (THE SAME MODEL ARCH AS XAI CURSOR COMPOSER 2.5)🚀🚨
  
  This uses upstream AMD kernels from the @GPU_MODE community. We explain below 👇 1/6🧵 pic.twitter.com/98vEM7Z2vK

  — SemiAnalysis (@SemiAnalysis_) August 1, 2026

論文研究

OpenAI Astra 攻克十項數學與理論電腦科學懸案 — OpenAI

• 研究動機：檢驗 AI 大模型是否能在嚴謹的科學與數學領域中獨立進行推導，解決困擾人類學者十多年的核心問題。
• 核心創新：採用 OpenAI 下一代模型 Astra 搭配併行搜尋與 CoT（Chain of Thought）推理鏈，結合 Lean 4 自動形式化驗證工具進行證明檢查。
• 研究成果：成功證明瞭非 sofic 群的存在，並推翻 Connes 剛性猜想等 10 項重大開放問題。單項問題的成功推導 Token 成本僅約 2,000 美元。
• 論文地址：OpenAI 官方發布頁面

Lean 核心正確性漏洞 #14576 復盤 — Lean FRO

• 研究動機：探討定理證明器 Lean 核心在處理巢狀歸納型態（Nested Inductive Types）時的型態檢查缺陷，防止攻擊者構造虛假數學證明。
• 核心創新：由 Lean 團隊與 OpenAI AI 安全專家合作，透過元程式設計（Metaprogramming）重現漏洞並完成核心模組修補。
• 研究成果：成功修復可導致 False 被證明的邏輯漏洞，同步補強了獨立檢查器 nanoda，提升整體形式化驗證生態系的安全係數。
• 論文地址：Leo de Moura 部落格文章

ATWZ：多 Agent 程式碼團隊長效持久工作區 — dair.ai

• 研究動機：解決 Claude Code 等多 Agent 團隊在長會話中因終端關閉導致狀態丟失、上下文壓縮模糊工作細節等問題。
• 核心創新：構建基於檔案系統的操作層，為每個 Agent 提供獨立工作目錄，定期備份狀態並透過檔案進行溝通，替代長提示詞交接。
• 研究成果：有效避免了 Agent 團隊的技術債累積，一鍵即可還原完整團隊運作狀態，大幅提升複雜工程開發的穩定度。
• 論文地址：ArXiv 論文頁面

其他分享

Boris Cherny 建議每半年清空一次 CLAUDE.md 規則

• 內容簡介：Claude Code 創作者 Boris Cherny 在 Y Combinator Startup School 演講中提出建議，開發者應每隔半年清空 CLAUDE.md、Skills 與 Hooks。隨著基礎模型推理能力顯著提升，舊有規則可能反而成為限制。
• 傳送門：

Comp AI 開源 Agentic-first CRM 系統

• 內容簡介：Comp AI 團隊開源了其內部使用的客戶關係管理（CRM）系統。基於 Next.js 與 eve.dev 構建，具備持久化研究 Agent 能力，支援自主託管與多渠道連線。
• 傳送門：

  Open source agentic CRM built on https://t.co/99eEa13mZ3 and @nextjs.
  
  Model-agnostic, self-hostable or serverlessly-deployed, multi-channel, and headless.
  
  This is the way. https://t.co/gzM0dftbsV

  — Guillermo Rauch (@rauchg) August 1, 2026

Fable-OS：完全執行於裸機的自進化 AI 作業系統

• 內容簡介：開發者在 GitHub 開源了 Fable-OS 專案。這款作業系統不依賴瀏覽器，而是將 AI Agent 直接執行於系統 Ring 0 層級，呼叫核心 Syscalls，能自主編控裝置驅動程式（例如從零建立 AC'97 音效卡驅動）並進行自升級。
• 傳送門：GitHub 儲存庫