谷歌Deepmind的AlphaProof Code在四周內驗證了Signal的加密核心
谷歌deepmind的alphaproof code使用ai代理在四周內驗證了signal的加密核心，加强了对数据隐私的信任。这影响了安全消息应用程序。
google deepmind's alphaproof code used ai agents to verify signal's cryptographic core code in four weeks, a process that usually takes years. the ai system, built on gemini carbon, wrote over six million lines in the lean proof language and flagged roughly one percent of the codebase for human review. two deliberately planted bugs were caught immediately. signal cto ehren kret says this approach strengthens trust in data privacy as ai threats grow. deepmind plans to extend this method to other systems like power grids and medical devices.