The Revenge of Safeguarded AI

人工智能安全聚焦形式化方法，举办黑客松并涌现新创企业

人工智能安全社区正围绕形式化方法进行组织，举办了专注于安全程序合成的黑客松和研究员项目。Midspiral、Sequent 和 Sigil Logic 等新公司正在这一领域崭露头角，将形式化方法应用于 Web 开发和人工智能安全等领域。此外，一项关于网络加固人工智能系统的新资金呼吁以及一项针对人工智能安全硬件的驻留计划，都凸显了对这些关键领域日益增长的关注。