刚拿菲尔兹奖，他转身要给AI安全做数学证明

刚拿到菲尔兹奖的数学家，下一站不是象牙塔，而是AI安全。加拿大数学家 Jacob Tsimerman 宣布创立数学人工智能安全研究所（MAISI），据《纽约时报》报道，这家独立研究机构落地旧金山湾区，计划于 2027年1月启动，届时将有 10到30名数学家专门攻坚AI安全问题。更让人意外的是他的另一个身份：Tsimerman同时加入 OpenAI的安全团队。他的判断很直接——这个领域需要"比我们现在得到的，高得多的安全标准"。加密能证明，AI不能为什么找数学家？原文给了一个很妙的类比：一套加密方案，你可以在不尝试所有可能攻击的前提下，证明它不可破解。AI没有这样的捷径。安全只在实践中显现。而按照MAISI的说法，连"安全"到底指什么，理论上都还没有一个清晰定义。这就是他们要补的那块空白。他们想证明的三件事 MAISI的目标，是让下面这些证明成为可能：一个系统确实在负责任地行动，并产出正确结果；多个AI智能体协同工作时，不会触发非预期的后果；系统能够抵御那些还没人发现的漏洞。工具层面，原文提到了一种可能：零知识证明。它能让一个系统证明自己没有作弊，同时不必暴露AI实验室的商业机密——安全和保密，不必二选一。为什么这件事值得盯把AI安全从"跑起来看看会不会出事"，推向"能不能先证明它不会出事"，这是思路上的换轨。10到30名数学家的规模不算大，但方向很明确：先定义清楚什么叫安全，再谈怎么证明。 2027年1月才启动，时间还早。但一个刚站上数学界顶峰的菲尔兹奖得主，选择把下一段职业生涯押在AI安全上，这个信号本身已经足够说明问题。特别