可验证 AI：如何证明黑盒背后的行为

zkML 可生成数学证明以验证特定模型输出，目前仅适用于小模型。 opML 通过允许用户挑战结果支持大模型扩展，但存在隐私缺失及等待期问题。 硬件证明（TEE）是当前运行大模型的唯一实用方案，但需信任芯片制造商。