Machine-learning the Sato–Tate conjecture. (July 2022)