从人权到数学研究：AI 如何被用于正途

人权基金会举办黑客松，10 位活动人士与开发者用 AI agent 在两天内打造保护街头影像证据的工具；纽约一场活动上，数学家和前国安官员则尝试用形式化方法（formal methods）的数学证明结合 AI，保障核电站、卫星等关键系统按预期运行。Atalanta 创始人 Anjana Rajan 称其首批客户之一是俄乌战争初期遭攻击的卫星通信公司，目标不是杜绝入侵，而是系统韧性。