復旦與華為小藝提出 SAGE，昇騰 NPU 運算元生成成功率達 95.5%
復旦與華為小藝提出 SAGE，面向昇騰 NPU 的運算元生成成功率達 95.5%。SAGE 把知識冷啟動、工具增強診斷和經驗學習串成閉環：冷啟動用 Ascend C 速查表、除錯指南與實現範例，並通過生成實現和專家實現的差分挖掘可複用模式；診斷階段讓 Agent 自主呼叫除錯與 profiling 工具定位中間張量異常和效能瓶頸。經驗學習用 ATU 只給實際被採用的經驗分配測試反饋，並把反覆有效的規則沉澱為熱記憶。
SAGE 把冷啟動、差分挖掘、ATU 與熱記憶組合成可複用方案，95.5% 的成功率是昇騰 NPU 上 Coding Agent 運算元開發的具體實測數字，對做國產硬體運算元與 Agent 工具鏈的人有參考價值。
原標題：让AI学会给昇腾NPU调优！复旦联手华为小艺，算子生成成功率达95.5%
閱讀原文
| 評分 | 80 / 73（平均 76，門檻 65） |
|---|---|
| 狀態 | 精選 |
相關報導
SAGE：用結構訊號糾偏長推理，AC 例項驗證通過率近 8 倍
維吉尼亞理工、威斯康辛大學麥迪遜分校與達特茅斯學院團隊在 NeurIPS 2026 提出 SAGE，用結構訊號引導長程推理的後訓練。方法以符號閉包分析（SCA）解釋探索偏差與累積偏差，訓練時用代數稀疏化和雙曲結構引導重排候選推理步，在 12 個基準、7 個模型家族上總體優於 SFT、GRPO、EMPO 與 GRPO-PRM。在 1,190 個 Andrews–Curtis 長程例項上，Qwen3 的 Lean 驗證通過率接近基礎模型的 8 倍；
llama.cpp 為 Hexagon NPU 新增 SGN 運算元支援
llama.cpp 建置 b11849 為高通 Hexagon NPU 新增 SGN（符號函式）運算元並擴充套件到 f16，同時改用符號位來最佳化該運算元實現。同一批提交還把維度摺疊（dims collapsing）移到 host 側求解器中執行，並放寬摺疊條件的判斷，使其適用更多情形。
作者用 AI 數小時做出正則引擎等底層專案，稱應更敢做
作者以親歷說明 AI 讓「更敢做」變得可行：藉助 SOTA 模型，他只花個位數小時就做出可用的正則引擎、ripgrep 分支和更快的 Rust 建置，而這類工作過去要一年以上。他還為常被當成 AI 生成垃圾的 pgrust（用 Rust 重寫 Postgres）辯護，指出其維護者在測試中發現了多個真實 Postgres bug，涉及數值、格式快取、pgcrypto 與 money 溢位。
清華開源 SRHarness，符號迴歸恢復率 93.69%，併發布 MechBench 基準
清華大學電子工程系發布智慧體符號迴歸執行時框架 SRHarness，程式碼已開源，支援 PyPI 安裝並提供線上 Demo。在相同 DeepSeek-v4-flash 底座下，其 LSR-Transform 符號恢復率達 93.69%，較此前最先進方法 SR-Scientist 的 62.16% 提升超 30 個百分點；匿名化測試中為 72.97%，遠高於 Codex 的 20.72%。
Google 補全 Coral NPU 開源架構，邊緣推理 1 TOPS、功耗 10 mW
Google Research 補全了 32 位開源 Coral NPU 的 RISC-V 架構，新增 Matrix Execution Unit 後邊緣推理最高 1 TOPS，平均功耗目標 10 mW。同步釋出 v1.0 開源 IREE/MLIR 編譯器，JAX、PyTorch、TensorFlow 模型可直接編譯到 Coral NPU，不必手寫彙編，從模型到晶片共用一條開源工具鏈。