FrontierMath Erdős announced as a new AI math benchmark · Digg