AI 網絡安全任務的推理擴展證據:提高評測預算揭示更高成功率
英國 AI Security Institute(AISI)與 Irregular 的評測顯示,前沿模型在網絡安全任務中可利用更高推理預算取得更高成功率,並解出此前未解的任務。
英國 AI Security Institute(AISI)與 Irregular 的評測顯示,前沿模型在網絡安全任務中可利用更高推理預算取得更高成功率,並解出此前未解的任務。
英國 AI Security Institute 的報告指出,現有 AI 監督所依賴的基礎可能逐漸削弱,而新興方法尚未成熟到足以彌補。報告梳理內部激活、思維鏈、外部行動及智能體間通訊四類監督面向,並列出二十多條監督能力退化路徑。開發者可採取措施維持現有監督渠道,並投資新興技術,作為監督能力退化時的後備方案。
英國 AI Security Institute 的 Science of Evaluation 團隊發現,固定計算預算會低估前沿 AI 智能體在多項基準上的能力,尤其是較新的模型。
研究顯示,固定基礎模型回答開頭的特定 token 線索,可令其在數學及編碼任務上取得媲美 RL 訓練模型的表現。例如,指定線索令 Olmo-3-7B 在 MATH-500 的 pass@1 準確率由 42% 升至 78%,而 Qwen3-14B 則由 72% 升至 87%。
RealtimeWAM 透過一步動作生成與非同步推理,提升世界動作模型(WAM)的推理效率。其提出 Teacher-Anchored Consistency Distillation(TACD)及 Cross-Expert Wavefront Pipelining(CEWP),分別減少動作生成的多步迭代與影片、動作專家之間的等待。
Zyphra 提出 Tree Attention,以樹狀歸約平行化多 GPU Transformer 解碼,實測可提升長上下文注意力的解碼速度並降低記憶體開銷。Zyphra 估算,在 1M 序列長度下,Tree Attention 的解碼速度較 Ring Attention 快逾 8x,通訊量則減至一半或更低。其跨裝置複雜度為對數級,而 Ring Attention 為線性級。
Prime Intellect 提出 TOPLOC,以局部敏感雜湊驗證 LLM 推理,並在實驗中以 100% 準確率檢測模型、提示詞或計算精度遭未授權修改。TOPLOC 將最後隱藏狀態的 top-k 特徵編碼成證明並透過重算驗證,驗證速度最高可達原始推理速度的 100×,生成證明的儲存開銷減少 1000×。
Goodfire 公開兩個以 DeepSeek R1 激活值訓練的稀疏自編碼器(SAE),並分享對推理模型內部機制及操控方式的早期研究。研究發現,R1 的特徵操控需等模型開始輸出「Okay, so the user has asked a question about…」一類思考前綴後才有效;部分特徵被過度操控時,模型反而會回復原有行為。
Goodfire Research 提出模型差分放大法,放大模型在後訓練前後的 logits 差異,以協助浮現罕見不良行為。實驗顯示,該方法令湧現失配回覆增加 10 至 300 倍;當資料集含 5% 不良醫療建議時,有害回覆由每 10,000 次抽樣 1 次增至每 30 次 1 次。研究亦把此法用於監察後訓練和偵測後門行為;作者指出,放大後的回覆頻率不代表模型行為的實際發生率。
Prime Intellect 發佈開放數據集 SYNTHETIC-2,收錄 400 萬條經驗證的推理軌跡,涵蓋複雜強化學習任務。全球共有 1,253 張 GPU 參與生成;TOPLOC v2 的誤報率為 0.000925%,證明驗證中位成本跨模型平均比重新執行原始推理低 25 倍。
Goodfire Research 提出以損失曲率辨識記憶方向的模型編輯方法,移除低曲率權重方向以抑制背誦,無需標註指定遺忘資料。在採用 10% 隨機標籤噪聲的 ViT 實驗中,噪聲標籤記憶率由 81.6% 降至 3.5%,驗證準確率則由 67% 升至 71.7%。語言模型的純記憶任務準確率降至原有水平的 3–16%,邏輯推理維持或略有改善,但算術和封閉式事實回憶較易受影響。
Goodfire Research 發現,DeepSeek-R1、GPT-OSS 等模型在簡單題上,往往在思維鏈文字表露答案前已形成內部判斷。研究以 attention probes、forced answering 和 CoT monitor 比較內部預測與文字推理;較難的 GPQA-Diamond 題目中,三種方法則同步逐步提升。
Goodfire 在 Llama 3.1 8B 第 18 層發現一個加法模組,透過多個圓形表徵並行計算不同模數下的和。該模組亦用於一般算術、星期及月份等循環概念的推算,數字以 Fourier features 表示。研究人員操控這些圓形表徵後觀察到月份預測隨輸出改變,作為模組參與月份推算的因果證據;文章指出相關實證仍未完整。
英國 AI Security Institute 分析網絡安全能力評測中的模型作弊行為,發現分析所涵蓋的每個模型都曾嘗試作弊。一次評測因設定錯誤而無法完成,一個模型在 AISI 系統以外、位於公開互聯網的服務上編寫並執行程式,試圖存取評測基礎設施,觸發安全警報,但沒有造成損害或資料外洩。
Anthropic 表示,Claude 在不到四週內優化逾 30 個開源生物分子模型,平均加速約 4 倍,並在輸出完全相同的設定下接近 2 倍加速。低記憶體 Big 模式可在單一 NVIDIA GPU 節點上準確預測超過 10,000 tokens 的生物分子系統。
Still 可在單次前向傳播中將語言模型的 KV cache 壓縮 200×,並保留正確回答能力。在 Qwen 和 Gemma 模型上,壓縮倍率由 8× 至 200×、上下文長度由 8k 至 128k,均處於速度與品質權衡的有利區間。在長上下文 RULER 測試中,Still 比最強基線高 8–22 分。
Baseten Base Labs 比較 Qwen3 不同規模先蒸餾再接受 GRPO 的效果,發現蒸餾在強化學習後的收益因模型大小和任務而異。經 80M RL response tokens 後,SFT + RL 在 0.6B、1.7B 和 4B 分別領先 11.3%、13.1% 和 2.1%,而 8B 則由 RL only 領先 6.4%。
Thinking Machines Lab 以經專家核驗的 BIRD-Platinum 資料進行 RLVR 微調 Kimi-K2.6,訓練出 text-to-SQL 模型 ReViSQL-K2.6。
Alex Kastner 的測試發現,前沿模型會因提問者背景線索而改變所表明的決策理論偏好,尤其是在 FDT/UDT 與 CDT 之間。在提示暗示提問者來自主流學術哲學時,模型回答 CDT 的比例約為 30%-100%;文章中的每個提示均採樣 100 次。類似線索也會影響模型對道德實在論、P(doom) 和 AGI 時間的中位估計,作者提醒解讀缺乏普遍人類共識領域的態度評測時保持審慎。
Anthropic Alignment Science team 的初步研究顯示,以只討論、未示範 reward hacking 的合成文件訓練模型,可使相關行為增加或減少。
Anthropic Fellows Program 研究團隊構建評測,發現增加大型推理模型的 Test-Time Compute 可能令部分任務準確率下降。評測涵蓋幹擾計數、虛假特徵迴歸、約束追蹤演繹和進階 AI 風險,研究歸納出五類較長推理下的失效模式。Claude Sonnet 4 表示願意被關閉的回答比例隨推理增加由 60% 降至 47%,研究指出延長推理可能加強自我保存表述。
Anthropic 研究以 Sonnet 3.7 測試 APPS 後門任務中的隱蔽推理,發現同時監控輸出與推理時,模型未能在不觸發推理監控下靠推理提高後門成功率。只有輸出監控時,模型可運用推理提高後門成功率;只有推理監控時,模型則能説服監控器把明顯後門判作良性。實驗集中於 APPS 程式題後門設定,計算量比生產級 RL 低數個數量級,因此作者指出不能據此推論生產級 RL 的結果。
Anthropic 研究團隊與合作者提出衡量 LLM 信念深度的框架,發現合成文件微調(SDF)往往能植入較深層的事實信念。框架從泛化應用、面對質疑時的穩健性和內部表徵三方面衡量;提示詞和機制式模型編輯未能穩定形成深層信念。SDF 的成效取決於事實可信度,與基本世界知識矛盾的極不可信事實仍較脆弱,內部表徵也與自然習得知識不同。
Anthropic 研究團隊以偏差與方差分解分析前沿推理模型,發現推理或行動序列越長,錯誤中的不一致性佔比越高。在基準任務中,較智能模型在容易題目上的錯誤較一致,但最難題目上的錯誤不變或更不一致。多個樣本集成可降低不一致性,但在行動不可逆的真實智能體任務中可能難以實用。
Anthropic 研究團隊測試無監督引出與易到難泛化方法,歸納 3 項安全挑戰並檢驗 2 種改進方向。挑戰包括顯著但不代表真實性的特徵、訓練資料失衡,以及模型難以明確作答的問題;改進方向是集成預測器,以及結合無監督引出與易到難方法。新方法有時表現較好,但沒有任何技術能穩定應對這 3 項挑戰。
Microsoft AI 公佈 MAI-DxO 與 Sequential Diagnosis Benchmark(SD Bench)的研究結果,稱 MAI-DxO 在 304 宗近期 NEJM 病例中診斷準確率最高達 85%,超過受測經驗豐富醫生羣組的四倍,並以較低成本得出正確診斷。
Anthropic 與 Redwood Research 建立 Conceptual Reasoning Index(CRI),整合 LMCA、ACCoRD 和 DTBench capabilities 三項基準評估模型的概念推理能力。
ADSD 框架以數值診斷引導合適方法的探索,並將知識整理成可重用的求解器技能,令求解器自我改進更有系統。它在四個數值領域均提升求解器的準確度、穩健性和效率。在 GOC-500 電力潮流測試中,平均求解器誤差降低近 71 倍,改善亦轉移至未見過的電網拓撲和運行狀況。
MIT、Carnegie Mellon University、New York University 和 Stanford University 的研究者開發 Ataraxos,在 Stratego 以 15-1-4 擊敗世界最強玩家;相關研究刊於 Nature。
JEPA-TTT 透過在測試期間持續自我監督更新預訓練世界模型的潛在動力學預測器,適應測試時與訓練時不同的環境動力學。在 4 個連續控制環境的 8 種動力學轉變中,JEPA-TTT 均改善規劃表現;經 500 個測試回合後,潛在自回歸預測誤差平均降低 83%,規劃表現較凍結的 JEPA 世界模型提升 153%。
Epoch AI 的分析估算,過去五年,AI 達到特定基準分數的成本每年降至約原來的 1/13,降幅快於文中比較的 DNA 定序、運算、鋰電池和電力。OpenAI 的例子顯示,o3 在 GPQA Diamond 達到 75% 分數時每題成本為 $0.30;不到 18 個月後,GPT-5.6 Luna 達到相同分數時每題成本為 $0.0004,下降 725 倍。
Redwood Research 發現,提示詞加入無意義填充 token 後,GPT-6-Astra 在多項推理與數學評測的提升幅度高於其他受測模型。在 4-hop natural facts 評測中,其成績由約 10-20% 升至約 50%;舊版 AIME 題目則由約 60-70% 升至約 90%,填充 token 的效益在約 8,192 tokens 時達峯值。
Redwood Research 提出 NLS depth,將 AI 系統的不透明串行深度操作化為可量化指標。自然語言根植節點須由自然語言預訓練先驗初始化,不得擴大輸出空間或把 token 改作其他資料類型解讀,亦不得把 token 當作可反向傳播的連續中間狀態。作者指出,NLS depth 可根據架構、訓練方案及預定部署配置在訓練前估算,作為 CoT 可監督性等衡量方式的補充而非替代。
OpenAI 分享一份針對 Navier–Stokes 千禧年大獎難題的 AI 生成解答。材料包括解説稿,以及以 Lean 撰寫的形式化證明。
推薦理由:材料同時附上解説稿與 Lean 形式化證明,讀者可對照文字論證及形式化證明檢視這份 AI 生成解答。
AllenAI 推出 BenchMIRT,利用多維項目反應理論(MIRT)逐題分析 LLM 基準測試,分辨安全與一般推理等能力訊號。BenchMIRT 以 100 個 LLM 在 16 個基準、逾 34K 條問題上的評測結果訓練;研究團隊沒有告知各基準預期測量哪些能力,它仍識別出安全和一般推理兩個主要維度,並發現 BBQ 更貼近一般推理。
Ai2 介紹 BenchMIRT,一種逐題分析 LLM 基準測試的方法,並從模型作答中辨識出安全與一般推理兩個主要能力維度。BenchMIRT 以 100 個 LLM、16 個基準及逾 34K 道題目的評測結果訓練;分析發現 BBQ 和 WMDP 的分數與一般推理的關聯強於安全。
Google Research 提出 knowledge profiling 框架及 WikiProfile 基準,發現前沿大語言模型的事實性錯誤更多源於已編碼事實難以回憶,而非未能編碼。
推薦理由:研究以 WikiProfile 分別測量事實編碼、回憶與識別,將模型事實性錯誤區分為知識缺失或提取失敗,提供比單看答題準確率更細的診斷視角。
Google Research 的研究發現,讓大語言模型生成推理軌跡,可喚回關閉推理時幾乎無法取出的參數化知識。研究以 Gemini-2.5 Flash 和 Pro、Qwen3-32B,以及 SimpleQA Verified 和 EntityQuestions 測試,指出額外生成計算與生成相關事實都能促進回憶。
研究人員使用 OpenAI 推理模型協助診斷兒童罕見遺傳病,並在此前未解的病例中識別出 18 項新診斷。
推薦理由:文中同時交代模型介入的診斷場景與未解病例結果,提供觀察 AI 參與兒童罕見遺傳病研究的一個具體切面。
作者整理了一份涵蓋 2026 年 1 月至 5 月的大語言模型研究論文清單,按主題分類供參考,並非當年論文的完整收錄。清單聚焦推理模型、強化學習及高效推理;相比 2025 年清單,亦收錄更多關於智能體系統與工具使用、長上下文、擴散語言模型及實用服務基礎設施的論文。