All News

1541 technical news articles

ORCA-bench Reconstructs Six Days of Telemetry, With Frontier Agents Achieving Just 25.3% on Medium-Difficulty Root Cause Analysis

Using runnable microservices, 50 GB of telemetry data, and 1,079 incidents, ORCA-bench tests whether coding agents can identify root causes from ambiguous incident reports. Even with full source-code access, the best agent correctly answered only one-quarter of the medium-difficulty tasks designed to resemble real-world inputs.

2026-08-02

最新模型

ReToken Filters the Visual KV Cache With a Single Learnable Token, Improving Long-Video QA by 8.0 Points

Rather than feeding all image tokens into the model at once, ReToken retrieves sparse, question-relevant blocks from a prefilled visual KV cache. Its frozen-backbone approach trains only the retrieval token and fits on a single H100, although the results still come mainly from two 8B models.

2026-08-02

最新模型

A Batch of Older Mistral Models Will Be Retired on July 31, Requiring Regression Testing for Coding Agents and Structured Outputs

Mistral’s summer model cleanup is entering its final batch, affecting older identifiers for Devstral, Magistral, Mistral Small, and Open Mistral Nemo. The officially recommended replacements are not snapshots of the same architectures, so migration requires more than renaming models: teams must revalidate tool calling, output schemas, context windows, and costs.

2026-08-02

AI 基礎設施

SageMaker HyperPod Inference v3.1 Opens Up Custom Pods, Certificates, and Per-Pod Request Limits

AWS has updated the HyperPod Inference Operator, allowing teams to directly customize Kubernetes Pod specifications, configure custom TLS certificates, and limit concurrent requests per Pod. These interfaces address isolation and backpressure control for large-model serving, but teams should verify before upgrading that custom settings will not interfere with Operator-managed resources.

2026-08-02

基準與基礎設施

MLPerf Endpoints v0.7 Launches, Adding Continuous Submissions and a Comparable Results Pipeline for Agentic Inference

MLCommons has released Endpoints v0.7, transforming inference testing from fixed-batch submissions into endpoint benchmarking infrastructure with automated review and continuous updates. The upcoming multi-turn agentic workloads will measure both per-user progress and aggregate throughput, rather than counting only tokens/s for isolated requests.

2026-08-02

形式驗證與 AI 求解

LeanCSP Verifies Constraint Rewriting and Solver Proofs in Lean, Reducing Search by Up to 20 Million Times

LeanCSP brings model equivalence, symmetry breaking, and solver-result checking into a single Lean 4 verification chain. External solvers still handle expensive searches, but invalid certificates cannot be turned into theorems by the Lean kernel.

2026-08-02

最新模型

PCD Separates Multimodal Failures into Perception and Reasoning Signals, Raising the 32B-to-8B Distillation Average to 61.22

Perception-Correction Distillation strengthens distillation over the perception segment only when the answer is incorrect and the student’s perception output diverges from the teacher’s. Both Qwen3-VL model-scaling experiments outperform uniform on-policy distillation, but the method depends on the teacher perceiving the input more accurately than the student.

2026-08-02

標準與 AI 工程

EU AI Act Article 50 Takes Effect, Requiring Machine-Readable Marking of Generated Content

Starting August 2, the EU is enforcing transparency obligations covering chatbot notifications, machine-readable marking of generated content, and deepfake disclosures. Although rules for high-risk systems have been postponed, Article 50 has not been suspended in parallel, so product teams must still modify their output pipelines and frontend workflows.

2026-08-02

最新模型

DeepSeek-V4-Flash 0731 Redoes Only Post-Training, Raising Its Official Terminal-Bench 2.1 Score to 82.7

DeepSeek has moved the newly post-trained V4-Flash into public API beta without changing its architecture, 284B total parameters, or 13B active parameters. The new version natively supports the Responses API and targets coding agents and tool use, but key benchmarks rely on the unreleased DeepSeek Harness.

2026-08-02

RAG 與檢索系統

GLM-RAG Feeds Knowledge Graph Text into a Graph Transformer, Outperforming GNN Baselines on Cross-Domain Multi-Hop Retrieval

GLM-RAG allows nodes, relations, and questions to interact jointly from the first attention layer instead of relying solely on message passing based on graph distance. It performs better on multi-hop evaluations in unseen domains, but standard vector RAG still leads on single-hop tasks, and the code and model have not yet been released.

2026-08-01

AI 安全

DFOT Quantifies LLM Over-Trust in Derived Sensor Values; Cross-Modal Distillation Improves Correction Rates by Up to 6.69 Points

A new framework breaks down “model over-trust in derived values” into metrics covering conflict acceptance, contextual misdirection, error correction, and utility harm. In a PPG-based rhythm interpretation case study, a reliability model that uses ECG during training but requires only PPG at deployment improves four endpoints, although the data and weights were not released with the code.

2026-08-01

最新模型

DualG-MRAG Splits a Multimodal Knowledge Graph into Two Layers, Raising MMQA R@5 to 61.9%

DualG-MRAG uses a Macro Graph to find cross-document reasoning paths, then a Micro Graph to verify local image and text evidence, preventing fine-grained nodes from rapidly inflating the knowledge graph. In MMQA, the study raises R@5 from 42.1% for the strongest graph-based baseline to 61.9%, but the code and index construction costs have not yet been disclosed.

2026-08-01