菲尔兹奖得主 Jacob Tsimerman 创立 Mathematical A.I. Safety Institute，拟用数学方法证明 AI 安全

加拿大数学家、新科菲尔兹奖得主 Jacob Tsimerman 宣布创立独立研究机构 Mathematical A.I. Safety Institute（MAISI），据《纽约时报》报道，机构位于旧金山湾区，计划 2027 年 1 月启动，招募 10 至 30 名数学家研究 AI 安全。