DeepMind用AlphaProof Code完成Signal代码级验证
Google DeepMind宣布,AI首次在代码级数学证明Signal协议的安全性。其AlphaProof Code框架验证了Signal加密系统,该系统每天保护数十亿条私有消息;相关智能体生成600万行Lean证明,人工复核缩小至重点范围。
Google DeepMind宣布,AI首次在代码级数学证明Signal协议的安全性。其AlphaProof Code框架验证了Signal加密系统,该系统每天保护数十亿条私有消息;相关智能体生成600万行Lean证明,人工复核缩小至重点范围。
普林斯顿与Anthropic研究发现,智能体跨会话记忆可能致其跳过安全检查,不安全操作率最高达81%。
产品应用 · 2026-11-120 阅读SGLang推出--enable-unified-memory,让全注意力KV、滑动窗口KV与循环状态共用一个GPU内存arena,容量按需分配。
行业动态 · 2026-11-120 阅读百度文心发布ERNIE 5.5 Flash Preview,在八项基准测试中两项排名第一,并公布推理价格与开源计划。
行业动态 · 2026-11-120 阅读Anthropic为Claude加入限制,禁止生成宝可梦相关游戏素材,涵盖音乐、关卡、角色外观与名称,为Claude首次针对具体游戏系列划出版权红线。
行业动态 · 2026-11-120 阅读北京市经信局发布具身智能机器人产业三年行动方案,设定2028年产能、算力与数据量化目标。
政策监管 · 2026-11-120 阅读长鑫科技在2026 IC China披露存储产品新进展:全球首发量产LPDDR6,DDR5推进至32Gb。
行业动态 · 2026-11-120 阅读昆仑万维Matrix-Game 4.0正式上线实时世界模型平台Reactor,支持浏览器内实时交互生成游戏世界。
产品应用 · 2026-11-120 阅读韩国产业通商资源部公布端侧AI半导体路线图,计划投入8002亿韩元,到2030年完成10款AI芯片开发验证。
产品应用 · 2026-11-120 阅读vLLM-Omni将MiniMax H3-Image带到NVIDIA Vera Rubin,四卡配置下4K生成中位延迟0.866秒,吞吐达6115张/小时。
模型进展 · 2026-11-120 阅读国内头部算力租赁服务商开始试点保底加Token分成的计价方案,固定服务费下调约一成,换取推理调用量增长的分成收益。
行业动态 · 2026-11-120 阅读姚期智与杨植麟等联合提出TCSExam,用100项理论计算机科学科研任务评测AI科研能力,GPT-6 Astra完成14项研究级定理并把有限域矩阵猜想从8维推进到9维。
行业动态 · 2026-11-120 阅读百度搭子在百度世界2026宣布全面开放Harness引擎和专业能力,与行业伙伴推出Mate+系列产品。
产品应用 · 2026-11-120 阅读优必选宣布永达汽车采购400台U1 Pro超仿生机器人,订单金额6792万元,年内交付。
产品应用 · 2026-11-121 阅读南京大学团队提出测试生成Benchmark TestPrism,发现前沿Coding Agent在单一参考评测下成功率59.67%,但联合成功指标仅28.00%,并提出TestHelix框架提升表现。
产品应用 · 2026-11-120 阅读Anthropic升级Claude交互式连接器,支持工具在对话旁全屏打开并由Claude直接修改内容,首批覆盖Asana、Notion等工具,正向所有套餐推送。
模型进展 · 2026-11-120 阅读谷歌与Meta合作开源TorchTPU,为Google TPU提供原生PyTorch后端,现有模型少量改动即可运行,并公布吞吐与评测数据。
行业动态 · 2026-11-120 阅读OpenRouter上线简体中文、日语等7种语言Beta本地化,并详解由GPT-6.1 Sol驱动的自纠错翻译流水线与成本数据。
行业动态 · 2026-11-120 阅读德州农工大学在arXiv发表5G CATS预印本,通过在GPU封装内集成5G与硬件防护验证芯片位置,模拟测试精度较标准5G高十倍,可拦截300公里外光纤中继攻击。
产品应用 · 2026-11-120 阅读软银领投德国Agile Robots 5亿美元融资,估值达85亿美元,英伟达、日立跟投,加码人形机器人量产。
融资并购 · 2026-11-120 阅读百度在世界大会2026发布2800亿参数ERNIE 5.5 Flash Preview,并推出文心闪电深度思考模型与文心一镜微表情大模型两款应用模型。
行业动态 · 2026-11-120 阅读