刚刚,Anthropic开源FlashProve,给大模型办了一张「防伪身份证」
刚刚,Anthropic开源FlashProve,给大模型办了一张「防伪身份证」Anthropic 开源了基于零知识密码学的 FlashProve,使用户无需获取模型权重即可验证回答确由指定模型生成;该系统已在 4000 亿参数的 Llama 4 Maverick 上达到约 110 Token/s,但仍是受成本和上下文限制的研究原型。
搜索
Anthropic 开源了基于零知识密码学的 FlashProve,使用户无需获取模型权重即可验证回答确由指定模型生成;该系统已在 4000 亿参数的 Llama 4 Maverick 上达到约 110 Token/s,但仍是受成本和上下文限制的研究原型。
商汤发布多模态智能体模型SenseNova 6.8 Flash,实测其用8分21秒读完582页招股书并生成可交互看板,制作8页PPT却耗时64分钟,同时支持动态海报、Agentic 3D设计与Figma工作流。
最近,大模型圈的风向,彻底变了。
当大模型从“单兵作战”走向“多 Agent 协同操作电脑(Computer Use)”,如果队友 Agent 读了旧缓存报假消息、下发了互相矛盾的指令,甚至锁死了共享文件,主控 Agent 该听谁的?
面壁智能的ForgeKernel在仅有数学定义和B200硬件约束时,经22.5小时和42轮迭代生成FlashMLA Prefill算子,耗时472微秒,较DeepSeek-V4.1版本快9.8%,随后由智能进化实验室联合OpenBMB社区开源。
5600亿总参数,主攻个人智能体与复杂工作流。
近日,在NVIDIA Research推出的GPU算子性能评测榜单SOL-ExecBench [1] 上,无问芯穹(Infinigence AI)取得亮眼成绩: 先后登顶L1基础算子、L2融合算子、Quant量化算子与FlashInfer-Bench推理算子全部四大赛道。
月之暗面发布2.8万亿参数后训练模型Kimi K3.1 Pro,其综合智能指数领先DeepSeek V4.1 Flash-1017和MiniMax M3.1 Flash,但API费用最高,并正研发Flash版本以平衡能力、成本与商业化。
Anthropic为Claude上线实时仪表盘Dashboards和代码动画Motion,前者面向付费计划、后者面向Team和Enterprise用户;Docs、Slides、Design结束beta,所有计划均可使用。
弗吉尼亚理工大学与Meta团队提出ReGDiff,通过RAS整理潜空间并用SRR短程排斥引导扩散采样,在MetaTruss和MetaShell上较最强基线平均提升几何合理性8.9%、新颖性46.4%和多样性128.6%。