MIT 面板：形式化验证如何防御超级智能黑客

MIT 计算机学院将于 11 月 17 日举办关于形式化验证防御 AI 网络安全威胁的面板讨论。 活动旨在探讨数学证明能否保障 AI Agent 包含性并发现特定安全漏洞，应对最新 LLM 以惊人速度发现软件缺陷的风险。 讨论由学术、政府及工业界专家参与，聚焦技术实现与政策战略意义。