> If you have an objective metric of success in a formal universe machines always win. More like, machines will eventually win given enough time and effort put forth into making it so by humans. At least, so far.