OpenAI released findings on hundreds of newly solved math problems