aifollow.news

全部 AI 动态

一级
二级

AI 热点榜 TOP 10

  1. 01

    Google DeepMind 用 AlphaProof Code 验证 Signal 协议实际代码的关键安全属性

    Google DeepMind 研究人员让 AI 智能体与人类专家协作，对 Signal 协议的实际代码进行形式化验证，证明其符合指定的关键安全属性。研究团队称，验证耗时四周；他们还将两处已修复漏洞重新加入隔离版本，系统均给出了机器可检查的“不安全”证明。该方法的扩大应用仍需研究。

    查看来源
    3 个来源
    24 ↓ 16%
  2. 02

    Anthropic 提交 IPO 注册文件，拟以“ANT”在纳斯达克上市

    Anthropic 已向美国证券交易委员会提交 S-1 文件，计划首次公开发行 A 类普通股；发行规模、定价区间和上市日期尚未公布。招股书披露，2026 年上半年营收为 162.86 亿美元，营业亏损为 6.93 亿美元；已确定的长期算力租赁协议涉及约 4,170 亿美元未来最低付款额。

    查看来源
    3 个来源
    21 ↓ 16%
  3. 03

    Anthropic 推出 Claude Fable 5.2 和 Claude Mythos 5.2，后者限审核机构使用

    两款模型基于同一底层模型：Fable 5.2 面向普通用户，已在 AWS、Google Cloud 和 Microsoft Azure 等平台开放；Mythos 5.2 面向通过审核的网络安全和生命科学机构，须申请使用。Fable 5.2 每百万词元输入和输出分别收费 8 美元和 40 美元，低于 5.1 版的 10 美元和 50 美元。

    查看来源
    4 个来源
    21 ↓ 16%
  4. 04

    Google 发布 Gemini 4 Carbon，先向部分网络防御人员开放

    Gemini 4 Carbon 本周先向部分网络防御人员开放，随后通过 Fairwind Program 提供给可信合作伙伴，开发者、企业和消费者还需等待。材料称，该模型在 GraphWalks 长上下文测试中得分 96.2%，高于 Gemini 4 Argon 的 84.2%；入门价为每百万输入、输出 token 分别 2 美元和 10 美元，之后将翻倍。

    查看来源
    2 个来源
    17 趋势待积累
  5. 05

    Adobe 展示 Creative Cloud 本地智能体接入，计划 2027 年初启动私人测试

    Adobe 展示让第三方 AI 智能体通过本地 MCP 操作 Photoshop、Premiere 等软件、修改电脑上原生项目文件的功能，修改后的图层等内容仍可由用户接手编辑。该功能尚未开放，计划于 2027 年初启动私人测试；Firefly AI 助手测试版则新增工作计划审核和模型选择功能。

    查看来源
    2 个来源
    16 ↓ 16%

AI 热点榜 TOP 10

  1. 01

    Google DeepMind 用 AlphaProof Code 验证 Signal 协议实际代码的关键安全属性

    Google DeepMind 研究人员让 AI 智能体与人类专家协作，对 Signal 协议的实际代码进行形式化验证，证明其符合指定的关键安全属性。研究团队称，验证耗时四周；他们还将两处已修复漏洞重新加入隔离版本，系统均给出了机器可检查的“不安全”证明。该方法的扩大应用仍需研究。

    查看来源
    3 个来源
    24 ↓ 16%
  2. 02

    Anthropic 提交 IPO 注册文件，拟以“ANT”在纳斯达克上市

    Anthropic 已向美国证券交易委员会提交 S-1 文件，计划首次公开发行 A 类普通股；发行规模、定价区间和上市日期尚未公布。招股书披露，2026 年上半年营收为 162.86 亿美元，营业亏损为 6.93 亿美元；已确定的长期算力租赁协议涉及约 4,170 亿美元未来最低付款额。

    查看来源
    3 个来源
    21 ↓ 16%
  3. 03

    Anthropic 推出 Claude Fable 5.2 和 Claude Mythos 5.2，后者限审核机构使用

    两款模型基于同一底层模型：Fable 5.2 面向普通用户，已在 AWS、Google Cloud 和 Microsoft Azure 等平台开放；Mythos 5.2 面向通过审核的网络安全和生命科学机构，须申请使用。Fable 5.2 每百万词元输入和输出分别收费 8 美元和 40 美元，低于 5.1 版的 10 美元和 50 美元。

    查看来源
    4 个来源
    21 ↓ 16%
  4. 04

    Google 发布 Gemini 4 Carbon，先向部分网络防御人员开放

    Gemini 4 Carbon 本周先向部分网络防御人员开放，随后通过 Fairwind Program 提供给可信合作伙伴，开发者、企业和消费者还需等待。材料称，该模型在 GraphWalks 长上下文测试中得分 96.2%，高于 Gemini 4 Argon 的 84.2%；入门价为每百万输入、输出 token 分别 2 美元和 10 美元，之后将翻倍。

    查看来源
    2 个来源
    17 趋势待积累
  5. 05

    Adobe 展示 Creative Cloud 本地智能体接入，计划 2027 年初启动私人测试

    Adobe 展示让第三方 AI 智能体通过本地 MCP 操作 Photoshop、Premiere 等软件、修改电脑上原生项目文件的功能，修改后的图层等内容仍可由用户接手编辑。该功能尚未开放，计划于 2027 年初启动私人测试；Firefly AI 助手测试版则新增工作计划审核和模型选择功能。

    查看来源
    2 个来源
    16 ↓ 16%
  6. 06

    英伟达董事会宣布调查黄仁勋涉嫌遭外国情报活动针对的报道

    英伟达周日发表声明，黄仁勋承认与一名前 Megaspeed 高管有婚外情，但未指名对方。英伟达董事会另行宣布独立调查，所引理由是有报道称黄仁勋曾成为外国情报活动的目标；这一说法仍是报道内容。

    查看来源
    3 个来源
    15 ↓ 28%
  7. 07

    Meta 将 Muse AI 助手带上 Apple Watch 和 Wear OS

    Meta 宣布 Muse 已登陆 Apple Watch 和 Android Wear OS。用户现在可直接在智能手表上通过语音通话、短信或听写与助手互动。

    查看来源
    2 个来源
    14 ↓ 16%
  8. 08

    Google 发布两款新 TPU，分别面向机密计算和大容量推理发酵中

    Google 推出第八代 TPU 的两个新型号：与 AMD 共同设计的 TPU 8tx 面向敏感数据和模型权重的隔离保护；TPU 8i Max 将两颗 TPU 8i 的能力整合在单个封装中，使内存容量、处理能力和带宽翻倍。两款芯片分别瞄准机密模型训练与运行，以及需要处理更多查询信息的 AI 模型。

    查看来源
    2 个来源
    13 ↑ 140%
  9. 09

    消息称 Anthropic 计划通过 IPO 募资至多 693 亿美元

    路透社据其看到的文件副本报道称，Anthropic 计划通过 IPO 募集至多 693 亿美元。《华尔街日报》报道称，其股票预计于 11 月 19 日或 20 日开始交易，拟以“ANT”为代码在纳斯达克上市。

    查看来源
    2 个来源
    11 ↓ 16%
  10. 10

    Meta 推出 Muse Ember，面向智能体任务的轻量级 AI 模型

    Muse Ember 即日起在 Meta Model API、Google Cloud 和 Oracle Cloud 提供，支持文本、图像、音频和视频输入，上下文窗口为 100 万 Token。输入与输出价格分别为每百万 Token 0.10 美元和 0.50 美元；Meta 称其在 Artificial Analysis 排行榜上的表现可媲美 Claude Haiku 5.5，单任务成本为后者的三分之一。

    查看来源
    2 个来源
    10 ↓ 16%
更新怎么算
热度是怎么算的？了解榜单

按事件统计过去 48 小时的已审核公开报道，同一机构的多个渠道和相同材料只算一次。至少 2 位独立参与者，且事件关系已确认，才进入 Top 10。是否精选不决定讨论热度。

每位参与者取窗口内最新一次报道：热度指数 = 10 × Σ 0.5^(报道距今小时数 / 24)。使用来源发布时间；缺少原始时间时使用首次收录时间，重复抓取不刷新热度。

涨跌与 6 小时前比较，超过 10% 才显示方向。趋势只比较两个窗口中持续覆盖且采集正常的同组信源，新增或落后的来源不计入涨跌。

走势图按当前公开证据重算过去 24 小时，整条曲线使用同一组持续监测的来源；它不是过去的榜单快照。历史不足时不画线。

来源名单展示可公开阅读的报道。同机构或相同材料可能合并，因此独立参与者数可能少于来源数。本站监测范围内的讨论活跃度，不代表全网人数或报道质量。

爆
6 小时内新增至少 3 位可比参与者，且占当前参与者的一半以上
新
首报 6 小时内
发酵中
可比热度增长超过 15%

11月11日 今天 11月11日 周三

星期三 · 20 条
Rohan Paul (@rohanpaul_ai)

网帖称 Nvidia 董事会聘请律所调查 Jensen Huang 的一段关系

一则被引用的网帖称，Nvidia 董事会已聘请 Wachtell, Lipton, Rosen & Katz，调查首席执行官 Jensen Huang 与一名被指为中国情报人员者的关系。网帖还称，该所合伙人、前纽约南区代理联邦检察官 Joon H. Kim 将主持调查。这些说法尚待核实。

另外 1 家也报道了 · 1 条相关动态
  • Rohan Paul (@rohanpaul_ai)
TechCrunch AI 报道

纽约州开放 AI 开发商登记入口，RAISE 法案将实施

纽约州已开放登记入口，OpenAI、Anthropic 等大型前沿 AI 开发商须在 2027 年 1 月 1 日前登记。RAISE 法案要求年收入超过 5 亿美元的相关企业公开安全框架和模型透明度报告，并在 72 小时内报告重大安全事件；州政府还成立了独立评估先进 AI 系统的研究中心。

Claude 其他

@brandmania 🔥

被引用的帖子称，Claude Fable 5.2完成了一项物理学家搁置了23年的黑洞计算，并得出微小宇宙中的黑洞也会突然形成的结果。

Rohan Paul (@rohanpaul_ai)

Sunra 推出 Enterprise 团队工作空间，共享额度并按生成量计费

Sunra Enterprise 将其托管的模型放进同一团队工作空间，按秒、每张图片或每千字符计费，费用从共享额度池扣除。Sunra 称团队方案价格比 API 价格最多低 56%，并提供管理员控制和优先支持。

另外 1 家也报道了
  • Rohan Paul (@rohanpaul_ai)
Rohan Paul (@rohanpaul_ai)

美众院委员会主席称或传唤黄仁勋，要求其说明与 Alice Huang 的接触

美国众议院外交事务委员会主席 Brian Mast 表示，如果 Nvidia 首席执行官 Jensen Huang 未在 11 月 11 日前回应简报请求，他将发出传票。委员会要求 Huang 于 11 月 18 日出席三委员会的闭门简报，说明他与 Megaspeed 高管 Alice Huang 的接触，以及 Nvidia 防范外国间谍活动的措施。

Rohan Paul (@rohanpaul_ai)

美众议院外交事务委员会主席称，若英伟达CEO未回应简报请求将发传票

据引述的ABCNews报道，众议院外交事务委员会主席Brian Mast称，若英伟达CEO Jensen Huang未在11月11日周三前回应请求，他将发出传票。三委员会要求Huang于11月18日出席闭门简报，说明他与Megaspeed高管Alice Huang的接触，以及英伟达防范外国间谍活动的措施。

另外 1 家也报道了
  • Rohan Paul (@rohanpaul_ai)
Rohan Paul (@rohanpaul_ai)

Sunra 推出企业版，团队方案价格最高比 API 低 56%

Sunra Enterprise 为团队提供统一工作区、共享额度池、管理员控制和优先支持。Sunra 称，团队方案价格最高比 API 价格低 56%；配音、静态图片和视频可共用一份预算。

Gemini 发布 11月10日发生

llm-gemini 0.36

Gemini 4 Carbon于当天向此前限定的网络防御人员之外的用户开放，发布时定价为每百万输入令牌2美元、每百万输出令牌10美元。

Latent Space AI 报道

Resend 展示面向 AI 代理的定价页与邮件管理工具

在一期访谈中，Resend 联合创始人兼 CEO Zeno Rocha 介绍了面向 AI 代理的产品设计：定价页网址加上 .md 后，代理可一次读取价格表；录制时，其 MCP 服务器已有 80 多个工具，涵盖发送邮件、邀请成员、查看用量和管理账单。

1 条相关动态
Rohan Paul (@rohanpaul_ai)

Duke 与 Princeton 论文：同等算力下，并行小型智能体团队胜过单人方案和大型团队

一项 Duke 与 Princeton 的研究比较了相同智能体预算下的不同组织方式：在 100 个智能体的预算内，并行运行 10 个各有 10 个智能体的团队，选取成绩最好的结果，表现优于 100 个独立智能体和一个 100 人团队。团队成员通过共享论坛协作；这种方法需要能给结果评分的验证器。

Rohan Paul (@rohanpaul_ai)

ByteAsk 推出面向 C++ 开发的 AI 工程师，提供免费方案

ByteAsk 介绍其 AI C++ 工程师，可借助原生 C/C++ 工具自动调试、优化性能并运行测试。ByteAsk 声称该产品在 C/C++ 多项软件工程基准上达到领先水平，且相比 cc/codex 少用 60% 的 token；其介绍还称产品开源并提供免费方案。

Rohan Paul (@rohanpaul_ai)

ByteAsk 推出 C/C++ 编程代理，先定位代码再交由模型修复

ByteAsk 将代码定位放在模型读取前，并标出可能需要同步修改的位置。相关介绍称，这一流程在保持修复漏洞数量相同的情况下，减少了 78% 的 token，成本降低 68.1%；项目方还宣布提供免费方案并开放源代码。这些效果来自材料中的说法，尚无独立验证依据。

Rohan Paul (@rohanpaul_ai)

ByteAsk 推出 C/C++ 编程代理，称可减少修复任务的 token 用量

ByteAsk 推出面向 C/C++ 的编程代理：在模型读取代码前，先按构建视角定位修改位置，并标记可能需要同步修改的代码。发布材料称，它在修复同样数量漏洞的测试中减少了 78% 的 token 用量，成本降低 68.1%；材料未说明测试项目和评估方法。

Rohan Paul (@rohanpaul_ai)

Hedra 推出 Model Factory，面向机器人等团队定制模型

Hedra 将 Model Factory 介绍为面向现实场景的自主推理与训练平台，服务机器人、制造、生物和国防团队。其方案由客户提供传感器数据和仿真环境，Hedra 提供 GPU、运行训练实验的 AI 智能体及研究人员；部署后，模型产生的数据和在线评估结果继续用于后续实验。

Rohan Paul (@rohanpaul_ai)

Anthropic 推出 Claude 办公功能，可生成协作表格和自动更新的数据看板

用自然语言提出需求后，Claude Sheets 可生成带公式和标签页的表格，供团队继续共同编辑；Claude Data 可连接 Snowflake 或 Salesforce 等企业数据，生成随数据变化自动更新的看板。报道还称，Adobe、Atlassian 和 Box 已可在聊天中打开并编辑；微软股价在周二的公告后曾跌逾 3.5%，随后收复部分跌幅。

Claude 变更

Alignment

Claude Opus 4 和 4.1 现在可以结束少数特定类型的对话。

Rohan Paul (@rohanpaul_ai)

Anthropic 推出 Claude 工作软件，微软股价一度跌超 3.5%

Anthropic 推出可在 Claude 内创建并协作编辑电子表格、白板和仪表盘的工作功能；相关介绍称，Claude Sheets 可按文字要求生成带公式的表格，Claude Data 可连接企业数据并自动更新仪表盘。Adobe、Atlassian 和 Box 的应用也可在聊天中打开。消息公布后，微软股价一度跌逾 3.5%，随后收复部分跌幅。

2 条相关动态
TechCrunch AI 报道

Oura 宣布以 6.25 亿美元收购 AI 医疗公司 Counsel Health

Oura 宣布将以 6.25 亿美元收购 Counsel Health，交易预计在 2027 年底前完成。Counsel 的服务已接入 Oura 应用：用户可通过医疗 AI 获取个性化建议，并在需要时与持证医生聊天。双方计划将现有合作扩展至预防、急症及专科和慢性病护理。

继续加载