从一个关键词开始
搜名称，也可以搜场景，比如“AI 写作”“视频剪辑”或“编程助手”。
AI热点 244
论文：Claude Code调试数据库卡在访问权限AI热点arXiv论文报告Claude Code调试生产数据库的实地观察，发现访问权限比推理更关键。
DiffuSpace开源Clover-35B扩散语言模型AI热点DiffuSpace发布Clover系列首个成员Clover-35B-A3B-Preview，以Apache许可开源，采用MoE架构的扩散语言模型，性能超同规模自回归模型且生成速度更快。
UCSD发布vstack与veriserve验证基础设施AI热点UCSD Hao AI Lab推出vstack形式化验证工作流与veriserve可验证PD分离服务引擎，发现生产引擎3类竞态并给出TLAPS安全证明。
DeepMind用AI验证Signal加密代码AI热点Google DeepMind宣布AlphaProof Code框架对Signal协议实际运行代码完成形式化验证，生成超600万行Lean证明，仅耗时四周，并开源相关工件。
腾讯元器平台正式停止服务AI热点腾讯元器平台今日正式停止服务，公众服务全部关闭，用户需在2027年1月9日前完成数据导出。
斯坦福论文：信息披露对LLM交易影响不一AI热点斯坦福研究在交易、议价和拍卖场景测试10个前沿模型，发现信息披露并非总能改善结果，不同模型收益随披露粒度变化有升有降。
Meta收购AI编程初创ConductorAI热点Meta收购AI编程初创Conductor，其云服务将于11月20日关停。
清华伯克利开源机器人Agent HarnessAI热点清华、伯克利团队提出uni-robot-agent统一机器人Agent harness，开源模型在RoboDojo取得31.39分，超GPT-6 Astra的28.97分，真机取得53.50分。
Neo4j发布AI代理内存数据库RelateAI热点Neo4j发布专为AI代理打造的开源内存数据库Relate。
腾讯发布多模态模型Hy4AI热点腾讯正式发布多模态模型Hy4，支持图像理解与自主操作软件，权重后续开放。
混元Hy4登Agent Arena总榜第14AI热点Agent Arena宣布腾讯混元Hy4总榜排名第14，净提升4.7%，进入Pareto前沿。
英特尔腾讯发布至强6+云实例AI热点英特尔与腾讯云在2026腾讯全球数字生态大会上发布基于至强6+处理器的新一代云实例，性能提升30%以上，单机支持350个沙箱并发创建。
高通AI Hub面向中国开发者开放AI热点高通宣布AI Hub面向中国开发者开放，集成Models、Workbench、Apps及GenieX推理框架，含230多个预优化模型。
马斯克回应Grok Bot额度消耗过快AI热点马斯克回应Grok Bot额度消耗过快，称服务成本相对收入高到难以为继，下调额度是理性做法。
OpenAI解散机器人团队，GPT-6 Astra可直接控机器人AI热点OpenAI解散独立机器人团队，因GPT-6 Astra等通用模型可直接用于机器人控制，无需专用模型。
OpenAI发布Daybreak红队与防御工厂AI热点OpenAI推出Daybreak安全平台两款产品，分别用于漏洞测试与自动化防御。
DeepMind用AlphaProof Code完成Signal代码级验证AI热点DeepMind宣布AI首次在代码级数学证明Signal协议安全，采用AlphaProof Code框架验证其加密系统。
百度搭子开放Harness引擎，推行业Mate+系列AI热点百度搭子在百度世界2026宣布全面开放Harness引擎和专业能力，与行业伙伴推出Mate+系列产品。
李彦宏称推理将成AI芯片增长主推力AI热点李彦宏在百度世界2026开幕式表示推理将成为AI芯片长期增长主要推动力，昆仑芯M100已上市、M300明年推出。
谷歌研究发布可穿戴健康教练框架AI热点谷歌研究提出可穿戴CKM风险画像框架，用世界模型模拟12周习惯轨迹并生成教练计划。