谷歌DeepMind用数学
该项目历时四周，显示AI有望让形式化验证更实用，或提升加密通信协议的安全可信度。
该项目历时四周，显示AI有望让形式化验证更实用，或提升加密通信协议的安全可信度。
2026年谷歌Gemini在人类最后考试最高分：65%以上
谷歌DeepMind用数学
本文Ars Technica
TechCrunch 等 3 家
法广 RFI 等 7 家
CNBC 等 4 家
BBC News 等 5 家
BBC News 等 7 家
CNBC 等 6 家
