3 ms·OpenAI has the FrontierMath dataset; the mathematicians involved were unaware2 points by cma 2y ago