機器之心● 精選AI 評分82
Claude 64 小時生成 31.8 萬種蛋白設計，17 種通過實驗驗證
Anthropic 公布：Claude 在 64 小時內生成 318484 種微型結合蛋白設計，針對 5 種蠍毒神經毒素，最終 17 個在實驗室達到結合標準。團隊從這批設計中挑出 211 個，交由 Adaptyv Bio 與 Twist Bioscience 驗證；其中 7 個結合 Cn2，兩個候選的解離常數達個位數納摩爾，但尚未驗證中和毒素或動物體內保護。
搜尋
找到 50 筆
機器之心AI 評分45
長鑫 G6 DRAM 完成工程樣片驗證，Q3 淨利 889.83 億元
長鑫科技三季報披露，基於第六代技術平台（G6）的 DRAM 產品已完成工程樣片驗證，下一步在重點客戶處通過客戶驗證後即可批次生產出貨。第三季度營收約 1187.14 億元、淨利潤約 889.83 億元，環比均增長約 19%，整體毛利率 89.53%；前三季度研發投入 110.71 億元，同比增長 73.03%。
機器之心● 精選AI 評分68
SpecTr-GBV 統一多草稿與塊驗證，推測解碼期望接受長度達最優
EMNLP 2026 論文 SpecTr-GBV 把推測解碼的多草稿與塊驗證統一成一個最優傳輸問題，在保持輸出分佈一致的同時最大化期望接受長度，並在條件獨立耦合類中證明其達到該上界。方法從 K 條獨立草稿中搜尋最長的可接受子塊，K=1 時退化為 GBV，K 增大時上界嚴格上升。
機器之心● 精選AI 評分84
清華團隊開源 VeriLoop E2，以外部驗證決定推理狀態提交
清華團隊開源後訓練模型 VeriLoop E2，由獨立外部 Verifier 決定候選狀態能否獲得提交資格，而非依賴模型內部置信度。該模型以 Qwen 3.8-27B 為基礎，面向程式碼、數學與物理三類可外部驗證任務，並同步發布標準權重與覆蓋 BF16 至 IQ1_M 的 GGUF 量化版，其中 Q6_K 為 20.566 GiB，比 BF16 小 58.96%。
Hacker News front pageAI 評分54
Lean 形式化驗證 11 個正方形最優裝箱的完整證明
11 個正方形最優裝箱問題的完整最優性證明已在 Lean 4 中通過驗證：EvolvingPrograms 的驗證執行接受了全部 7,920 個本地 Lean 模組，最終審計為零 admission。該結果給出最優邊長 T=(6u+4)/(1+2u−u²)，其中 u 是某八次多項式在 (9/25, 37/100) 內的唯一根，構造達到約 3.8770835900228141773。
機器之心● 精選AI 評分72
SAGE：用結構訊號糾偏長推理，AC 例項驗證通過率近 8 倍
維吉尼亞理工、威斯康辛大學麥迪遜分校與達特茅斯學院團隊在 NeurIPS 2026 提出 SAGE，用結構訊號引導長程推理的後訓練。方法以符號閉包分析（SCA）解釋探索偏差與累積偏差，訓練時用代數稀疏化和雙曲結構引導重排候選推理步，在 12 個基準、7 個模型家族上總體優於 SFT、GRPO、EMPO 與 GRPO-PRM。在 1,190 個 Andrews–Curtis 長程例項上，Qwen3 的 Lean 驗證通過率接近基礎模型的 8 倍；
Hacker News front page● 精選AI 評分76
論文：Lean 驗證 AI 形式化證明不等於原證明正確
arXiv 新論文指出，用 Lean 機械驗證 AI 自動形式化的數學證明，並不能保證原始自然語言證明本身正確。作者 Bastounis、Circelli 與 Hansen 證明，要做到語義忠實的翻譯必須消解自然語言數學文字的歧義，而該問題在可解複雜度指數（SCI）層級中為無窮，比停機問題（SCI=1）更難。
TechCrunch AIAI 評分64
CMU 教授創辦 Safeworld，為生成式 AI 機器人做安全驗證
Safeworld 結束隱身，宣布超 1200 萬美元種子輪，由 Shine Capital 與 a16z Speedrun 領投，Box Group、CMU Endowment、Innovation Endeavors、SV Angel 參投。
機器之心● 精選AI 評分91
OpenAI 一次公開 722 篇 AI 數學論文，僅 42% 完成形式化驗證
OpenAI 在 GitHub 公開了 722 篇由內部未發布前沿模型生成的數學手稿，涵蓋數論、代數幾何、分析、組合數學等方向，其中約 300 項核心結果完成 Lean 形式化驗證，佔 42%。公司稱模型共嘗試超過 4000 個問題，一項典型成果平均消耗約 3 小時 ChatGPT Pro thinking 算力，但未公開所用模型與提示詞。
OpenAI NewsAI 評分40
Chatham 用 Codex 與 GPT-5.6 將交易驗證從 30 分鐘壓到 4 分鐘
Chatham Financial 公布其使用 OpenAI Codex 與 GPT-5.6 重構資本市場工作流的進展，交易驗證時間從約 30 分鐘縮短至 4 分鐘以內。該應用由 Codex 開發，自動收集交易證據、比對關鍵條款並標記差異，目前仍在與資深稽核人員的真實交易結果做對照驗證。公司內部員工建置平台 Chatham Vibes 預設使用 GPT-5.6 Terra，可選升級 GPT-5.6 Sol；
Anthropic News● 精選AI 評分72
Anthropic 擴充套件網路安全驗證計劃，分三檔開放最強模型
Anthropic 將 Project Glasswing 與網路安全驗證計劃合併擴充套件為三檔：Defense、Red Team、Specialized；通過稽核的安全團隊可使用 Claude Opus 5.5、Sonnet 5.5、Mythos 5.1 等最強模型，並減少攔截。Red Team 檔僅限機構、稽核需數週；Specialized 面向電網、航空、電信等關鍵系統，需與美國政府聯合逐家審查。
X @claudeai● 精選AI 評分63
Claude Security 修復可自動驗證，復發會重開
Claude Security 的修復可自動驗證：修復上線後，Claude 會檢查變更程式碼並把發現標記為已修復，即使團隊是在 Claude Security 之外完成修復。問題若再次出現，該發現會自動重開。每個專案還會得到一份 Claude 根據程式碼生成的威脅模型，團隊可以自行編輯。
Hacker News front pageAI 評分48
AI 多寫程式碼，工程師仍需負責系統決策與驗證
文章認為，agent 可以承擔更多實現工作並輔助分析、設計和測試，但工程師仍要決定建置什麼、以及什麼證據足以驗收。作者建議把架構決策寫入可審查的 PROJECT_GUIDE.md，而不是隻留在對話裡；每個增量先明確驗收用例，再用本地檢查、測試和實際執行驗證。文中還引用 Anthropic 關於長時執行 agent 的報告，指出上下文壓縮可能丟失條件或留下不清楚的指令。
Anthropic News● 精選AI 評分64
Anthropic 開放生命科學驗證計劃申請，放寬生物任務限制
Anthropic 推出生命科學驗證計劃（LSVP）測試版，通過資質稽核的團隊可在 Claude.ai、Claude Code 與 API 上使用防護更寬鬆的 Mythos、Opus、Sonnet，處理藥物發現等原本被通用模型攔截的生物學任務。標準用途授權覆蓋整個團隊、每年續期；高風險用途是單專案附加授權、每半年續期，目前適用於 Opus 5 與 Sonnet 5，Mythos 5.1 的高風險授權仍限少數機構。計劃初期僅面向團隊與機構，個人 Pro、Max 訂閱稍後開放。
X @MistralAIAI 評分25
Mistral Large 4 可縮放檢查工程圖紙並驗證至精確
Mistral AI 公布 Mistral Large 4 在工程圖紙上的能力：模型會縮放、檢查、驗證，直到答案精確，訊息發布於 2026 年 10 月 12 日。官方目前只給出這一句描述，未說明模型是否開放、通過何種訂閱或 API 提供、價格與額度、支援的圖紙格式，也沒有基準測試或演示細節，適用場景與限制同樣未披露。
TechCrunch AI● 精選AI 評分83
Google 上線 SynthID 網站，任何人都能驗證 AI 生成內容
Google 週二上線 SynthID 驗證網站，任何人可上傳圖片、影片或音訊，檢查是否為 AI 生成。該工具此前只向部分記者、媒體從業者和研究人員開放測試，現已全面開放，支援 JPG、PNG、HEIC、MP4、MP3、WAV 等十餘種格式。SynthID 自 2023 年推出，Google 的 Nano Banana、Veo、Lyria 模型以及 Gemini、Flow、Vids 等生成工具都會為產出加水印，OpenAI、Nvidia、Kakao 也已支援。
OpenAI NewsAI 評分46
Wayfair 用 OpenAI 驗證 1100 萬商品規格並自動化客服工單
Wayfair 公布與 OpenAI 的合作成果：用 OpenAI 模型驗證了超過 1100 萬條商品規格，每月自動處理 4.1 萬張供應商支援工單，部分工作流自動化率達 70%，並部署了 1200 個 ChatGPT Enterprise 席位。其 AI 目錄品質系統負責核查顏色、材質、尺寸等標籤，目前擴充套件檢查範圍的速度是去年的 70 倍，已處理逾 100 萬件商品，A/B 測試顯示曝光、點選與頁面排名顯著提升。
X @AnthropicAI● 精選AI 評分79
@AnthropicAI: New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Anthropic 前沿紅隊部落格發布研究：與 Theorem Labs 合作，用 Claude 在數週內為一百多個真實開源庫證明安全屬性。形式化驗證過去只能用於小規模程式碼庫或需大量專家時間，AI 模型正讓大規模驗證變得可行。完整研究已在其部落格發布。
Latent Space● 精選AI 評分76
OpenAI 模型連破數學開放問題，深度優先搜尋加驗證器成關鍵
OpenAI 內部模型 5 月給出 1946 年提出的 Erdős 單位距離猜想的反例，6 月證明 Cycle Double Cover，7 月再解十個開放問題，9 月給出 Navier-Stokes 證明；Anthropic 則形式化了費馬大定理並改進黎曼猜想的界。文章分析稱，LLM 以深度優先方式並行推進多條思路，再用只能校驗完整證明的自動驗證器剪枝，單條思路的試錯成本降到幾分鐘，因此普通甚至看似不可能的提示也值得投入大量算力。
Anthropic Research● 精選AI 評分82
Claude 設計的蠍毒蛋白結合體有 17 個通過實驗驗證
Anthropic 讓 Claude Science 中的內部研究模型設計針對蠍子神經毒素的 minibinder，64 小時內生成 31.8 萬個設計，並從中選出 180 個送檢。加上團隊補充的 31 個，Adaptyv Bio 與 Twist Bioscience 共實驗室測試 211 個設計，其中 17 個滿足結合標準，分別針對四種對人類危險的蠍毒。
機器之心● 精選AI 評分80
清華與智元提出 CEL 範式，96 臺真機驗證機器人互相學習
清華大學、智元與無問芯穹聯合提出群體經驗學習（CEL）範式，讓機器人用同伴的成功與失敗經驗替代人類示範，並在 96 臺真機上完成原型驗證。手機包裝長流程任務中，成功率從 79.2% 升至 98.3%；參與訓練的機器人從 16 臺增至 96 臺，成功率由 86.7% 提高到 98.3%。五項真實任務共 600 次測試，總體成功率 97.5%，高於人類示範方案 HG-DAgger 的 81.0% 與離線微調 SFT 的 36.3%。
機器之心● 精選AI 評分86
Claude 200 美元檔更名 Ultra，取消 5 小時限制
Anthropic 把 Claude 每月 200 美元的 Max 20x 套餐更名為 Ultra，並開始為已完成驗證的 Ultra 帳戶解除 5 小時使用限制；每月 100 美元的 Max 5x 更名為 Max，價格與權益均不變。取消 5 小時限制後，已驗證 Ultra 使用者可連續使用，直到觸及每週額度，但每週限額仍為 Pro 的 10 倍，一週內的總額度沒有增加；新註冊的 Ultra 帳戶仍需完成驗證，之後由郵件通知解除限制。
X @AnthropicAI● 精選AI 評分81
@AnthropicAI: We’re expanding our Cyber Verification Program to give security professionals broader access to our…
Anthropic 宣布擴充套件 Cyber Verification Program（網路安全驗證計劃），讓經過驗證的安全專業人員能更廣泛地訪問其能力最強的模型。通過該計劃，驗證過的安全從業者可訪問 Claude Mythos 5.1、Opus 5.5 和 Sonnet 5.5，並配有面向防禦性工作的安全防護措施。同時新增層級，允許開展經授權的攻擊性安全工作，例如滲透測試與紅隊演練。
r/LocalLLaMA top of the dayAI 評分26
歐盟兒童法案被質疑成打擊開源權重的藉口
r/LocalLLaMA 使用者發帖討論歐盟兒童法案等立法是否可能被用作打擊開源 AI 權重的藉口。評論提到歐盟年齡驗證將於 2027 年 1 月大規模推行，Discord 已面臨壓力但拒絕啟用，Palantir 將從中獲利。有評論引用官方提案內容，包括限制無限滾動、預設私密資料、強制年齡驗證等。
機器之心AI 評分55
源策未來公開全身智慧實機成果，在宇樹 G1 與加速進化 T2 上驗證
成立半年的源策未來首次系統性公開全身智慧技術路線的實機成果：機器人能搬踏臺登高取物、低位拾瓶、清理餐桌與操作洗碗機，並已在宇樹 G1 與加速進化 T2 兩種本體上驗證。團隊自研 S0 全身控制系統負責足部軌跡、軀幹姿態與重心轉移，S1 按現場狀態組織任務動作，模型先以第一視角人類全身資料 EgoBody 預訓練，再經真機後訓練與人形 DAgger 人工糾正。該路線今年 7 月由團隊在技術部落格中提出，創始人包括李弘揚、李天羽、陳立。
量子位● 精選AI 評分66
清華、無問芯穹、智元提出群體經驗學習 CEL，96 臺機器人驗證
清華大學聯合無問芯穹、智元提出群體經驗學習（CEL）範式，讓機器人學習同伴的成功經驗，並在 96 臺真實機器人上完成規模化驗證。兩臺未參與訓練的機器人在插花、疊衣、手機包裝等五項任務共 600 次測試中成功率 97.5%，均超過 6 名人類操作員的平均水平，其中手機包裝任務從 79.2% 升至 98.3%。參與訓練的機器人從 16 臺增至 96 臺時，成功率由 86.7% 升至 98.3%；底層系統 FATS 基於開源框架 RLinf 建置，96 臺叢集中故障造成的機時損失僅 1.3%。
Hugging Face blogAI 評分58
ServiceNow 發布 AutoSynthData，為企業 agent 自動生成訓練資料
ServiceNow CoreAI 團隊發布 AutoSynthData，用目標模型的失敗案例和更強教師模型的成功軌跡定位能力缺口，再自動生成並驗證新任務用於後訓練。任務由系統規範、使用者提示和驗證器三部分組成，需滿足可行性、真實性與難度要求，驗證器則要求一致、可靠且不繫結單一參考軌跡。團隊在 EnterpriseOps Gym 資料集上演示了該流程，模型提升後課程會轉向仍難完成的任務。
機器之心● 精選AI 評分71
分子之心 MMDesign 報告：19 個專案成功率 94.7%，六個 GPCR 靶點全命中
分子之心發布 MMDesign 技術報告：19 個設計專案中 18 個獲得實驗確認的結合分子，專案成功率達 94.7%，每個專案只測試 9—50 個候選，中位數 21 個。六個 GPCR 靶點全部命中，其中 NK3R 的 30 個候選全中，GPR68 的 11 個候選命中 10 個，最佳親和力 KD 達 12.1 nM。對六個已有成果靶點的新一輪設計中五個實現提升，如 PDGFR 候選命中率從 4.0% 升至 21.1%；兩項大環肽設計同樣獲得結合分子。
機器之心● 精選AI 評分66
九章雲極在陶哲軒數學蒸餾挑戰賽四賽道滿分奪冠
九章雲極旗下言表實驗室在陶哲軒聯合創立的 SAIR Foundation 數學蒸餾挑戰賽第二階段奪冠，四個賽道均滿分 200 分、總榜 221 分，294 支參賽隊伍中排名第一。賽事要求蘊含成立時提交 Lean 4 形式化證明、不成立時提交反例，全部由確定性 Lean 驗證器逐一檢驗，未通過不得分。其論文為 28 個此前無公開分類的五階 Austin 等式首次構造出非平凡無限模型，共生成 636 份 Lean 4 證書並全部被驗證器接受。
Hacker News front pageAI 評分69
Faros 研究：高 AI 採用團隊 bug 增 54%、PR 評審耗時漲約 5 倍
Faros 2026 年研究分析 22,000 名開發者、4,000 個團隊兩年遙測資料後發現，AI 採用度高的組織每位開發者 bug 增加 54%，PR 評審中位耗時約漲 5 倍，每 PR 事故數超 3 倍；其 Q3 報告稱部分效應有所緩解，但驗證與運維成本仍在累積。
X @claudeai● 精選AI 評分84
@claudeai: We’re renaming our Max plans:
Anthropic 將 Claude Max 訂閱套餐改名：原 Max 5x 更名為 Max，原 Max 20x 更名為 Ultra，月費仍為 100 美元和 200 美元，現有訂閱者無需任何操作。同時，通過驗證的 Ultra 帳號從今天起取消 5 小時使用限額，多數現有訂閱者已生效；較新帳號在完成驗證前仍保留臨時限額，用於防範欺詐與濫用，解除時會收到郵件通知。每週限額保持不變。
Hacker News front pageAI 評分36
用 C2PA 篡改時間戳的技術分析
開發者 David Buchanan 發布文章，演示如何利用 C2PA 內容憑證標準中的時間戳機制進行篡改。C2PA 由 Adobe、微軟等推動，用於驗證圖片和影片的來源與編輯歷史，其時間資訊依賴簽名和證書鏈。文章探討了攻擊者可能如何繞過或偽造這些時間記錄，對關注內容真實性驗證和數字取證的人有參考價值。
Hacker News front pageAI 評分54
Bernstein v3.23.0 發布，用確定性排程統一管理 53 個 CLI agent
開源 AI agent 治理層 Bernstein 更新至 v3.23.0，提供 53 個 CLI agent 介面卡，採用 Apache 2.0 許可並支援本地部署。它用不參與協調的確定性 Python 排程器並行執行 agent，同一個計劃可以逐位元組重放，流程依次為任務拆解、在隔離 worktree 中生成 agent、用測試、型別檢查和 lint 驗證，最後只合並通過驗證的 diff。
Hacker News front pageAI 評分32
Google 被曝靜默把手機號關聯到所有已登入帳號
Android Authority 報導稱，Google 正在靜默地把手機號關聯到使用者所有已登入的帳號上，報導將其描述為自動手機號驗證機制。這意味著同一手機號會在多個登入帳號之間被自動匹配，而使用者未必會收到明確提示。該話題在 Hacker News 上目前僅有 8 分、0 條評論，討論尚未展開。
Apple Machine Learning ResearchAI 評分58
RLTL;DR：讓模型從失敗中自寫反饋實現自我改進
論文提出 RLTL;DR 方法：在可驗證獎勵強化學習（RLVR）中，當任務難到模型幾乎無法成功、又沒有教師模型或範例解可蒸餾時，讓策略在每次失敗後檢視驗證器輸出，並自行寫出一條 TL;DR 式反饋，下一次 rollout 以此為條件。該方法面向自我改進場景，替代只最佳化成功嘗試的常見做法。
TechCrunch AIAI 評分67
美國運通發布 Intent Intelligence Framework，防止 AI agent 擅自下單
美國運通推出 Intent Intelligence Framework，在 AI agent 完成交易前捕獲並驗證使用者的購買意圖，防止模型擅自下單。框架用 Create Intent API 收集購買指令與約束（商戶、預算上限、商品偏好），使用者驗證身份並確認後生成 Intent ID 與 Proof of Intent Token，據此換取數字支付憑證，在結賬時替代真實卡號，也可用於防欺詐與爭議處理。
量子位● 精選AI 評分78
丘成桐新論文致謝 GPT 6 Astra 和 Claude Pro
丘成桐參與的最新論文在致謝中感謝 GPT 6 Astra 和 Claude Pro，稱其幫助探索了部分證明思路和計算。論文處理的是七維空間 27 種「怪球」能否具有嚴格正截面曲率的問題，該問題 1982 年被丘成桐列入自己的問題清單，懸置約 70 年。論文還附帶 SageMath 驗證程式碼，並宣告人工驗證與寫作由作者負責。
r/ClaudeAI top of the dayAI 評分53
在 Claude.md 中加入變更管理流程，改善 Claude 越權改程式碼
一位使用者通過在 claude.md 中寫入基本變更管理流程，基本解決了 Claude 擅自擴大改動範圍、誤解指令的問題。流程要求 Claude 動程式碼前先提交實施計劃、回退計劃和測試計劃，經批准後才執行；提交前還需做成功驗證，報告完全成功、部分成功、失敗或需回退四種結果，只有驗證成功才允許提交。
X @AnthropicAIAI 評分46
@AnthropicAI: This is exploratory work, and we’re not claiming to have produced an antivenom—for that, we’d have …
Anthropic 官方發文表示，Claude 能在蛋白質設計研究中提供具體幫助，但強調這仍是探索性工作，公司並未聲稱已經研製出抗蛇毒血清。要驗證相關結合蛋白，需先在活細胞內測試，再在小鼠體內測試，並完成許多其他驗證步驟。該案例用來說明 Claude 可以在蛋白質設計研究中提供實際協助，而並非已經產出抗蛇毒血清。
量子位● 精選AI 評分90
Claude 200 美元檔取消 5 小時限制，Max 20x 更名 Ultra
Anthropic 調整 Claude 訂閱：原 Max 5x、Max 20x 分別更名為 Max 與 Ultra，價格仍為每月 100 美元和 200 美元；其中 200 美元的 Ultra 取消 5 小時使用視窗，通過驗證的帳戶可在每週額度內連續使用，每週額度保持 Pro 的 10 倍。現有 Ultra 使用者已陸續解除限制，新帳號需等待基於帳號與支付歷史的自動驗證，可在 Settings → Usage 檢視 5 小時進度條是否消失。
Hacker News front pageAI 評分51
Simantic 推出韌體模擬層，讓 AI agent 無硬體測試韌體
YC F26 的 Simantic 發布韌體模擬層，讓 AI agent 與工程師不必拿到硬體就能測試和驗證韌體。它提供可單次 API 呼叫即執行的虛擬開發板、以模擬結果為證據的韌體 AI 程式碼審查，以及每次提交都針對模擬微控制器驗證韌體的 CI/CD 流水線。團隊來自 Neuralink 與 Tesla，早期 MVP 封裝 Renode，因受制於其開發速度、Dotnet 效能與功能臃腫而改為自研引擎。
機器之心● 精選AI 評分69
多機構聯合綜述機器人遞迴自我改進，提出 L0-L5 分級
上海交大、UC 伯克利、斯坦福、MIT、Google、微軟、輝達、小米等機構聯合發表論文《Who Improves the Robot? Toward Physical Recursive Self-Improvement》，提出 Physical RSI 概念，並用 L0-L5 分級區分「機器人任務做得更好」與「改進方法本身變得更有效」。論文還梳理了 Harness 適應、模型訓練、安全與驗證的全鏈路路徑，指出目前仍缺少能檢驗遞迴增益的基準，並列出六個待解問題。
Hacker News front pageAI 評分67
七位數學家撰文反對倉促用 AI 形式化全部數學
Jeremy Avigad、Kevin Buzzard 等七位數學家聯合發文，反對在 OpenAI 上週發布後興起的「儘快形式化全部數學」呼籲，認為做得不好會造成持久損害、浪費鉅額資源。文中舉例：Anthropic 稱 Claude 用 1300 萬行程式碼、11 天完成費馬大定理的形式化驗證，Buzzard 稱讚成果卻表示不會停下自己手頭的形式化工作；Math, Inc. 試圖劫持 Viazovska 球堆積形式化專案，原團隊最終棄用 AI 程式碼重做。
Hacker News front page● 精選AI 評分83
Claude 為 123 個開源庫生成彙編級形式化證明
Claude 在 123 個真實開源庫的 RISC-V 彙編層面生成了形式化安全證明，作者稱這是首次用 AI 把形式化驗證大規模應用到生產軟體。證明覆蓋所有小於 64 MB 的輸入：在單執行緒靜態二進位制、固定記憶體預算的 RISC-V 執行環境下，程式總能正常退出，不觸發記憶體安全錯誤或斷言失敗。寫證明的過程中 Claude 還發現了數萬億次測試都沒檢出的 bug；
Anthropic Research● 精選AI 評分85
Anthropic 推出 OSS Scanner，免費為開源專案掃漏洞
Anthropic 上線 OSS Scanner，面向開源專案免費提供由最強模型（含 Claude Mythos）生成的定期漏洞掃描，報告全自動生成、不經人工稽核，因此可能存在無效結果。過去六個月其模型在重要開源專案中找出逾 29,000 個候選漏洞，人工僅複核約 6,000 個，另有近 5,000 份未驗證報告應維護者要求直接提交。內部以 97 個高危漏洞驗證早期版本，其中 85 個（88%）達到其漏洞披露標準，僅 1 個誤報。
量子位AI 評分60
亞馬遜 CTO：別讓恐懼驅動 AI 決策，Agent 須設授權邊界
亞馬遜 CTO Werner Vogels 在深圳交流時表示，企業不該因怕錯過 AI 而倉促決策，Agent 則必須提前劃清授權邊界：亞馬遜為 Agent 設計了規則執行機制，會檢查其訪問工具、執行指令碼等操作，例如可規定每天花費不超過 100 美元，超出就需人參與決策。他還提出驗證債的概念——AI 生成卻未被理解的程式碼，會把省下的時間在後續排查返工中重新花掉。此外他認為不必追基準榜第一，有客戶發現 DeepSeek、通義千問、Kimi 等更小模型已夠用且成本更低。
機器之心AI 評分58
Aether AI 發布因果驅動機器人系統 CRIS-0
Aether AI 發布因果驅動的機器人智慧系統 CRIS-0，演示中面對人類突然移走咖啡袋、燈光干擾、往盤裡放飲料罐、關門時伸手等干擾均能即時調整，反應速度達 0.1s 級。它把機器人智慧分成兩層：因果驅動機器人 Agent 負責任務拆解、階段驗證與失敗恢復，因果世界模型預測動作帶來的物理變化。相比端到端模型，它在抗干擾、模糊指令和長程任務上更穩；團隊稱該路線還可延伸到生物製藥、新材料研發，更底層的 Causation Transformer 仍在驗證。
MLX LM releasesAI 評分55
v0.30.7
MLX 發布 v0.30.7，新增 GLM5 與 Qwen3.5 系列（不含視覺）支援，並修復 Kimi Linear、DeepSeek V3.2 索引器與權重載入問題。該版本為 LFM2 模型加入 Pythonic 工具呼叫，新增 Mistral 工具解析器與 LongCat MLA，同時提升 DeepSeek V3.2 生成速度，訓練流程中驗證集改為可選。
llama.cpp releasesAI 評分40
llama.cpp 建置 b11881：記憶體快取統一遵循 no_alloc
llama.cpp 發布建置 b11881，核心改動是讓所有記憶體快取統一遵循 no_alloc 設定。提交中另標註兩項待辦：把 no_alloc 從 llama_hparams 中移出；驗證在 Mac Studio（M2 Ultra、192GB）上用 DeepSeek-V4-Flash-Vision-Exp 的 GGUF 模型完成。
X @AIatMetaAI 評分37
@AIatMeta: 6️⃣ Non-Associative Algebra: The team worked with Muse Spark to find an exception to a proposed rul…
Meta AI 團隊與 Muse Spark 合作，在受生物學啟發的數學結構研究中，找到了一個被提出規則的反例，並進一步給出替代性刻畫，經研究人員驗證與完善。相關論文已發布。