The Boring Company, founded by a well-known entrepreneur in 2016, is dedicated to solving the problem of traffic congestion.