FrontierMath Was Funded by OpenAI (lesswrong.com)
FrontierMath was funded by OpenAI.