开源FlashProve：17秒验明AI模型真身
11月2日，Anthropic通过官方博客公布开源系统FlashProve，代码与技术文档以Apache 2.0许可证在GitHub开放。它要解决一个开发者早有感知、但长期无解的问题：你调用一个AI接口，怎么确定返回的回答真的来自商家承诺的那个模型？
FlashProve：用零知识证明给AI回答"验明正身"，400B模型17秒验证
01 开头：你花钱买的是顶级模型，后台却可能被偷偷换成小模型你通过 API 中转站调用某顶级大模型，回答看起来也不错——但你无法证明它真的是那个模型生成的，服务商可能为了省钱在后台偷换成便宜模型。
微软Win11将整合MAI Code 1.1 Flash：130B参数、上下文窗口256K
IT之家 10 月 8 日消息，太平洋时间 10 月 7 日上午 10 点（北京时间 10 月 8 日凌晨 1 点）在美国旧金山举办的活动中，微软表示正计划将 MAI Code 1.1 Flash 模型（包含 1300 亿个参数）引入 Windows 11 设备。
快 Kernel ≠ 快流水线：FlashRT 把 π0.5 的端侧推理压进 20 毫秒
FLASHRT · 论文解读快 Kernel ≠ 快流水线：FlashRT 把 π0.5 的端侧推理压进 20 毫秒当机器人每几十毫秒就要重新做一次决策，决定延迟的往往不是某个算子写得好不好，而是整条流水线被切成了多少段、中间又搬了多少次数据。论文 arXiv:2610.
中转站说跑的是旗舰模型，你没法验证？ FlashProve 让你当场验真
掏旗舰模型的价钱调 API，后台真正干活的会不会是个便宜的小模型？通过第三方中转站或路由平台用模型的开发者，多半想过这个问题，但从来没法验证——服务商说是哪个模型，就是哪个模型，你手里的证据只有一条返回的回答。
刚刚，百度开源全新预训练基模，还是主打效率的Flash
11 月 5 日，百度文心系列正式发布新一代基座模型文心 5.5 Flash Base，并开放了权重。这次发布的是一个稀疏 MoE 语言模型，总参数量 280B，每 token 激活 14B，其在 33.5T tokens 上从零完成预训练，最长的训练上下文为 128K，微调与推理阶段外扩到 1M tokens 的长上下文。
Anthropic亲手终结「套壳AI」，17秒扒下假模型头套，验身速度快5000倍
掏的是顶配旗舰的钱，调的是转售路由的API，后台真正干活的，却可能是个缩水的小模型。这种「挂羊头卖狗肉」的暗箱操作，曾是整个大模型API供应链最隐秘的灰色地带。
GitHub 16.7K Star！DeepSeek、Qwen 本地跑，这个推理引擎值得关注
以前想运行一个参数规模达到数百 B 的大模型，通常离不开数据中心级别的 GPU 和昂贵的硬件资源。普通开发者想在自己的电脑上部署这类模型，往往第一步就被显存限制劝退。但现在，有个开源项目正在尝试改变这件事。