Trust. The hard currency of AI

Recently, I came across this article “Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI”.