The Decoder：AI News（RSS）· Manuel Uth·· 27 天前AI 评分55
菲尔兹奖得主 Jacob Tsimerman 创立 Mathematical A.I. Safety Institute，拟用数学方法证明 AI 安全
The Mathematical AI Safety Institute wants to prove AI is safe the way cryptographers prove codes are unbreakable
AI 导读
加拿大数学家、新科菲尔兹奖得主 Jacob Tsimerman 宣布创立独立研究机构 Mathematical A.I. Safety Institute（MAISI），据《纽约时报》报道，机构位于旧金山湾区，计划 2027 年 1 月启动，招募 10 至 30 名数学家研究 AI 安全。
整理与数据来源：AIHOT
来源：The Decoder：AI News（RSS） · the-decoder.com