OpenAI publishes AI math results on GitHub · Briflio