研究称人工智能代理在数学上被证明无法完成真实工作
人工智能代理（AI agents）近来被不少厂商描绘为可替代部分人力的“数字员工”，应用场景涵盖客户支持、软件项目管理乃至企业运营。不过，最新一波研究与讨论将焦点从“是否被过度营销”转向更基础的问题：基于当今大型语言模型（LLM）构建的代理系统，是否在数学层面存在难以跨越的可靠性上限，导致其难以稳定完成端到端的真实工作流程。 形式化证明引发争议 争议的起点是一项形式化证明，研究对象直指以大型语言模
人工智能代理（AI agents）近来被不少厂商描绘为可替代部分人力的“数字员工”，应用场景涵盖客户支持、软件项目管理乃至企业运营。不过，最新一波研究与讨论将焦点从“是否被过度营销”转向更基础的问题：基于当今大型语言模型（LLM）构建的代理系统，是否在数学层面存在难以跨越的可靠性上限，导致其难以稳定完成端到端的真实工作流程。 形式化证明引发争议 争议的起点是一项形式化证明，研究对象直指以大型语言模
