AI's progress on hard math and the limits of benchmarks · Digg