一直在思考mira和cysic ai在可驗證性方面的不同方法 mira使用多個AI模型相互事實檢查,然後再發送輸出(更像是同行評審) cysic ai則通過TEE和ZK證明的組合使用多重證明模型來驗證AI行為 並不是說哪一個更好,只是認為它們是為不同的用例設計的 雖然mira可以用於研究和分析,但cysic ai在代理經濟中會表現更佳 順便說一下,我只是隨便想想,告訴我你的看法?
5.73K