根据 AWS 的说法，逻辑如何帮助 AI 模型说出更多真相

快速阅读: 据《ZD网》称，亚马逊AWS科学家拜伦·库克在峰会上倡导“自动化推理”，这是一种通过逻辑验证知识的技术。AWS已应用该技术十年，用于保障服务、验证安全等。他认为其与生成式AI结合将推动AI发展。

据亚马逊AWS资深科学家拜伦·库克介绍，5月，他在纽约举行的AWS金融服务峰会上发表演讲，倡导“自动化推理”。这种技术，也称作“符号AI”或“形式验证”，是一种通过逻辑验证真值的算法，用于搜索关于世界的陈述或断言。库克指出，自动化推理可以将知识严格支持为逻辑上可断言的内容，实现模型对可能产生的所有数据进行精确描述。

库克举例说明，自动化推理可以通过逻辑分析确定一个循环是否会无限运行。在代码中，如果两个整数变量X和Y，其中Y为正数，X大于Y，Y不断从X中减去，最终X将小于Y，循环条件被违反，循环终止。这表明自动化推理可以通过逻辑而非穷举试验来回答基本问题。

库克表示，AWS已使用自动化推理十年，应用于根据服务级别协议（SLA）保证AWS服务的交付、验证网络安全等领域。例如，AWS的身份和访问管理工具IAM Analyzer，可以在几秒钟内解决复杂的普遍性陈述问题，而全面测试则几乎不可能实现。

库克认为，自动化推理将成为“人工智能超级智能”的一部分，因为它可以解决开放的数学猜想，甚至在几毫秒内完成人类可能需要百年才能解决的问题。此外，AWS还利用自动化推理验证开源代码的正确性，以及评估每秒高达二十亿次的访问请求。

库克强调，自动化推理与生成式AI的融合，即所谓的“神经符号AI”，是未来的重要趋势。这种技术可以使非技术人员以自然语言表达目标，然后由自动化推理严谨地实施。同时，这种方法也有助于解决生成式AI的局限性，如幻觉或错误信息。

库克以AWS的“自动化推理检查”为例，说明了如何将聊天机器人的自然语言输出转换为可验证的形式逻辑，确保答案的正确性。他指出，随着代理AI的发展，自动化推理将在确保系统正确性方面发挥关键作用。

库克对自动化推理与生成式AI融合的前景充满信心，认为这将为人工智能领域带来重大突破。

(以上内容均由Ai生成)