4 ms·AI's math problem: FrontierMath benchmark shows how far AI still has to go3 points by marban 2y ago