Para um dos maiores especialistas mundiais em verificação formal de Inteligência Artificial, Byron Cook, o futuro passa por impor regras claras à IA, e não por eliminar totalmente os seus erros: “Assim que tivermos estabelecido esses limites — para a banca, os investimentos ou qualquer outra aplicação crítica —, podemos permitir com segurança que os modelos de linguagem gerem soluções criativas”, diz o responsável pela estratégia de raciocínio automatizado da AWS.

O turismo contribuiu com 36.200 milhões de euros para a economia em 2025, correspondendo a 11,8% do Produto Interno Bruto (PIB), e com 0,3 pontos percentuais para o crescimento real da economia, divulgou hoje o INE.