$MIRA CONVERTS AI ASSERTIONS INTO VERIFIABLE KNOWLEDGE
Quando usiamo l'IA oggi, è facile presumere che solo perché un sistema genera una risposta, quella risposta sia vera. L'IA può produrre testi che suonano sicuri, logici e raffinati, ma sembrare giusto non lo rende corretto. La maggior parte delle uscite dell'IA sono trattate come verità complete, e questa assunzione diffonde incertezza ovunque.
Ciò che è diverso in Mira è come gestisce le risposte dell'IA. Invece di accettare una risposta come un unico blocco di testo, Mira la suddivide in affermazioni o dichiarazioni più piccole. Ogni affermazione può quindi essere verificata da sola. Improvvisamente, non stiamo solo chiedendo se una risposta sembra giusta, stiamo chiedendo se ciascuna dichiarazione individuale è realmente vera.