FrontierMath Was Funded by OpenAI | Hacker News Reader