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

提出高风险AI断言证书约束框架

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

先了解这件事

AI 综述

Michael Jülich 在 arXiv 论文(arXiv:2603.03971)中提出一种受 Brouwer 启发的负责任 AI 可断言性约束:在高风险领域,系统只有在能提供可公开检验、可争议的权利证书时,才可断言或否定命题,否则必须返回 Undetermined(未定)。 该框架为高风险领域的高风险输出设计了三状态语义,核心变化是把传统二值的断言输出改为带证书要求的可断言性约束。

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

报道时间线

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

10月31日
  1. arXiv cs.AI
    无证书即无断言:面向公共机器言语的 Brouwer 式可断言性约束

    Michael Jülich 在 arXiv 论文中提出受 Brouwer 启发的负责任 AI 可断言性约束:高风险领域中系统只有在能提供可公开检验、可争议的权利证书时才可断言或否定命题,否则必须返回 Undetermined。

本事件热度走势

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