All News

1543 technical news articles

代理工具

CAPA Tests Cross-Session Memory in Coding Assistants: Same-User History Raises First-Try Success by 15.6 Points on Average

CAPA embeds implementation preferences that users repeatedly omit into 600 executable coding tasks, testing whether assistants can infer new requirements from past conversations. Across 12 models, adding same-user history increased final success rates by only 6.8 points on average, but raised first-try success by 15.6 points—suggesting that memory mainly reduces clarification rounds rather than eliminating failures.

AI 安全

MemTX Turns Shared Agent Memory into Transactional Commits; Exhaustive Search of 5.5 Million Protocol States Finds No Safety-Rule Violations

MemTX no longer allows information written by agents to become immediately actionable facts. Instead, it adds evidence, authorization, provenance, snapshot isolation, and validated commits. The study reports zero downstream harm across five models, but the results still come from controlled evaluations and do not yet show that it can repair irreversible side effects in real-world external systems.

代理工具

OmegaUse-OfficeVal Adds Per-Task Cost Labels for Office Agents, but the Best Model Still Trails Humans by More Than One-Third in Quality

Baidu’s research team has released 100 long-horizon document, spreadsheet, and presentation tasks, along with human labor time, price proxies, and executable validators. The best model achieved an average score of 17.91, compared with the human baseline of 27.79, showing that cheap and fast inference does not necessarily produce deliverables that are ready to use.

最新模型

AREX Enables Research Agents to Repeatedly Verify Unresolved Constraints, While a 4B Model Uses Compressed State for Long-Horizon Search

BAAI reframes deep research as a recursive loop of “search—verify each constraint—conduct targeted follow-up searches,” while training the model to compress confirmed evidence and unresolved constraints on its own. The weights for a 4B dense model and a 122B-A10B MoE model have been released, but their advantages mainly come from automatically verifiable synthetic tasks and cannot yet be directly generalized to open-ended scientific research.

硬體

ACE-RTL Has Nemotron Iteratively Compile and Fix Verilog, Achieving a 97.1% Average Pass Rate Across Nine Task Categories

NVIDIA integrated Nemotron 3 Ultra into a “generate-test-reflect” RTL agent loop, achieving a 97.1% average pass rate across nine agentic task categories in CVDP. The results show that executable verification can significantly strengthen chip-design models, although data overlap, tool configurations, and vendor-run evaluations still limit generalizability.

最新模型

Kimi K3 Releases 2.8T MoE Weights, With 104B Active Parameters Raising the Self-Hosting Bar to Cluster Scale

Moonshot AI has officially released the Kimi K3 weights and technical report. The model features native vision, a one-million-token context window, and activates 16 of 896 experts for each token. The open weights finally make the company’s capability claims reproducible, but more than 1 TB of low-precision weights still put full deployment beyond ordinary workstations.

最新模型

Poolside Releases Laguna S 2.1: 118B MoE Activates Just 8.5B Parameters per Token

Laguna S 2.1 uses sliding-window attention, attention gating, and an FP8 KV cache to reduce long-context costs, targeting self-hosted agentic coding. The model comes with weights at multiple precision levels and complete evaluation trajectories, but its million-token capability, performance comparisons, and single-machine feasibility still depend heavily on the quantization format and runtime environment.