AI verificável acelera a AI