#Google

Google DeepMind 用 AI 数学验证 Signal 关键部分

Google DeepMind 用四周时间对 Signal 的关键部分进行了数学形式化验证，成果暗示 AI 可能让形式化验证变得更实用。