Tool assisted speed run. People write programs to run the game over and over, and by doing that they can prove or disprove potential strats, routes and such and then humans can try them.