He's solved the traveling salesman problem in Log(n) time.