AI hallucinációk kiszűrése képletekkel: az Amazon megoldása
Az Amazon Web Services (AWS) 2024 decemberében vezette be új, automatizált érvelés-ellenőrzési technológiáját, amely matematikai logikára támaszkodva ellenőrzi és igazolja a mesterséges intelligencia által generált válaszok pontosságát. Az automatizált érvelés a szimbolikus mesterséges intelligencia egyik ága, amely egészen az ókori görög filozófusok – például Szókratész és Platón – mintegy 2000 éves matematikai