面向 robo-advisor 的形式化验证：对主观用户信任无关紧要，却在投资行为中发挥决定性作用？
人机交互
2025-09-11 v1
摘要
本研究通过在线情景实验，探讨了认证与形式化验证作为人工智能质量保证措施对信任与使用 robo-advisor 影响的作用。我们让 520 名参与者在想象中使用在线银行服务进行继承金投资情境。实验分为 4 组：EG1 未提供 robo-advisor 信息；EG2 说明其 robo-advisor 由可靠机构对无偏过程进行认证；EG3 展示经过形式化验证、且能考虑投资偏好的 robo-advisor；对照组展示远程认证的人类金融顾问。所有组需决定将 10,000 欧元中多少资金交给其顾问进行自主投资，并报告信任程度与感知可靠性。随后实验再度设置情境，参与者面对成功或失败的投资结果。总体结果表明，顾问的质量保证水平对我们所测量的结局变量几乎没有显著影响，仅影响了参与者对顾问自身心理模型的感知。描述性结果显示，经形式化验证的顾问中位数投资为 65,000 欧元（对照组为 50,000 欧元）。尽管顾问质量影响有限，但成功或失败信息被感知为顾问可信度的更重要线索，导致信任与可靠性评分发生显著差异。该研究表明，仅关注信任而忽略信任行为的客观测量是不够的；同时也凸显了未来研究在形式化验证方面的必要性，尽管其在数学上证明 AI 可靠性方面具备金标准地位，但似乎未能作为用户可信度线索发挥充分作用。
关键词
引用
@article{arxiv.2509.08540,
title = {Formal verification for robo-advisors: Irrelevant for subjective end-user trust, yet decisive for investment behavior?},
author = {Alina Tausch and Magdalena Wischnewski and Mustafa Yalciner and Daniel Neider},
journal= {arXiv preprint arXiv:2509.08540},
year = {2025}
}