跳到正文
热点事件持续更新

arXiv 发布应用直觉主义断言约束论文

1 篇报道1 个报道来源8 小时前更新

先了解这件事

AI 综述

2026 年 10 月 30 日,arXiv 平台在 cs.AI 分类下发布论文(ID: 2603.03971 v5),作者为 Michael Jülich。该工作正式确立了面向公共理性的 AI 断言规范框架。 该框架基于 Brouwer 思想建立可断性约束,要求 AI 系统仅在有公开可检验证明时才进行断言或否定,否则必须返回“未定”状态。论文确立了“断言、否定、未定”的三态语义体系,强调输出依据需为可争议的权利证书,而非单纯的模型置信度。 此项设计旨在解决生成式 AI 在介入公共论证时可能带来的权威性误导问题。通过保障认知能动性,该规范试图约束自动化言语行为,确保 AI 输出的逻辑严谨性与可检验性,为公共理性的 AI 应用提供新的约束标准。

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

报道时间线

沿着报道,了解事件的不同侧面。

10月30日
  1. arXiv · AI
    受证言语行为与Brouwer可断性约束:一种面向公共理性的AI断言规范

    论文提出一种基于Brouwer思想的AI可断性约束,要求系统仅在有公开可检验证明时才进行断言或否定,否则必须返回“未定”状态。 该框架确立了“断言、否定、未定”三态语义,强调输出需基于可争议的权利证书而非单纯置信度。 此设计旨在自动化言语介入公共论证时,通过保障认知能动性来纠正生成式AI带来的权威性误导。

本事件热度走势

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