Peter Sarnak on "The AlphaZero Test" for Mathematics

1 points | by the-mitr 11 hours ago