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