FrontierMath was funded by OpenAI | Heykuki News