Sharing AI progress in mathematics - OpenAI