What is verifiable inference and why it would make AI outputs much more useful.