完备关键词检索结果

美国国家标准技术研究所
2026年6月9日 12:00

NIST 数学证明支持人工智能系统向持续监控和更新安全模型的过渡

NIST Mathematical Proof Supports Transition to a Continuous-Monitor-and-Update Security Model for AI Systems

该证明将著名数学家库尔特·哥德尔 (Kurt Gödel) 使用的逻辑扩展到人工智能，他的不完备性定理对数学产生了近一个世纪的深远影响。