美团LongCat团队于3月21日开源了LongCat-Flash-Prover，一个5600亿参数的MoE模型，专注于Lean4形式化定理证明。模型分为自动形式化、草图生成和完整证明生成三项能力，结合推理工具与Lean4编译器实现实时验证。训练采用Hybrid-Experts Iteration Framework和HisPO算法，防止奖励作弊。基准测试表明，该模型在自动形式化和定理证明方面刷新了开源权重模型的记录。

Gemini CLI 将于3月25日起实施三项政策调整：免费用户无法访问Pro模型、流量分配优先级调整、升级滥用检测机制。开发者可通过AI Studio或Vertex AI获取付费API密钥。

Ripple通过收购BC Payments寻求获得澳大利亚金融服务牌照，推动亚太地区跨境支付业务的发展。若申请成功，将增强其在当地市场的竞争力，简化交易流程并减少对中介的依赖。该举措可能推动区块链支付技术在受监管金融体系中的应用，但市场竞争仍在加剧，传统金融系统与加密服务尚存在摩擦。

Gate News 消息，3 月 8 日，Openclaw 近日发布 3.7 测试版，主要更新为新增支持大语言模型 GPT 5.4 和 Gemini Flash 3.1。

3月6日，Gate News报道，AI公司阶跃星辰的Step 3.5 Flash在开源AI助理框架OpenClaw中连续三天称霸单日调用量，3月5日达613亿token。中国模型在前五名中占三席。

根据TrendForce调查，AI推理应用推动了对大容量存储产品的需求，导致HDD市场供应缺口加大，NAND Flash业者加速生产超大容量SSD，以应对未来市场需求。

金十数据9月26日讯，本周原厂Flash Wafer价格暂停报价，现货Flash Wafer资源普遍上扬，市场涨价氛围浓厚。据CFM闪存市场最新报价，1Tb QLC涨2.00%，1Tb TLC涨1.79%，512Gb TLC涨2.94%，256Gb TLC涨3.23%。

金十数据9月25日讯，据Trend Force集邦咨询观察，由于消费市场需求提前在上半年被透支，下半年旺季未能如预期发挥效应，市场原本普遍预估Q4价格将进入盘整。然而，HDD供给短缺与过长交期，使CSP（云端服务供应商）将储存需求快速转向QLCEnterpriseSSD，短期内急单大量涌入，造成市场明显波动。同时，闪迪率先宣布调涨10%，美光也因价格与产能配置考量暂停报价，使得供应端氛围由保守转为积极。在此外溢效应带动下，预估NANDFlash第四季各类产品合约价将全面上涨，平均涨幅达5-10%。

金十数据7月10日讯，今天凌晨，微软在官网开源了Phi-4家族的最新版本Phi-4-mini-flash-reasoning。mini-flash版延续了Phi-4家族参数小性能强的特点，是专门针对那些受算力、内存和延迟限制场景设计的，单个GPU可运行，适合笔记本、平板电脑等边缘设备。与前一个版本相比，mini-flash使用了微软自研的创新架构SambaY，推理效率暴涨了10倍，延迟平均降低了2—3倍，整体推理性能实现了大幅度提升。