I mean we already have seen this happen with AlphaDev. Not sure why AI would fail at working on NP-hard problems if our current way is to basically guess and keep trying until something clicks (something that is not difficult for an AI system that can just keep running).