He said in the talk, answering this exact question, that basically his result shows that there aren't any really hard cases for the heuristic algorithms to run

He said in the talk, answering this exact question, that basically his result shows that there aren't any really hard cases for the heuristic algorithms to run into. It would of course require some analysis to connect them to his result, but there would be no point in implementing his algorithm on a computer.