代理工具

Agent、MCP、coding agent、工作流自動化與評測。

實體 AI/科學自動化

PUDA Connects Laboratory Agents Through a Constrained CLI and Event Logs, Isolating Generative Planning from the Hardware Driver Layer

PUDA exposes automated instruments as discoverable command-line tools and uses JSON, NATS/JetStream, and stable identifiers to preserve commands, measurements, and sample provenance. Agents can choose the next experiment, but actual hardware operations can occur only through engineer-authored driver methods with validated parameters.

代理工具

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.

最新模型

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.