Coreia do Sul propõe triplicar gastos com IA no orçamento: foco em infraestrutura, tecnologia e competitividade Lucas Lima 5 de November de 2025