SAFETY SENTRY：上下文感知的人类干预机制——EXECUTE-ASK

在最新提交的arXiv论文中，Tianyu Chen等人提出了SAFETY SENTRY框架，旨在通过EXECUTE-ASK-REFUSE三类路由策略实现上下文感知的人工干预，提升AI系统的安全性。该框架允许系统根据当前语境和风险等级，自动决定是执行任务、向人类询问确认，还是直接拒绝请求，从而在自动化效率与安全控制之间取得平衡。论文探讨了如何将人类反馈无缝集成到AI决策流程中，尤其适用于高风险场景（如医疗、自动驾驶等）。这一研究为构建更可靠、可干预的智能系统提供了新思路，有望推动人机协作安全标准的完善。 #AI安全 #论文 #路由机制 #人机交互 #上下文感知 #SAFETYSENTRY #人工智能 #arXiv

AI建议抑制人们说“我不知道”的意愿，即使建议错误且准确率被激励

一项最新发表在arXiv上的研究揭示了AI建议对人类判断的负面影响。来自意大利的研究团队通过实验发现，当人们在完成任务时接收AI的建议（即使是错误的建议）时，他们更不愿意承认自己不知道答案。这种现象在实验中对准确率实施了激励措施后仍然存在。研究指出，AI的“权威性”可能削弱了人们自我反思和承认知识边界的能力。这一发现对AI辅助决策系统（如教育、医疗等领域）的设计提出了警示：过度依赖AI建议可能阻碍人类主动学习和批判性思维，且简单的经济激励无法抵消这种效应。 #AI #人工智能 #人类决策 #认知偏差 #arXiv #学术研究 #科技伦理

面向城市区域画像的多智能体协同推理方法发布

来自arXiv平台的最新论文预印本显示，研究人员提出了一种名为“多智能体协同推理与工具增强证据”的新方法，用于城市区域画像。该工作由Xixuan Hao等六位作者共同完成，论文于2026年7月15日提交。该方法创新性地利用多个智能体协同工作，并借助工具增强外部证据，以更准确、全面地刻画城市区域的特征与功能。这一研究有望提升城市规划、智能交通、商业选址等应用的数据分析能力，为城市计算领域提供新的技术思路。 #多智能体 #协同推理 #城市计算 #区域画像 #AI #学术论文 #人工智能 #智能城市

根因分析在真实遥测数据上的极限探索

一篇题为《根因分析在真实遥测数据上的极限》的学术论文在 arXiv 预印本平台发布。该研究由 Athira Gopal 和 Ashwanth Krishnan 共同完成，旨在评估根因分析（RCA）技术在真实世界遥测数据中的表现边界。论文聚焦于实际工业场景中复杂的指标波动和故障传播链，探讨了现有方法在数据噪声、依赖关系和因果推断方面的能力上限。研究结果可能对运维监控、故障诊断及自动化异常定位领域产生重要影响。 #根因分析 #遥测数据 #故障诊断 #机器学习 #论文 #arXiv #运维监控

LAPO: 多轮搜索推理中的自生成过程奖励留一轮归因方法

来自arXiv的一篇新论文提出了一种名为LAPO（留一轮归因）的方法，用于在多轮搜索推理中为自生成过程分配奖励。该方法通过剔除特定轮次的影响，评估每轮推理对最终结果的贡献，从而更精准地优化强化学习中的过程奖励模型。该研究旨在提升大语言模型在复杂任务中的多步推理能力和搜索效率，相关代码及预印本已公开。 #AI #强化学习 #多轮推理 #过程奖励 #arXiv #LAPO #大语言模型

受约束智能体的转换行为测试

一篇题为《受约束智能体的转换行为测试》的论文在预印本平台arXiv上发布。该论文由Ziwei Ye撰写，于2026年7月15日提交。论文标题表明其聚焦于设计一种专门用于评估受约束智能体（如特定环境下的AI系统）的转换行为测试，旨在衡量智能体在不同任务或规则之间切换时的表现。目前该论文可通过arXiv获取PDF全文。 #AI #智能体 #行为测试 #arXiv #预印本 #转换行为 #论文 #人工智能

EZSMT 版本 3

据 arXiv 论文提交记录显示，由 Yuliya Lierler 撰写的论文《EZSMT Version 3, Matured》于 2026 年 7 月 15 日正式提交。该论文介绍了 EZSMT 系统的第三个成熟版本，标志着该工具在可满足性模理论求解领域的重要进展。论文详细阐述了版本 3 的改进与优化，但具体技术细节和实验结果需查阅全文 PDF 了解。当前论文的 arXiv 编号尚在注册中，作者已开放 PDF 及 HTML 版本的访问权限。 #EZSMT #SMT #论文 #arXiv #YuliyaLierler #版本发布 #计算机科学

理论级自动形式化

一篇题为《理论级自动形式化：从孤立陈述到统一形式知识库》的学术论文在arXiv预印本平台发布。该研究由Marcus J. Min等八位作者完成，旨在解决数学与计算机科学中形式化知识的碎片化问题。传统上，将自然语言数学定理转化为机器可验证的形式化证明（如Lean、Coq等证明助理）需要大量人工劳动。该论文提出一种理论级自动形式化方法，不仅针对单个陈述，而是系统性地将多个互相关联的数学理论自动转化为统一、一致的形式化知识库。这一突破有望大幅降低形式化验证的门槛，加速大规模数学知识的数字化与验证进程，为人工智能辅助数学证明及可靠知识推理提供基础设施。论文已提供HTML预览和TeX源码，相关代码与数据可在学术社区获取。 #自动形式化 #形式化验证 #AI数学 #arXiv #数学证明 #知识库 #机器学习 #计算机科学

Harness Handbook：让演化中的代理工具更可读、可导航、可编辑

研究人员在arXiv上发表了一篇题为《Harness Handbook: Making Evolving Agent Harnesses Readable, Navigable, and Editable》的论文。该研究聚焦于如何提升演化中代理工具（Agent Harnesses）的可读性、导航性和可编辑性，旨在解决复杂代理系统在开发与维护过程中面临的文档混乱与交互困难问题。论文作者包括Ruhan Wang等10位研究者，提交于2026年7月14日。目前论文以PDF格式公开，并附有HTML预览和TeX源码。该工作可能对AI代理框架的实用化与社区协作产生积极影响，尤其适用于需要频繁调整和迭代代理行为的场景。 #arXiv #AI代理 #论文 #可读性 #可编辑性 #开源工具 #研究

交通运输管理基础模型部署成本优化组合研究

来自arXiv的一篇论文提出了面向交通运输管理的基础模型部署成本优化组合方案。研究团队由Xi Cheng等五位作者完成，旨在解决在交通运输场景下，如何以最低成本高效部署多种基础模型的问题。论文提出了一个组合优化框架，综合考虑不同模型的计算开销、推理速度与精度，为交通管理系统在实时调度、路线规划等任务中智能选择模型组合提供了理论支持。该研究有望降低智能交通系统的运营成本，提升模型部署的灵活性与经济性。 #论文 #交通运输 #人工智能 #基础模型 #成本优化 #arXiv #智能交通

AI原生保险：为自主AI系统提供定价、承保与全流程自动化

一篇题为《AI-Native Insurance for Agentic AI: Pricing, Underwriting, and End-to-End Automation》的学术论文近日在arXiv上公开。该研究由Quanyan Zhu撰写，聚焦于为自主AI（Agentic AI）系统设计原生保险方案，涵盖风险定价、承保逻辑以及端到端自动化流程。论文指出，随着AI代理在金融、医疗、自动驾驶等关键领域的部署日益增多，传统保险框架已难以覆盖其动态行为、决策偏差及系统性风险。作者提出了一套基于AI模型自身特征的精算与承保机制，利用自动化技术实现实时风险评估与保费动态调整，旨在为自主AI系统的运行提供可量化的风险保障。 #AI保险 #自主AI #风险管理 #学术论文 #arXiv #人工智能 #保险科技

网络化智能

一项发表于arXiv的新研究提出“主动共享上下文图”概念，旨在提升人类与AI团队在科学协作中的智能协同效率。论文由Sutanay Choudhury等18位作者共同完成，于2026年7月14日提交。该方法通过构建动态图谱来实时整合人类专家与AI模型的知识与推理过程，使双方能共享不断演化的上下文信息。研究认为，传统的静态知识图谱难以适应科学探索中快速变化的需求，而主动更新的上下文图可以更灵活地捕捉协作中的关键概念与关系，从而加速假设生成、实验设计和数据解读。这项技术有望在跨学科团队科学中发挥重要作用，为下一代人机协作研究工具提供理论基础。 #人机协作 #科学协作 #知识图谱 #AI #团队科学 #网络智能

CayleyR

一篇题为“CayleyR: Solving the TopSpin puzzle via cycle intersection”的论文发表在arXiv上，作者Yuri Baramykov提出了一种基于循环交集的新算法，用于求解经典的TopSpin谜题。TopSpin是一种滑块拼图，玩家需要通过旋转和交换数字滑块来恢复顺序。传统解法通常依赖穷举搜索或启发式策略，而该研究通过分析循环结构及环间交叉关系，显著提升了求解效率。论文展示了该算法在多种初始状态下的性能，验证了其有效性和速度优势。这一工作为组合谜题的自动化求解提供了新思路，对算法设计与群论应用具有参考价值。 #arXiv #论文 #算法 #TopSpin #谜题 #组合数学 #计算机科学

通过世界模型从人类偏好和理由中学习安全智能体行为

一篇发表在arXiv上的研究论文提出了一种新方法，通过世界模型结合人类偏好与合理性解释来训练智能体的安全行为。该方法旨在解决强化学习中智能体可能产生不安全行为的问题，利用人类提供的偏好反馈和理由说明，引导智能体构建更安全、更可解释的策略。研究者认为，将人类价值观与模型内省相结合，有助于提升AI系统的可信度和安全性。该工作为安全强化学习提供了新的思路，但目前尚处于预印本阶段，具体实验细节和评估结果有待后续公开。 #AI安全 #强化学习 #世界模型 #人类偏好 #智能体 #arXiv #论文预印本

Oracle Agent Memory

根据arXiv预印本平台最新收录的论文，来自甲骨文（Oracle）的研究团队提出了一种名为"Oracle Agent Memory"的企业级记忆基板，旨在为长期运行的AI代理提供持久、可扩展的记忆支撑。该论文由Richmond Alake等13位作者共同完成，于2026年7月14日提交。研究指出，传统AI代理在处理长周期任务时面临记忆衰减和上下文丢失问题，而Oracle Agent Memory通过构建统一的记忆存储与检索架构，使企业级AI代理能够维持长期对话、任务状态与历史决策上下文。该基板与现有企业系统兼容，有望在客户服务、自动化运维、智能助手等场景中提升AI代理的连续性与可靠性。 #甲骨文 #AgentMemory #AI代理 #企业级AI #长期记忆 #论文 #科技前沿

基于图工具提升小型语言模型分子性质预测能力

研究人员提出一种利用图工具改进小型语言模型（SLMs）进行分子性质预测的方法。传统大型语言模型在化学领域表现优异但计算成本高昂，该研究通过引入分子图结构信息，使小型语言模型在多个分子性质预测基准测试中达到与大规模模型相近的性能，同时大幅降低计算开销。实验结果显示，该方法在毒性、溶解度等关键性质预测上均有显著提升，为资源受限场景下的化学信息学提供了高效解决方案。 #分子性质预测 #小型语言模型 #图工具 #化学信息学 #AI #arXiv #论文速递

Telegram必备的搜索引擎，极搜JISOU帮你精准找到，想要的群组、频道、视频、音乐

👉 t.me/jisou2?start=a_8247614025

现代智能体系统的自我改进技术综述

近期，一篇题为《现代自主智能体系统中的自我改进：一项综述》的论文在arXiv上发布。该论文由Zhe Ren等12位作者共同撰写，系统梳理了当前自主智能体系统（Agentic Systems）中自我改进（Self-Improvement）技术的研究进展。论文涵盖从反馈循环、强化学习到元学习等多种方法，分析了这些技术如何使智能体在无需人工干预的情况下持续提升性能。研究指出，自我改进能力是迈向通用人工智能的关键步骤，但也面临数据效率、安全性和可解释性等挑战。该综述为相关领域的研究者提供了全面的技术图谱，有助于推动自主系统的进一步发展。 #AI #智能体 #自我改进 #综述 #自主系统 #arXiv

基于Belnap类型内涵FOL的神经符号AGI机器人概率扩展论文发布

近日，研究人员Zoran Majkic在预印本平台arXiv上提交了一篇题为“基于Belnap类型内涵一阶逻辑的神经符号AGI机器人概率扩展”的论文。该研究提出将概率推理融入神经符号通用人工智能（AGI）机器人系统，并基于Belnap的类型内涵一阶逻辑框架，旨在提升机器人对不确定性环境与复杂符号逻辑的融合处理能力。论文探讨了如何在AGI机器人中同时利用符号推理的精确性和概率学习的灵活性，为多模态感知下的决策提供新范式。该工作发表于2026年7月，对推动混合智能系统发展具有理论价值。 #AGI #神经符号 #机器人 #概率推理 #逻辑 #AI #arXiv #论文

干预性接地审计：通过谓词替换对LLM思维链进行黑盒前提依赖性测试

日本研究人员提出了一种名为“干预性接地审计”的新方法，用于评估大语言模型（LLM）在思维链推理过程中是否真正依赖给定前提。该方法通过谓词替换技术，在无需访问模型内部结构或权重的情况下，以黑盒方式测试模型推理的逻辑一致性。这一审计框架能够有效检测模型是否在“伪推理”或“幻觉”中表现，从而提升LLM决策过程的可信度与安全性。相关论文已提交至arXiv预印本平台，为未来构建更可靠的AI推理系统提供了理论基础与实用工具。 #论文 #LLM #思维链 #AI安全 #推理审计 #黑盒测试 #谓词替换

SPINE

一篇题为《SPINE: Bridging the Cyber-Physical Gap with Agentic AI》的学术论文在arXiv预印本平台发布。论文由Minkyu Ham等九位作者共同撰写，核心目标是利用智能体人工智能（Agentic AI）技术，打通虚拟数字世界与物理现实世界之间的壁垒。传统信息物理系统往往面临感知、决策与执行之间的延迟和断层，而SPINE框架通过构建具备自主感知、推理与行动能力的AI智能体，实现跨域任务的高效协同。该方法有望在自动驾驶、工业机器人、智慧城市等场景中显著提升系统响应速度与鲁棒性。论文目前以PDF形式公开，并提供了HTML预览及TeX源代码，供研究人员参考与复现。 #AI #智能体 #信息物理系统 #arXiv #论文 #机器人 #自动驾驶