学术与产业协作为亚马逊客户提供真实世界安全保障

亚马逊科学家拜伦·库克与斯坦福大学教授克拉克·巴雷特的合作，推动了开源软件工具cvc5的开发。该工具运用形式化方法和自动推理技术，能够检测代码中的逻辑错误。目前cvc5已应用于亚马逊Bedrock的自动推理检查、IAM访...

AWS神经符号AI有望解决监管行业智能体安全问题

AWS将自动推理检查功能正式推向市场，旨在为企业和监管行业提供更安全、可解释的AI应用部署。该功能利用数学验证方法确定真实性，能够验证AI响应准确性并检测模型幻觉问题，声称可捕获近100%的幻觉现象。神经符号AI结合了神...

Imandra 新推出的 AI 编程助手 CodeLogician 利用"推理能力"确保代码准确性

Imandra 公司推出全新的自动推理系统 CodeLogician，这是一款基于神经符号 AI 的代码编程助手。不同于 GitHub Copilot 等传统代码补全工具，CodeLogician 能够对生成的代码进行推...

从数学到云：亚马逊云科技如何通过自动推理提升系统安全与性能

在亚马逊云科技，自动推理以及提供了严密的安全保障，让服务如同自然法则般可靠且可控，为客户带来前所未有的信任体验。