Why are mathematicians concerned about OpenAI’s AI solving problems that stumped researchers for years?