The argument that AI has solved many math problems, but not math itself · Digg