URhot

Trust, but verify, audit and attribute:核查 AI 产出研究结果的人在回路框架

Trust, but verify, audit and attribute: a human-in-the-loop framework for checking AI-produced research results

arXiv cs.HC · 发布于 2026-11-11 13:00 · 收录于 2026-11-11

摘要

研究提出一个领域无关的人在回路框架,用于核查 AI 产出的研究结果:工具检查、审计检查是否忠实于原始主张,人类在固定节点决策并记录人机贡献。工具层有数学(Wolfram Language、MATLAB、Lean)和统计(Python、R)两套自动实现,数学版在双主张示例上运行。歧义主张被拆成两种读法,一种被反驳、一种被证明。

方法/实践Agent研究伦理

来源与原文

arXiv cs.HC