A equipa LongCat da Meituan abriu o código do LongCat-Flash-Prover a 21 de março, um modelo MoE com 560 biliões de parâmetros, focado em prova de teoremas de formalização Lean4. O modelo divide-se em três capacidades: formalização automática, geração de esboços e geração de provas completas, combinando ferramentas de raciocínio com o compilador Lean4 para implementar verificação em tempo real. O treino utiliza o Hybrid-Experts Iteration Framework e o algoritmo HisPO para prevenir fraude de recompensas. Os testes de referência mostram que este modelo estabeleceu novos recordes em modelos de pesos de código aberto em formalização automática e prova de teoremas.

O Gemini CLI passará a implementar, a partir de 25 de março, três ajustes de política: utilizadores gratuitos não terão acesso ao modelo Pro, haverá uma alteração na prioridade de distribuição de tráfego e um mecanismo aprimorado de deteção de abusos. Os desenvolvedores podem obter chaves de API pagas através do AI Studio ou do Vertex AI.

Ripple através da aquisição da BC Payments procura obter uma licença de serviços financeiros na Austrália, impulsionando o desenvolvimento dos negócios de pagamentos transfronteiriços na região Ásia-Pacífico. Se a candidatura for bem-sucedida, irá fortalecer a sua competitividade no mercado local, simplificar os processos de transação e reduzir a dependência de intermediários. Esta iniciativa pode impulsionar a aplicação da tecnologia de pagamentos baseada em blockchain em sistemas financeiros regulamentados, mas a concorrência no mercado continua a intensificar-se, e ainda existem fricções entre os sistemas financeiros tradicionais e os serviços de criptomoedas.

Gate News notícia, 8 de março, Openclaw anunciou recentemente a versão de teste 3.7, com a principal atualização de suporte ao grande modelo de linguagem GPT 5.4 e Gemini Flash 3.1.

6 de março, a Gate News reportou que o Step 3.5 Flash da empresa de IA Jié Yuè Xīng Chén dominou durante três dias consecutivos o volume de chamadas diárias na estrutura de assistente de IA de código aberto OpenClaw, atingindo 61,3 bilhões de tokens em 5 de março. Os modelos chineses ocupam três das cinco primeiras posições.

De acordo com uma pesquisa da TrendForce, as aplicações de inferência de IA estão a impulsionar a demanda por produtos de armazenamento de grande capacidade, resultando num aumento da lacuna de fornecimento no mercado de HDD, enquanto os fabricantes de NAND Flash aceleram a produção de SSDs de ultra grande capacidade para atender à demanda futura do mercado.

Jin10 dados 26 de setembro, esta semana os preços do Flash Wafer de fabricantes originais pararam de ser cotados, os recursos do Flash Wafer Ponto estão geralmente em alta, e a atmosfera de aumento de preços no mercado é forte. De acordo com as últimas cotações do mercado de memória CFM, 1Tb QLC subiu 2,00%, 1Tb TLC subiu 1,79%, 512Gb TLC subiu 2,94%, 256Gb TLC subiu 3,23%.

Notícias do Jin10 em 25 de setembro: De acordo com a Trend Force, devido à demanda do mercado consumidor ter sido antecipadamente esgotada no primeiro semestre, a temporada de alta do segundo semestre não conseguiu ter o efeito esperado, e o mercado inicialmente previa que os preços no Q4 entrariam em consolidação. No entanto, a escassez de fornecimento de HDD e os longos prazos de entrega fizeram com que os CSP (fornecedores de serviços em nuvem) rapidamente mudassem a demanda de armazenamento para QLCEnterpriseSSD, resultando em um grande influxo de pedidos urgentes, causando uma flutuação significativa no mercado. Ao mesmo tempo, a SanDisk anunciou primeiro um aumento de 10%, e a Micron também suspendeu cotações devido a considerações de preços e alocação de capacidade, fazendo com que a atmosfera do lado da oferta passasse de conservadora para otimista. Com o efeito de transbordamento adicional, estima-se que os preços contratuais de todos os tipos de produtos NAND Flash no quarto trimestre aumentarão de forma abrangente, com um aumento médio de 5-10%.