Archive
新模型、開放權重、多模態、語音、影像與模型架構。
最新模型
ConceptGuard no longer treats the forget and retain sets as unrelated facts. Instead, it requires models to suppress harmful uses of a technology while preserving legitimate ones. All four unlearning methods exhibit a trade-off between forgetting and utility, with highly inconsistent results across concepts.
推論系統
FormalTCS extracts research-grade problems from top theoretical computer science papers published over the past two years, measuring models stage by stage as they turn natural-language claims into machine-verifiable proofs. The best model achieves a Pass@8 of 28.6 when proving already-formalized theorems, but translating natural language into correct Lean theorem statements remains the primary bottleneck.
AI 安全
The open-source agent runtime Forge can now isolate MCP connections and credentials by user while automatically performing OAuth 2.1 metadata discovery and dynamic client registration. The release also adds granular egress controls and approval auditing, although MCP support currently remains focused on HTTP transport.
AI 開發者平台
The new release raises the minimum Python version to 3.10 and removes Text Completions, several sampling parameters, and the client-side compaction interface. Most standard API calls require no changes, but monitoring, testing, and custom transport layers that depend directly on httpx must be migrated.
推論系統
Daedalus-150M is designed specifically for single-user, 4-bit CPU inference, allowing most network layers to avoid repeatedly reading an ever-growing KV cache. Preliminary results indicate that its speed advantage increases with context length, but the model is limited to 2K context, and its performance figures still await independent reproduction across different hardware.
代理工具
NVIDIA has updated its open-source agent execution stack, focusing on state drift across vLLM, llama.cpp, Ollama, and the model router. The new release also tightens sandbox lifecycle management, image provenance, and failure recovery, though it remains a patch release in a rapidly evolving project.
AI 安全
New research shows that even when models refuse to disclose secrets directly, statistical features such as response length, formatting, and word choice may still carry contextual information. An adaptive black-box attack can recover nearly all two-digit secrets, while achieving an 82% exact-match rate for four-digit secrets.
代理工具
SWE-bench Science uses 98 real-world scientific software repositories to test implicit contracts involving units, coordinate systems, numerical invariants, file formats, and more. Claude Code with Opus 5 currently ranks first, but its pass@1 remains below 50%, falling to just 27.78% on engineering integration tasks.
推論系統
A new method lets models adapt directly to KV eviction strategies such as H2O during fine-tuning, raising accuracy on some 128K tasks from roughly 20%–64% to over 90%. However, it does not consistently lead on natural question-answering benchmarks, and the open-source implementation remains positioned as a research tool.
推論系統
ReCache rewrites attention and positional encoding so that individual tools or skills can reuse their KV caches across requests. Qwen3 experiments show up to a 3.655× improvement in time to first token, but the method requires model fine-tuning and is not yet a drop-in inference plugin.
AI 可解釋性研究
The new method treats the distribution of reasoning outcomes as a piecewise-smooth sequence, uses PELT to identify genuine decision points, and applies Dirichlet kernel pooling to suppress sampling noise. Experiments on two 8B models show that it can substantially reduce resampling, though the findings currently cover only tinyMMLU multiple-choice questions.
機器人／VLA 訓練
Google DeepMind has a vision-language model first break down long-horizon robotic tasks into subgoals executable by a VLA, then fine-tunes the original model on successful trajectories and adds residual off-policy reinforcement learning. The method improves exploration efficiency in simulated tasks, but has yet to demonstrate that it can replace human demonstrations on physical robots.