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