OpenAI model reportedly resolves more than 100 long-standing open math problems · Digg