O Brasil está preparado para a IA? Solange Srour fala sobre impacto da tecnologia no mercado de trabEstadão discute os desafios econômicos do Brasil a partir de 2027, quando terá início um novo mandato presidencial. Crédito: TV EstadãoNinguém discorda de que a IA abre um potencial imenso à nossa frente, mas isso reforça a necessidade premente de saber qualificar o seu uso: obter dela as vantagens latentes, sem que tenhamos de tratar de inesperados e delicados novos problemas.PUBLICIDADENa semana que passou falou-se do terceiro teorema de Fermat. Fermat enunciou em 1637 algo sobre uma extensão ao teorema de Pitágoras - aquele dos triângulos retângulos onde “um quadrado pode ser a soma de dois quadrados”: ele valeria apenas para o expoente 2; para maiores que 2 não há solução possível em números inteiros! E anexou uma misteriosa nota: “descobri uma demonstração maravilhosa, mas não cabe nesta margem”. Passaram-se mais de 350 anos para que uma solução fosse encontrada. Andrew Wiles conseguiu isso em 1995, após trabalhar sete anos gerando uma prova em quase 130 páginas... E agora a Anthropic anuncia que sua IA conseguiu gerar a formulação computacional perfeita desta prova, em apenas 11 dias de trabalho e testada pelo sistema LEAN.Mas há uma outra notícia, que pareceria ser o anticlímax da anterior. A prestigiosa revista CACM, Comunicações da Associação de Computação, denuncia um problema atual: enquanto a IA consegue gerar milhões de linhas de código rapidamente, o trabalho para verificar a correção e os riscos na implementação do “software” gerado por IA continua sendo cada vez mais exigente de trabalho humano...IA da Anthropic conseguiu gerar a formulação computacional perfeita para o Teorema de Fermat em 11 dias de trabalho