“The mathematicians creating the problems for FrontierMath were not (actively) communicated to about funding from OpenAI.”
OpenAI funded FrontierMath and the funding stayed quiet until the o3 launch. OpenAI has access to a large share of the problems and solutions. The promise not to train on them is a verbal agreement. The o3 score came from a test the vendor paid for and has seen.