Artifical intelligence and inherent mathematical difficulty