数学AI安全研究所成立：以密码学方式证明AI安全性

新机构聚焦数学化AI安全验证

加拿大数学家雅各布·茨默曼（Jacob Tsimerman）——2024年菲尔兹奖得主——正式宣布创立数学AI安全研究所（Mathematical A.I. Safety Institute, MAISI）。该机构核心目标是将密码学领域成熟的‘可证明安全’（provable security）方法论迁移至AI安全研究中。

借鉴密码学范式，追求形式化保障

正如密码学家通过数学定理证明加密算法在特定假设下不可破解，MAISI计划构建类似的严格数学框架，用以形式化定义AI系统的安全性，并在合理假设前提下推导其行为边界与鲁棒性保证。目前尚未披露具体技术路线或首批研究项目。

初期定位为跨学科基础研究平台

MAISI暂未公布组织架构、资金来源或合作方，强调其初期重心在于凝聚数学、理论计算机科学与AI安全领域的学者，推动底层原理层面的协同探索。