AI’s reported progress in mathematical abstraction · Digg