FrontierMath was funded by OpenAI