Modelo interno da Anthropic avança em problema matemático sem solução há mais de 160 anos