This is reprinted from Quanta Magazine. Previously discussed: https://news.ycombinator.com/item?id=19013993