Weryfikowalna AI przyspiesza AI