美团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密钥。

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

OpenClaw创始人彼得·斯坦伯格分享了PinchBench的基准测试结果，显示Gemini 3 Flash在代理任务中以95.1%的成功率名列第一，国产模型minimax-m2.1和kimi-k2.5分列第二和第三，成功率为93.6%和93.4%。其它模型如Claude Sonnet 4.5和GPT-4o表现较低。

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