Archive
1519 technical news articles
代理工具
A team from Google Research and CMU separates strategy exploration, proof decomposition, local repair, and global verification into a multi-agent workflow. Cross-model selection reaches 71% on TCS-Bench, but the main harness has not been fully released, while automated grading and large inference budgets limit comparability.
AI 基礎設施
NVIDIA has disclosed NVLink 6’s multilayer fault-tolerance design, extending from physical-layer bit-error correction to the NMX Controller and Dynamo inference processes. Internal B200 testing reduced the time required to restore service on two workers after a failure from 283 seconds to 7.3 seconds, though checkpointing tools and NCCL edge cases are still evolving.
代理工具
Claude can now answer questions or launch long-running agentic tasks within the same conversation, while bringing documents, slides, and design tools into a shared context. With mode selection removed, tool routing and permission prompts become the new security boundary, while access to local files and computer use still depend on the desktop app.
最新模型
Mozilla has added Mistral Small 4 to the Smart Window beta in the United States and Canada, expanded the French-language version to France, and retained other model options. The 119B-parameter MoE model offers a long context window and reasoning modes, but zero data retention does not mean local inference, and the boundaries governing the transmission of tab content still require real-world testing.
AI 基礎設施與網路標準
Cloudflare has introduced “Disallow AI Training,” combining `robots.txt` preferences with network-layer classification so websites can remain indexed by search engines while opting out of model training. Existing settings will be migrated automatically, but support varies across Applebot, Googlebot, and Bingbot—and selecting Block by mistake could still directly sacrifice search visibility.
AI 安全
Gemini Enterprise Agent Platform’s Agent Anomaly Detection asynchronously analyzes OpenTelemetry traces, tool parameters, and execution flows, then uses lightweight models and LLMs to identify anomalies. The private preview adds no latency to real-time requests, but the tradeoff is that it primarily provides post-event detection and requires storing raw telemetry containing prompt and response content.
代理工具
Copilot’s shared agent runtime has migrated from TypeScript/Node.js to native Rust and can be embedded directly into SDKs for six languages through a C ABI. GitHub’s stress tests showed session throughput rising to 120 per second, though the figures come from internal tests that excluded model and network latency.
最新模型
Rather than estimating only conditional labels, LimiX-2 learns the joint structure of features and targets from synthetic causal data. The team has released the weights and inference code, but the model is restricted to non-commercial use, and its leading results come primarily from tabular benchmarks run by the authors.
代理工具
The new VS Code toolkit can deploy hosted agents from private container registries configured with a connection, while also adding an AMD NPU build of Fara 7B and a quantized Aion adapter. Windows ML has been upgraded to `windowsml` 2.3, requiring existing projects to review their execution providers and dependencies.
代理工具
A new study analyzing per-instance results across four SWE-bench splits found that none of the 29 adjacent pairs among the top 30 Verified systems passed a paired significance test. Interactions between models and agent scaffolds can also exceed the gap between leaderboard leaders, so engineering procurement decisions should no longer treat decimal-point differences as stable rankings.
AI 基礎設施
Unity’s team introduced FlashVector, an agent that searches for performance bottlenecks across GPU kernels, computation graphs, Triton servers, and feature services. Production tests showed throughput gains of up to 2×, but the code, modification traces, and complete cost data have not been released.
代理工具
Research teams including Google enable a fixed coding agent to repeatedly rewrite its search schedule instead of updating model weights. Tests across eight algorithmic, mathematical, and GPU kernel tasks show that it can reduce exploration costs, although replay can evaluate only branches already traversed in the recorded history.