OpenAI has the FrontierMath dataset; the mathematicians involved were unaware | Hacker News Reader