Roman Yampolskiy - The Challenge of Verification in AI (via searchlore.ai)