Correction (Mar 3, 2020): An earlier version of this article published on February 29 detailed only two of the three GPUs. The largest, with 7,936 cores, was uncovered only recently.