NP problems are hard (duh) They might not have to be No one has disproved their absolute intractability Why not use ML to help?