AI 趋势

Anthropic launches Claude for Small Business to embed AI into the tools you forgot you pay for

The Decoder · May 13, 2026

Anthropic is launching "Claude for Small Business," a package of 15 agent-based workflows and integrations for tools like QuickBooks, PayPal, and HubSpot. The company is also rolling out free training courses and a work…

From Prompt to Pointer Engineering: Deepmind tries to reinvent the mouse cursor for the AI era

The Decoder · May 13, 2026

Pointer Engineering: Deepmind wants to turn the mouse cursor into the key variable in context engineering. The article From Prompt to Pointer Engineering: Deepmind tries to reinvent the mouse cursor for the AI era appea…

Rethinking Evaluation for LLM Hallucination Detection: A Desiderata, A New RAG-based Benchmark, New Insights

arXiv cs.AI · May 13, 2026

arXiv:2605.11330v1 Announce Type: new Abstract: Hallucination, broadly referring to unfaithful, fabricated, or inconsistent content generated by LLMs, has wide-ranging implications. Therefore, a large body of effort has…

Counterfactual Trace Auditing of LLM Agent Skills

arXiv cs.AI · May 13, 2026

arXiv:2605.11946v1 Announce Type: new Abstract: Large Language Model agents are increasingly augmented with agent skills. Current evaluation methods for skills remain limited. Most deployed benchmarks report only pass r…

IPI-proxy: An Intercepting Proxy for Red-Teaming Web-Browsing AI Agents Against Indirect Prompt Injection

arXiv cs.AI · May 13, 2026

arXiv:2605.11868v1 Announce Type: cross Abstract: Web-browsing AI agents are increasingly deployed in enterprise settings under strict whitelists of approved domains, yet adversaries can still influence them by embeddin…

Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving

arXiv cs.AI · May 13, 2026

arXiv:2605.11905v1 Announce Type: new Abstract: Automated theorem proving with large language models in Lean 4 is commonly approached through either step-level tactic prediction with tree search or whole-proof generatio…

Seir\^enes: Adversarial Self-Play with Evolving Distractions for LLM Reasoning

arXiv cs.AI · May 13, 2026

arXiv:2605.11636v1 Announce Type: new Abstract: We present Seir\^enes, a self-play RL framework that transforms contextual interference from a failure mode of LLM reasoning into an internal training signal for co-evolvi…

Hierarchical Multi-Scale Graph Neural Networks: Scalable Heterophilous Learning with Oversmoothing and Oversquashing Mitigation

arXiv cs.AI · May 13, 2026

arXiv:2605.10975v1 Announce Type: cross Abstract: Graphs with heterophily, where adjacent nodes carry different labels, are prevalent in real-world applications, from social networks to molecular interactions. However,…

OLIVIA: Online Learning via Inference-time Action Adaptation for Decision Making in LLM ReAct Agents

arXiv cs.AI · May 13, 2026

arXiv:2605.11169v1 Announce Type: new Abstract: Large language model agents interleave reasoning, action selection, and observation to solve sequential decision-making tasks. In deployed settings where agents repeatedly…

PIVOT: Bridging Planning and Execution in LLM Agents via Trajectory Refinement

arXiv cs.AI · May 13, 2026

arXiv:2605.11225v1 Announce Type: new Abstract: Large language model (LLM)-based agents frequently generate seemingly coherent plans that fail upon execution due to infeasible actions, constraint violations, and compoun…