一人加Claude完成三元哥德巴赫猜想形式化证明

AWS开放SGLang-Neuron支持Trainium部署模型

AWS宣布SGLang-Neuron公开可用，可通过深度学习容器在Trainium芯片上部署前沿模型并生成强化学习rollout。

技术研究 · 2026-11-130 阅读

vLLM：Rubin NVL72推理吞吐较GB300高58倍

vLLM公布DeepSeek-V4.1-Flash在Vera Rubin NVL72上的实测性能，单GPU吞吐达170万tokens/s，较GB300提升58倍。

技术研究 · 2026-11-130 阅读

DeepSeek 7分钟2分钱复现Apache高危漏洞

DeepSeek以7分钟、约2分钱复现Apache mod_http2高危竞态漏洞，Anthropic与Google此前独立发现同一漏洞。

行业动态 · 2026-11-130 阅读

阿里AI音乐平台快乐虾米上线双端

阿里巴巴ATH团队的AI音乐创作产品快乐虾米正式登陆iOS与安卓平台，支持端到端整曲生成，国内会员每月30元可生成150首歌。

产品应用 · 2026-11-130 阅读

AWS发布A2A跨组织多智能体参考架构

AWS介绍用A2A协议构建可互操作多智能体系统的参考架构，实现跨账户、跨框架协作。

产品应用 · 2026-11-130 阅读

微软承诺AI数据中心电费自行承担

微软称AI数据中心扩张电费将自行承担，不依赖补贴、不转嫁其他电力用户成本。

行业动态 · 2026-11-130 阅读

SpaceCast-Bench评测21个VLM空间推理最高58%

浙大团队提出SpaceCast-Bench，评测21个视觉语言模型的预测性空间推理能力，最高准确率仅58.0%，显式3D信息可带来提升。

行业动态 · 2026-11-130 阅读

Axelera AI发布Titania芯片架构，2027Q3量产

荷兰芯片企业Axelera AI公布第三代AIPU芯片Titania架构，瞄准数据中心推理市场，预计2027年第三季度量产，已获超3亿美元订单。

产品应用 · 2026-11-131 阅读

OpenAI分析：思维链透明度流失是权衡结果

OpenAI安全团队分析前沿模型思维链透明度下降的四个训练环节，指出这是能力与算力权衡的结果，可通过设计改变。

行业动态 · 2026-11-131 阅读

中芯国际称2027年AI算力代工产能将紧缺

中芯国际联合CEO赵海军在三季度业绩会上表示AI算力供不应求，行业共识2027年代工产能将非常紧缺，并给出四季度收入环比增长4%到6%的指引。

产品应用 · 2026-11-131 阅读

MiniMax H3-Image登顶多图编辑开源榜

Arena多图编辑榜显示，MiniMax H3-Image得分1365排名第11，为该类第一开源模型，也是前20中唯一开源模型。

模型进展 · 2026-11-132 阅读

Claude Opus 5.5成Anthropic多套餐默认模型

Anthropic宣布Claude Opus 5.5成为Pro、Max、Ultra和Team套餐默认模型，并公布各款模型定位与价格。

行业动态 · 2026-11-131 阅读

Nebius三季度签约120亿美元，预付款覆盖资本开支

Nebius三季度签下120亿美元合同，当季签约对应资本开支已100%由客户预付款覆盖，集团营收9.808亿美元同比增长571%。

行业动态 · 2026-11-131 阅读

谷歌一次发布两款专用TPU 8tx与8i Max

谷歌发布TPU 8tx与8i Max两款专用芯片，分别面向政府受监管行业加密需求与超长上下文应用，挑战英伟达通用路线。

产品应用 · 2026-11-131 阅读

Edge0开源145B端侧模型，笔记本可本地运行

Edge0开源Edge0-145B与Edge0-120B模型及统一推理框架，称145B模型可在笔记本本地运行，峰值内存29GB、解码超80 tokens/s。

模型进展 · 2026-11-131 阅读

百度昆仑芯M100投入使用，M300提前至2027

百度在世界大会宣布昆仑芯M100投入使用，M300与1024卡天池超节点计划提前至2027年，新硬件使多轮AI响应延迟降低90%、系统吞吐提升7倍。

产品应用 · 2026-11-132 阅读

Runway上线3D生成，支持文本图像建模

Runway新增3D生成功能，可用Tripo H3.1从文本或图像生成模型。

产品应用 · 2026-11-131 阅读

OpenAI用自动化红队提升GPT-6鲁棒性

OpenAI公布用自动化红队生成对抗数据训练GPT-6 Astra和Sol，提升其在网络、生物等高风险领域的模糊鲁棒性。

行业动态 · 2026-11-131 阅读

Anthropic发布Claude for Manufacturing制造业插件

Anthropic推出Claude for Manufacturing制造业插件，含17项技能，可对接Autodesk Fusion、Infor、Microsoft 365和Oracle NetSuite，覆盖报价、质检与故障诊断等流程并保留人工复核。

产品应用 · 2026-11-131 阅读

Databricks Genie for Slack正式开放使用

Databricks宣布Genie for Slack正式GA，用户可在Slack中基于受治理的企业数据提问和协作。

产品应用 · 2026-11-131 阅读