受证言语行为与Brouwer可断性约束：一种面向公共理性的AI断言规范

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