AI × Verification → Future