/
自動推理 關鍵字列表
AWS神經符號AI有望解決監管行業智能體安全問題
AWS將自動推理檢查功能正式推向市場，旨在為企業和監管行業提供更安全、可解釋的AI應用部署。該功能利用數學驗證方法確定真實性，能夠驗證AI響應準確性并檢測模型幻覺問題，聲稱可捕獲近100%的幻覺現象。神經符號AI結合了神經網絡的模式識別與符號AI的邏輯推理，通過數學證明方法解決企業對生成式AI不確定性的擔憂，為金融審計等應用場景提供可驗證的正確性保障。
Imandra 新推出的 AI 編程助手 CodeLogician 利用"推理能力"確保代碼準確性
Imandra 公司推出全新的自動推理系統 CodeLogician，這是一款基于神經符號 AI 的代碼編程助手。不同于 GitHub Copilot 等傳統代碼補全工具，CodeLogician 能夠對生成的代碼進行推理驗證，大幅降低"幻覺"和錯誤的發生。該系統由 ImandraX 引擎驅動，可自動將代碼轉換為數學模型進行分析，并生成測試用例證明代碼的準確性。
從數學到云：亞馬遜云科技如何通過自動推理提升系統安全與性能
在亞馬遜云科技，自動推理以及提供了嚴密的安全保障，讓服務如同自然法則般可靠且可控，為客戶帶來前所未有的信任體驗。
白皮書
京公網安備 11010802021500號
