实体
Mathematical AI Safety Institute
Mathematical AI Safety Institute
PulseAugur coverage of Mathematical AI Safety Institute — every cluster mentioning Mathematical AI Safety Institute across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 0
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
AI安全倡议启动：资金、数学研究和员工倡导
Scott Alexander的Astral Codex Ten开放式讨论线程重点介绍了AI安全社区内的几项新倡议和行动呼吁。Coefficient Giving正在启动Tailwind项目，为有大量种子前和种子轮融资需求的雄心勃勃的AI安全初创公司提供资金。此外，菲尔兹奖得主Jacob Tsimerman正在建立数学AI安全研究所，以招募数学家从事AI安全研究，目标是在旧金山湾区雇用大量人员。该讨论线程还提到了AI公司员工为追究领导…
-
数学家成立研究所，以数学严谨性证明人工智能安全
数学人工智能安全研究所（MAISI）由加拿大数学家、近期菲尔兹奖得主 Jacob Tsimerman 创立。MAISI 旨在严格证明人工智能系统的安全性，其方法类似于密码学家建立代码安全性。该研究所将专注于开发更强大的算法来实现这种数学确定性。