O modelo de IA Claude Sonnet 5, da Anthropic, refutou a conjectura de Jacobiana, de 87 anos, no dia 21 (hora local), segundo a CoinDesk. O investigador da Anthropic e matemático bolseiro de Harvard Levente Alpoge publicou na X (antigo Twitter) que “a conjectura de Jacobiana é falsa”, partilhando o exemplo concreto de contraexemplo encontrado pelo Claude Sonnet 5. A CoinDesk analisou que este desenvolvimento representa um fator negativo para o Bitcoin, já que os avanços em IA podem redirecionar o capital de investimento da criptomoeda para a indústria de IA. A conjectura de Jacobiana, proposta em 1939, permaneceu sem prova durante 87 anos e esteve incluída na lista de Stephen Smale de grandes problemas por resolver do século XX — encontrar um único contraexemplo é suficiente para refutar uma proposição matemática.
A CoinDesk afirmou que “este evento não é apenas notícia de matemática, mas demonstra a possibilidade de o capital de investimento fluir mais fortemente para a indústria de IA com cada avanço na capacidade da IA”. O meio assinalou que o Bitcoin tem acompanhado ações relacionadas com IA nos últimos meses, em vez de se mover apenas pelos seus fundamentos, e projetou que “à medida que a IA alcançar novas descobertas, os investidores procurarão alocar capital à indústria de IA em vez de à criptomoeda”.
Intel reestrutura a divisão de data center
O fabricante de semicondutores Intel planeia reestruturar a sua divisão de data center, informou o Business Insider no dia 21 (hora local). Um porta-voz da Intel disse ao meio que a medida “faz parte dos esforços para se tornar uma empresa mais focada e eficiente”. A Intel indicou que está a reorganizar-se para garantir que o grupo de data center tem as funções e competências certas para o sucesso a longo prazo.
Uma fonte familiarizada com o assunto afirmou que “esta mudança não afetará os produtos do grupo de data center nem o roadmap” e “ajudará a racionalizar as operações do negócio”. A Intel reduziu pelo menos 15% do pessoal fabril — mais de 5.000 trabalhadores — em quatro estados dos EUA no ano passado.
Matrículas em Ciências da Computação nos EUA caem pela primeira vez em 20 anos
A matrícula no curso de Ciências da Computação em universidades dos EUA diminuiu pela primeira vez desde a expansão explosiva da IA generativa ChatGPT, segundo conclusões de investigação reportadas pelo Business Insider no dia 21 (hora local). O economista da Stanford University Hoover Institution, Jacob Reiter, afirmou que as taxas de matrícula no curso de Ciências da Computação diminuíram pela primeira vez em 20 anos durante o ano letivo 2025-2026.
Reiter analisou dados de mais de 50 milhões de cursos oferecidos em 1.019 universidades dos EUA desde 1996, concluindo que décadas de crescimento da matrícula em Ciências da Computação se inverteram pela primeira vez em 2025-2026. Avaliou que “a mudança mais proeminente recente é que a proporção crescente de alunos do curso de Ciências da Computação abrandou e depois passou a cair”, chamando-lhe “um evento que travou o crescimento sustentado e invulgarmente rápido ao longo de aproximadamente 20 anos”.
Os dados do National Student Clearinghouse Research Center (NSCRC) suportaram esta tendência. De acordo com a organização, os estudantes de graduação que se especializam em ciências da computação e áreas afins, bem como em serviços de apoio, em instituições de quatro anos, somaram 606.100 no outono de 2025, abaixo dos 8,1% face ao ano anterior (659.700). No entanto, este valor continua acima dos 574.333 em 2022, sugerindo que a recente queda poderá representar um ajustamento após anos de aumentos acentuados.
Reiter explicou que vários fatores podem ter contribuído para a queda, incluindo a possibilidade de a IA generativa ter alterado a forma como os estudantes aprendem, mudanças nas expectativas dos estudantes sobre o valor económico das competências em Ciências da Computação, mudanças no mercado de trabalho influenciadas em parte pela adoção de IA, fragilidade no emprego no setor tecnológico sem relação direta com IA e outras alterações na procura dos estudantes. Sublinhou que “os dados atuais, por si só, não conseguem distinguir quais fatores tiveram impacto” e “estes resultados devem ser interpretados como evidência do fenómeno, e não como uma estimativa da relação causal entre a exposição ao ChatGPT ou à IA e a procura dos estudantes”.
Substack faz parceria com Pangram para ferramenta de deteção de IA
A plataforma global de newsletters e media Substack introduziu recentemente uma ferramenta de deteção de IA em parceria com a startup Pangram, afirmando que “a internet está a ser poluída com conteúdos de IA de baixa qualidade (AI slop)”. A plataforma está também a considerar uma funcionalidade que permitiria aos leitores ficar completamente “cegos” para publicações geradas por IA no futuro, nos seus feeds.
O CEO da Substack, Chris Best, enfatizou que “não somos contra usar IA para assistência ao trabalho em si”, mas acrescentou que “no entanto, não podemos ficar de braços cruzados a ver a nossa app degradar-se como outras plataformas de redes sociais cheias de publicações geradas por IA”. O Business Insider reportou no dia 22 (hora local) que, à medida que a IA se infiltra rapidamente na vida quotidiana e na indústria, o selo “AI-Free” (sem IA) está a emergir como um novo modelo de negócio premium.
O meio diagnosticou que “se engolir o mundo pela IA é inevitável, então o facto de algo ser ‘Criado por Humanos’ tornar-se-á, por si só, um ponto de venda poderoso”. Enquanto as grandes empresas de tecnologia globais aceleram para integrar IA em todos os serviços, a fadiga e a resistência dos consumidores também estão a crescer de forma proporcional. Entre os exemplos estão a reação negativa da comunidade contra a instalação de data centers de IA e a resposta morna dos fãs quando o estúdio de cinema independente A24 tentou colaborar com a Google DeepMind.
Sony termina os discos físicos de jogos de PlayStation em janeiro de 2028
A Sony anunciou que vai deixar de produzir discos físicos para novos jogos de PlayStation a partir de janeiro de 2028 e libertar todos os novos títulos apenas em formato digital, informou a CNBC no dia 21 (hora local). Embora esta decisão possa levar a poupanças de custos e a um aumento de receitas para a empresa, analistas salientaram que os consumidores vão perder a prática de trocar, emprestar, revender ou, verdadeiramente, possuir jogos.
O analista da Wedbush Securities Michael Pachter afirmou que “a Sony pode poupar alguns custos com esta medida, mas é claro que os consumidores com opções mais limitadas acabam por pagar a fatura”. O diretor de research de equity na Morningstar, Kazunori Ito, avaliou como “um desenvolvimento verdadeiramente irónico”, notando que a Sony zombou da Xbox em 2013 ao mostrar como era fácil partilhar discos de PlayStation e, agora, mais de uma década depois, a própria Sony está a tornar-se no alvo desse tipo de críticas.
Espera-se que a mudança da Sony afete diretamente o mercado de jogos usados. De acordo com a DataIntelo, o mercado global de jogos usados atingiu 7,2 mil milhões de dólares em 2025 e deverá chegar a 13,8 mil milhões de dólares até 2034. Pachter explicou que “historicamente, pelo menos um terço dos jogos era negociado como usados” e que “os jogos vendidos como usados também forneciam aos jogadores que os vendiam dinheiro para comprar novos jogos”. Acrescentou que “o retalho de jogos físicos está condenado ao colapso”.
OpenAI e Anthropic aumentam gastos com lobby do 2.º trimestre em 23%
A OpenAI e a Anthropic gastaram 3,17 milhões de dólares em atividades federais de lobbying no segundo trimestre deste ano, um aumento de 23% face ao trimestre anterior, informou a CNBC no dia 21 (hora local). A OpenAI gastou 1,2 milhões de dólares de abril a junho, acima de 18% do 1.º trimestre, enquanto a Anthropic gastou 1,97 milhões de dólares, acima de 26%. Ambas as empresas aumentaram os gastos com lobbying federal até máximos históricos.
As duas empresas também aumentaram significativamente os gastos com lobbying em comparação com o mesmo período do ano passado. A Anthropic mais do que duplicou a despesa, e a despesa da OpenAI quase duplicou. A Meta gastou 5,99 milhões de dólares em lobbying no 2.º trimestre, o mais elevado entre as empresas Magnificent Seven, mas a despesa diminuiu 15% face ao 1.º trimestre.
Entretanto, os principais contratantes de defesa reduziram os gastos com lobbying face ao trimestre anterior. Os oito maiores contratantes de defesa reduziram os gastos com lobbying em mais de 3%. De acordo com o relatório “top 100 defense contractors” da General Services Administration (GSA), os oito maiores contratantes de defesa cotados em bolsa, pelo tamanho do contrato do Departamento de Defesa do ano fiscal de 2024, gastaram 19,68 milhões de dólares em atividades federais de lobbying no 2.º trimestre, abaixo 3,3% dos 20,36 milhões de dólares no 1.º trimestre.
A Lockheed Martin registou a despesa mais alta, com 4,18 milhões de dólares, seguida pela RTX, com 3,86 milhões de dólares, e pela General Dynamics, com 3,42 milhões de dólares. A RTX cortou 600.000 dólares, registando a maior queda entre os contratantes de defesa analisados pela CNBC face ao 1.º trimestre. Huntington Ingalls, Northrop Grumman e Raytheon também registaram quedas percentuais de dois dígitos.
FAQ
Que problema matemático o Claude Sonnet 5 resolveu no dia 21?
O Claude Sonnet 5 encontrou um contraexemplo que refuta a conjectura de Jacobiana, um problema matemático sem resolução há 87 anos proposto em 1939. O investigador da Anthropic Levente Alpoge anunciou na X que “a conjectura de Jacobiana é falsa” e partilhou o contraexemplo específico descoberto pelo modelo de IA.
Porque é que a matrícula em Ciências da Computação nos EUA caiu em 2025-2026?
O economista da Stanford, Jacob Reiter, afirmou que a matrícula no curso de Ciências da Computação diminuiu pela primeira vez em 20 anos durante o ano letivo 2025-2026. Os dados do NSCRC mostraram que a matrícula de licenciatura em ciências da computação e áreas afins em instituições de quatro anos caiu 8,1% para 606.100 no outono de 2025, face aos 659.700 no ano anterior. Reiter apontou vários fatores possíveis, incluindo a IA generativa a alterar os métodos de aprendizagem, mudanças nas expectativas dos estudantes sobre o valor económico e alterações no mercado de trabalho.
Quando é que a Sony vai deixar de produzir discos físicos de jogos de PlayStation?
A Sony anunciou que vai deixar de produzir discos físicos para novos jogos de PlayStation a partir de janeiro de 2028 e libertar todos os novos títulos apenas em formato digital, de acordo com a cobertura da CNBC no dia 21 (hora local). Os analistas apontaram que esta decisão vai impactar o mercado de jogos usados, que a DataIntelo prevê que atinja 13,8 mil milhões de dólares até 2034.
