OpenAI contributes $5 million to Simons Foundation initiative on AI-produced math results · Digg