OpenAI claims to have solved hundreds of long-standing maths problems The Economist