亚马逊副总裁兼杰出科学家Byron Cook正领导一项关键任务：利用一种名为“自动推理检查”（Automated Reasoning Checks）的功能，来减少生成式人工智能中最令人头疼的副作用——“幻觉”问题。Cook的团队致力于将一种相对小众的“神经符号AI”技术融入亚马逊的AI服务中。这种技术结合了深度学习的数据驱动能力与基于逻辑规则的符号推理，旨在为AI模型的输出构建一个可验证的“安全网”。通过自动推理检查，系统能够对AI生成的内容（如代码、总结或回答）进行逻辑一致性和事实正确性的验证，从而在部署前识别并过滤掉不可靠或虚构的信息。此举不仅关乎提升亚马逊自身AI产品（如AWS的Bedrock和CodeWhisperer）的可靠性与安全性，更代表了行业应对AI可信度挑战的一个重要技术方向，对金融、医疗、法律等高风险领域的AI应用具有深远意义。