OpenAI model is claimed to have solved 100-plus open math problems Β· Digg