arXiv 预印本提出研究契约验证方法

Eitan Waks 与 Ben Glocker 提交未经同行评审的预印本，提出"研究契约"机制：把声明的实验选择、执行义务与结论范围绑定到记录的执行证据上，用于验证 AI 生成研究是否按契约执行，作者称这种验证不同于判定科学真理。 在八个自撰的干净/变异配对诊断中，确定性检查器按已登记、针对特定故障的规则检查已批准且已执行的对象，检出全部八个已登记变异。十八个评审别名在只拿到各自经元数据过滤的包、没有配对上下文和登记故障标签的情况下，144 个变异评估用例中 104 个被标记缺陷，32 次弃权、8 次终止失败；因提示要求证据不足时弃权，变异用例中无一被明确判为干净。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。