StarkWare AI 负责人 Abdel Bakhta 宣布离职，将转向 AI 安全领域

StarkWare 应用 AI 与可验证智能负责人 Abdel Bakhta 发文宣布离开 StarkWare，并表示过去一年 AI 安全已成为其重点关注方向。他认为，AI 安全是人类面临的重要挑战之一，而数学、密码学等技术将在其中发挥关键作用，因此决定将后续工作重心转向该领域。