FrontierMath was funded by OpenAI | Hacker News Reader