谷歌于4月3日发布了多模态模型Gemma 4，支持文本、图片和音频输入，生成文本输出。其上下文窗口可容纳25.6万个token，支持140种语言，并适用于多种环境，包含四种不同规模的模型。

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

乐天集团于3月17日发布了名为Rakuten AI 3.0的高性能AI模型，参数达671B，针对日语进行了优化，声称在多项基准测试中超越了GPT-4o。该模型以Apache 2.0协议免费开源，基于DeepSeek V3模型微调而成，得到了日本政府的训练算力支持。

Mistral AI 发布开源代码代理 Leanstral，专为 Lean 4 形式化验证设计，能生成可自动校验的代码和证明。该模型采用稀疏 MoE 架构，表现优于其他顶级模型，并提供免费下载和 API 调用。

智谱 AI 于3月16日发布了 GLM-5-Turbo 模型，作为 GLM-5 的高速优化版，专为 OpenClaw agent 场景定制。该模型速度提升2至3倍，支持200K上下文和128K最大输出，优化了工具调用稳定性等方面。在评测中表现显著优于 GLM-5，并同步提高了 API 价格及推出个人用户套餐。

英伟达于3月12日发布了开源大语言模型Nemotron 3 Super，设计用于多智能体应用，参数量达1200亿，推理性能明显提升，支持长达100万token的上下文窗口。该模型在PinchBench基准测试中得分85.6%，为同类最高，已在多个平台上线并支持多种云服务部署。

Gate.io News bot消息，据吴说报道，纽交所上市公司Genius Group在佛罗里达南区地方法院对LZGI International, Inc的两位高管Peter Ritz和Michael Moe提起诉讼。诉讼依据为美国《反诈骗和腐败组织法》（RICO），索赔金额达4.5亿美元。 此前，纽约地方法院已对Genius Group下达禁令，禁止其通过出售股票募资购买比特币。