De acordo com Beating, a startup de verificação formal de IA Pramaana Labs concluiu uma ronda de seed no valor de 27 milhões de dólares liderada pela Khosla Ventures, com participação da Accel, BoldCap, Nexus Venture Partners, Premji Invest e Unbound. A empresa utiliza LEAN, uma linguagem de programação open source para verificar teoremas matemáticos, para construir uma camada determinística de verificação sobre modelos de large language models para indústrias de alto risco, incluindo o direito,

De acordo com a NPCI, a National Payments Corporation of India lançou a Drunix a 17 de junho de 2026 — uma plataforma blockchain open-source, pronta para empresas, concebida para acelerar a tokenização e a adoção do ecossistema de ativos digitais. Construída como um fork avançado do Hyperledger Fabric, a Drunix permite que as organizações desenvolvam e coloquem à escala redes blockchain multi-organização, mantendo a privacidade, padrões de governação e interoperabilidade. A plataforma incorpora

De acordo com a BlockBeats, a 18 de junho, o managing partner da Dragonfly, Haseeb Qureshi, reviu a sua visão há muito defendida de que os modelos open-source ficariam ainda mais para trás face aos modelos closed-source devido a limitações de dados, hardware e destilação. A GLM da Zhipu atingiu mais um nível, afirmou, com testes de desempenho em benchmarks notáveis e um feedback inicial sólido por parte dos utilizadores. Qureshi acrescentou que, neste momento, está a correr o seu Hermes Agent na

De acordo com o Beating AI monitoring, o mais recente modelo GLM-5.2 da Zhipu ocupa o primeiro lugar entre os modelos open-source no benchmark de inteligência v4.1 da Artificial Analysis, com uma pontuação de 51 pontos, ultrapassando o MiniMax-M3 (44 pontos) e o DeepSeek V4 Pro (44 pontos). No teste GDPval-AA v2, que simula trabalho real do conhecimento, o GLM-5.2 obteve 1.524 pontos (linha de base humana: 1.000), igualando o modelo de fronteira fechado GPT-5.5 no modo xhigh reasoning e superand

De acordo com a Bloomberg, a Anthropic encerrou o acesso aos seus modelos Mythos e Fable a 15 de junho, depois de a administração Trump ter exigido restrições para utilizadores estrangeiros. A Zhipu AI, uma empresa com sede em Pequim, anunciou imediatamente o lançamento do seu modelo mais avançado, com capacidades de código aberto, posicionando-se como alternativa às ofertas dos EUA, agora restringidas. O cofundador da Zhipu AI, Tang Jie, publicou no X que as restrições súbitas «por razões não t

De acordo com o analista Rocky, no X, uma baleia comprou opções de venda no valor de 21,2 milhões de dólares na Micron (MU) com strikes de 900, com vencimento a 26 de junho de 2026, hoje. O prémio pago foi de 21,23 milhões de dólares, num nível 13% fora do valor. Mais de 84% do volume de negociação atingiu o preço de compra, sinalizando uma compra agressiva de puts. A dimensão da posição excedeu o open interest atual, indicando uma aposta bearish fresca. Os níveis de prémio subiram ao longo da s

Em 17 de junho, a Z.ai, a marca internacional da Zhipu AI, lançou e disponibilizou em open source o GLM-5.2 sob a Licença MIT. O modelo foi concebido para tarefas de programação e para o processamento de documentos longos, suportando uma janela de contexto de um milhão de tokens, acima dos 200K do GLM-5.1. A Z.ai afirmou que o GLM-5.2 ficou entre o Anthropic's Claude Opus 4.7 e 4.8 em vários testes de referência e que funciona em mais de 40 chips nacionais, incluindo Huawei Ascend e Cambricon.

De acordo com a Hyperinsight, a SPCX (SpaceX) gerou 1,35 mil milhões de dólares em volume de negociação nas últimas 24 horas na Hyperliquid, tornando-se o segundo maior contrato da plataforma depois do Bitcoin e ultrapassando a Ethereum. O contrato representou 35,3% do volume de trade.xyz e 16,6% do volume total da Hyperliquid. O open interest atingiu 280 milhões de dólares.

Segundo o Axios, a Microsoft está a considerar integrar o modelo de IA da DeepSeek na sua plataforma empresarial Copilot Cowork para oferecer opções mais baratas. A empresa também planeia mudar de planos de preço fixo para faturação baseada no consumo para controlar os custos à medida que proliferam as ferramentas de IA agentica. A Microsoft está a testar versões afinadas do DeepSeek V4 e de outros modelos open source como alternativas aos modelos da OpenAI e da Anthropic. A empresa pretende lan

De acordo com Jin10, um LOF global de chip (Listed Open-ended Fund) viu o seu prémio disparar para mais de 37% a 17 de junho. O fundo foi suspenso desde a abertura do mercado até às 10:30 da manhã como medida de controlo de risco. Vários outros ETF de sectores específicos que acompanham semicondutores e índices de tecnologia também registaram prémios elevados, o que desencadeou suspensões temporárias da negociação durante o mesmo período.