OpenAI releases results from its internal AI math model on GitHub · Digg