新機構用數學嚴謹性解決AI安全問題

數學 AI 安全研究所（MAISI）由近期菲爾茲獎得主 Jacob Tsimerman 宣布成立，目標是為 AI 系統制定嚴謹的安全標準。MAISI 計劃於 2027 年 1 月開始營運，將在舊金山灣區組建一支由 10 至 30 名數學家組成的團隊。該研究所旨在證明 AI 系統是安全且負責任的，類似於密碼學家證明加密方案無法被破解的方式。Tsimerman 也加入了 OpenAI 的安全團隊，強調 AI 需要更高層級的安全標準。