Desenvolvimento da indústria de IA e dinâmicas de políticas

Hoje (21 de julho), o cofundador da Ethereum, Vitalik Buterin, propôs a criação de uma nova linguagem de programação de alto nível que compila para sistemas de provas formais como Lean e HOL, optimizando a legibilidade das definições e dos teoremas em vez dos próprios processos de prova. Segundo a PANews, Buterin afirmou que a linguagem tem como objectivo ajudar os humanos a compreender de forma clara o que as provas formais geradas por IA em grande escala demonstram matematicamente e logicament

De acordo com a Guru Club, a primeira plataforma de dados para IA incorporada em conformidade com a China, desenvolvida em conjunto pela Shanghai Technology Exchange, Kexing Spacetime Technology e Unitree Robotics, iniciou oficialmente a sua operação a 21 de julho. A plataforma é apresentada como a primeira infraestrutura nacional de dados para IA incorporada, concebida para instituições de investigação globais, ao mesmo tempo que implementa, desde o início, uma gestão integral de conformidade a

A Nvidia lançou na terça-feira especificações e benchmarks detalhados para o seu CPU de data center Vera, entrando em concorrência com a Advanced Micro Devices (AMD) e a Intel no mercado de processadores para servidores de IA. A gigante dos chips entregou processadores Vera a clientes incluindo OpenAI, Anthropic e SpaceX em junho, segundo representantes da Nvidia. O lançamento do CPU responde à procura crescente por processadores optimizados para cargas de trabalho de IA agentic, que exigem dese

A Alphabet está a libertar três novos modelos Gemini na terça-feira, incluindo o Gemini 3.5 Flash Cyber, concebido para cibersegurança. As libertações pretendem mostrar progresso numa linha de produto que tem enfrentado atrasos e uma concorrência crescente. O Gemini 3.5 Flash Cyber estará inicialmente disponível apenas para governos e parceiros de confiança através de um piloto com acesso limitado, colmatando a lacuna da Google em cibersegurança face à Anthropic, que construiu uma vantagem inici

De acordo com a Bloomberg, na terça-feira, a Nvidia detalhou as especificações do seu CPU de centro de dados, chamado Vera, concebido para competir com processadores da AMD e da Intel nos mercados de servidores para IA. A empresa afirmou que os chips Vera foram entregues à OpenAI, Anthropic e SpaceX em junho. A Nvidia declarou que a CPU oferece 50% mais desempenho para agentes de IA, em comparação com chips x86 de concorrentes, dando prioridade à velocidade de um único núcleo em vez do número de

De acordo com o Guru Club, a Google disse, a 21 de julho, que o Gemini 3.5 Pro está atualmente a ser testado com parceiros e será disponibilizado de forma mais ampla assim que estiver pronto. A empresa já começou o pré-treinamento do Gemini 4 e lançou o Gemini 3.6 Flash, o Gemini 3.5 Flash-Lite e o Gemini 3.5 Flash Cyber. O Gemini 3.5 Flash-Lite tem o preço de 0,3 dólares por 1 milhão de tokens de entrada e 2,5 dólares por 1 milhão de tokens de saída.

De acordo com a PANews, a Google lançou hoje (21 de julho) o Gemini 3.6 Flash, o Gemini 3.5 Flash-Lite e o Gemini 3.5 Flash Cyber. A empresa também já começou o pré-treino para o Gemini 4. O Gemini 3.6 Flash custa 1,50 dólares por milhão de tokens de entrada e 7,50 dólares por milhão de tokens de saída, enquanto o Gemini 3.5 Flash-Lite custa 0,30 dólares por milhão de tokens de entrada e 2,50 dólares por milhão de tokens de saída.

A Bolsa de Valores de Londres anunciou na terça-feira o lançamento do LSE 24, uma nova plataforma de negociação 24/5 concebida para apoiar a negociação digital, algorítmica e baseada em agentes. A plataforma funcionará de segunda a sexta, das 17:00 às 07:50, com uma pausa de 30 minutos todas as noites para processamento do fecho do dia, operando separadamente das horas existentes do Main Market, das 08:00 às 16:30. O anúncio surge num contexto em que as bolsas a nível global alargam os horários

De acordo com a London Stock Exchange, a bolsa anunciou na terça-feira o lançamento do LSE 24, uma nova plataforma de negociação 24/5, com funcionamento das 17:00 às 07:50 de segunda a sexta-feira, para apoiar a negociação digital, algorítmica e baseada em agentes. A plataforma incluirá uma pausa de 30 minutos todas as noites para o processamento do fecho do dia e funcionará separadamente do Main Market. O LSE 24 estará disponível para testes com clientes até ao final de 2026, com o lançamento d

De acordo com a Jin10, a Moon Darkness está em negociações para assegurar financiamento pré-IPO numa avaliação de 50 mil milhões de dólares. A empresa de software de IA, que desenvolve modelos de linguagem de grande porte, estará a explorar esta ronda de financiamento enquanto se aproxima de uma possível listagem em bolsa.

De acordo com a BlockBeats, a Kimi (Moon’s Dark Side) está em conversações para angariar financiamento numa ronda pré-IPO avaliada em 50 mil milhões de dólares, em 21 de julho.

De acordo com a PANews, a 21 de julho, o DeepSeek-V4 entrou em testes cinzentos de pequena escala e deverá ser lançado oficialmente até ao fim de julho. A versão inclui as variantes DeepSeek-V4-Pro e DeepSeek-V4-Flash, com a libertação formal ligeiramente adiada face ao calendário inicialmente previsto para meados de julho. O V4 já concluiu a adaptação sem CUDA e suportará vários chips de IA nacionais no primeiro dia. A atualização incide em otimizar a eficiência das inferências, a velocidade da

Num post do LinkedIn, datado de 21 de julho, Maximilian Bittner afirmou que o fundador da Lazada está a construir uma nova startup de gestão de riqueza baseada em IA e que angariou 13,7 milhões de dólares (12 milhões de euros) para o projeto. A startup, sediada em Londres, vai concentrar-se em servir clientes europeus. No financiamento participaram a headline, a Atomico, a Revent, a Global Founders Capital e vários investidores-anjo. A cofundadora Lisa Sorg trabalhou anteriormente na Lazada e, m

O secretário do Tesouro dos EUA, Scott Bessent, afirmou na terça-feira que a administração Trump poderá impor sanções à China por alegado roubo de modelos de inteligência artificial, através de um processo chamado distilação. Bessent disse à Fox Business que o governo não apoia o roubo de propriedade intelectual, citando em particular preocupações de que os modelos de IA chineses possam ter sido construídos usando saídas de modelos americanos. A declaração surge à medida que modelos chineses de

De acordo com a CNBC, na terça-feira, o secretário do Tesouro dos EUA, Scott Bessent, disse que a administração Trump poderá impor sanções à China devido a alegada distilação de modelos de inteligência artificial, em que modelos mais pequenos são construídos com base nos resultados de modelos norte-americanos mais fortes. “Se virmos que modelos no estrangeiro estão a roubar às nossas grandes empresas, temos capacidade para sancioná-los por causa deste roubo”, afirmou Bessent à Fox Business. Sali

Os fundos de cobertura venderam ações de tecnologia dos EUA ao ritmo mais rápido em pelo menos uma década, reduzindo posições em tecnologia da informação em seis das últimas oito semanas, de acordo com dados da Goldman Sachs divulgados pela Barchart. A tecnologia é o setor dos EUA mais vendido pelos fundos de cobertura apenas na última semana. As vendas sustentadas refletem uma mudança nas preferências de risco num contexto de avaliações elevadas e de incertezas mais amplas no mercado, com estra

De acordo com a Guru Club, o agente de IA da OpenAI ultrapassou 10 milhões de utilizadores em 21 de julho após a implementação do ChatGPT Work.

A Vodafone está a testar um mastro móvel equipado com um “cérebro” de IA e um braço robótico em Tirana, na Albânia, que analisa autonomamente as necessidades de cobertura dos clientes e ajusta automaticamente as antenas de rádio para melhorar a qualidade do sinal. O mastro auto-pensante avalia a procura e as condições locais, incluindo o tempo, para decidir onde concentrar o seu sinal mais forte, direcionando a cobertura para o exterior em dias de sol e proporcionando uma cobertura interior mais

A Vodafone está a testar um sistema de antena móvel com IA que ajusta autonomamente a cobertura de rádio com base na procura e nas condições locais, anunciou a empresa hoje. A antena “auto-pensante”, equipada com um braço robótico fabricado pela empresa sul-coreana HUMAX Networks, utiliza algoritmos para rodar ou inclinar a antena e otimizar o sinal 4G/5G. Os ajustes demoram 20-30 minutos, em comparação com semanas para alterações manuais. O local de teste em Tirana, na Albânia, demonstra a apli

De acordo com relatórios da indústria, a Samsung terá começado a produção em massa de V-NAND de 10.ª geração e está a fornecê-la à Nvidia, enquanto aumenta a capacidade de V-NAND de 9.ª geração. A empresa está também a desenvolver V-NAND de 11.ª geração com 500 camadas. Entretanto, a Taiwan Semiconductor Manufacturing Company (TSMC) planeia aumentar os preços de nós de processo avançados e maduros em até 10% a partir de 2027, com potenciais novos aumentos para chips de IA de alto desempenho. Nou