Jornal Do Brasilia - Nokia says AI, cloud boosted sales in second quarter