MIT将于11月17日举办公开研讨会，探讨形式化验证抵御AI网络威胁

MIT计算机学院计划于2026年11月17日下午4:30举行一场公共研讨会，主题是形式化验证如何应对由日益强大的AI系统带来的网络安全威胁。该活动由学术界、政府及工业界专家共同讨论。研讨会主要探讨利用数学证明保障AI代理包含性并发现特定安全漏洞，以应对最新大语言模型快速发现软件缺陷的风险。会议不仅关注技术实现，还涉及政策战略意义。目前，公众参与需进行实地现场注册。

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

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