Peter Sarnak on "The AlphaZero Test" for Mathematics | Hacker News Reader