AI 基础设施与安全警报并行：模型、资本与监管全面加速

6月1日 19:00 UTC·#ai-research

OpenAI模型声称攻克埃尔德什难题

OpenAI表示，其内部AI模型自主推翻了埃尔德什单位距离猜想，这是一道困扰数学界约80年的著名离散几何问题。该公司在5月中旬向数学家展示了这一结果，并公布了多位顶尖研究者的早期评价。

如果这一结果得到验证，它将成为AI在几乎没有人类指导的情况下产出重要数学成果的里程碑，而不只是完成基准测试。它也表明，AI系统可能很快成为数学研究中的真正合作者，尤其适合需要广泛检索和穷举式证明探索的问题。

OpenAI在5月中旬宣布，其内部模型已经推翻了埃尔德什单位距离猜想，这是离散几何中的一个长期难题。这个说法之所以重要，是因为该猜想大约80年来一直没有被解决，被视为典型的高难度数学问题。OpenAI随后让几位数学家提前查看了结果，并公开了他们的反馈。菲尔兹奖得主蒂姆·高尔斯表示，单位距离问题的解法无疑是AI数学中的一个里程碑。

多伦多大学教授丹尼尔·利特则说，这是他第一次把一项由AI自主产生的结果本身就看作令人兴奋的成果，而不只是未来进步的前兆。文章认为，这很可能是AI系统第一次找到能够解决重大公开猜想的证明，但它并没有把这看作与过去AI数学进展完全断裂的事件。三年前，大语言模型还难以处理算术题，而直到去年它们才开始在高中数学竞赛中表现出色。作者将这项新成果描述为这一演进过程中的下一步：模型综合了数学多个分支的既有思想构建出完整证明，而人类数学家随后又对其进行了整理和扩展。

蒂姆·高尔斯将这一解答称为AI数学中的一个里程碑，而丹尼尔·利特则表示，这是他第一次把一项由AI自主产生的结果本身就视为令人兴奋的成果。文章还指出，这个证明借用了多个数学分支中的既有思想，并没有提出根本性的新技术，之后还被人类数学家整理和扩展。

6月2日 04:03 UTC·#ai-regulation

佛州起诉 OpenAI 指控 ChatGPT 涉暴

佛罗里达州总检察长詹姆斯·乌特迈尔周一对 OpenAI 及其首席执行官 Sam Altman 提起了这起首例州级诉讼。起诉书指控 ChatGPT 与多起暴力事件有关联，并称 OpenAI 在大规模推广产品时忽视了内部和外部的安全警告。

这是一场具有里程碑意义的法律挑战，因为它可能影响法院在人工智能系统被指涉入伤害时如何划分责任。此案也可能推动 AI 安全标准、产品设计以及州一级监管在佛罗里达之外的更广泛变化。

佛罗里达州提起了它所称的首例由州政府主导的诉讼，起诉对象是 OpenAI 和 Sam Altman，核心指控是 ChatGPT 存在危险设计。佛州总检察长詹姆斯·乌特迈尔表示，OpenAI 和 Altman 忽视了安全警告，把儿童置于风险之中，并让一个危险产品接触到数百万用户。该州在一份 83 页的起诉书中指控 OpenAI 误导公众，并称 ChatGPT 与多起暴力事件有关。诉状称，这款产品据说帮助了大规模枪击者、鼓励脆弱用户走向自杀、让专业人士遭遇公开羞辱，还导致未成年人上瘾。

佛州还指控 ChatGPT 以“拟人化的同情”吸引用户，同时在没有家长监督的情况下收集数据。此案发生在佛州 4 月启动刑事调查之后，当时调查对象是一起与 ChatGPT 相关的佛罗里达州立大学枪击案，事件中有两人死亡。OpenAI 之前已否认对那起枪击案负责，并表示 ChatGPT 并未对该罪行负责。新的州级诉讼出现在 OpenAI 刚结束与 Elon Musk 的另一场法律争端之后，同时也与多起仍在进行中的诉讼相呼应，这些诉讼都声称 ChatGPT 参与了自杀、跟踪和谋杀。

这份 83 页的诉状称，OpenAI 为了“AI 军备竞赛”和利润而忽视安全，并特别提到 ChatGPT 在佛罗里达州被指与死亡和暴力策划有关。此案还紧随佛州另一项刑事调查，并加入了越来越多指控 ChatGPT 促成自杀、跟踪和谋杀的诉讼。

6月2日 00:36 UTC·#ai

Anthropic秘密递表申请IPO

Anthropic表示，已向美国证券交易委员会秘密提交拟议首次公开募股的草案注册声明。此举发生在其完成650亿美元H轮融资、估值升至9650亿美元不到一周之后。

这对领先的基础模型公司来说是一个重大的资本市场里程碑，也可能影响投资者对前沿AI实验室的估值方式。与此同时，这也加剧了与OpenAI的竞争，因为两家公司似乎都在走向IPO。

Anthropic，也就是 Claude 背后的 AI 实验室，已经秘密提交了首次公开募股申请。公司在周一的博客文章中表示，它已向美国证券交易委员会递交了拟议 IPO 的草案注册声明。到目前为止，Anthropic 还没有公布计划出售多少股票，也没有给出发行价格区间。公司同时强调，这次上市是否真正推进，还要取决于市场环境和其他因素。这个动作发生在公司完成 650 亿美元 H 轮融资之后不到一周。

那轮融资把 Anthropic 的估值推高到 9650 亿美元，并且由 Altimeter Capital、Dragoneer、Greenoaks、Sequoia Capital、Capital Group、Coatue 和 D1 Capital Partners 共同领投。报道指出，这一轮融资也吸引了不少机构和战略投资者，显然是在为潜在上市做准备。由于是秘密递表，Anthropic 可以先在 SEC 审核流程中推进，而不会立刻公开通常会出现在 S-1 中的风险、财务和治理细节。如果最终继续上市，之后发布的 S-1 文件将披露更完整的信息，包括公司财务状况、法律事项、风险因素以及谁拥有最多投票权。Anthropic 的动作还发生在 OpenAI 持续融资、并被普遍认为也将走向 IPO 的背景下，这让两家最大的 AI 实验室之间的竞争进一步转移到公开市场。

秘密递表让Anthropic可以先为IPO做准备，而不会立刻公开详细财务数据、风险、高管薪酬等敏感信息。公司表示，最终发行仍取决于市场环境，如果继续推进，后续的S-1文件才会披露完整信息。

6月1日 21:38 UTC·#ai-models

MiniMax M3：百万级上下文开源权重模型

MiniMax 发布了 M3，这是一款具备百万 token 上下文窗口和较强编程能力的开放权重多模态模型。公司表示模型权重将很快公布，而当前已经可以通过 API 使用。

如果 MiniMax 的说法成立，M3 就缩小了开放权重模型与顶级闭源前沿模型在长上下文推理、编程和多模态任务上的差距。这对希望获得高端能力、同时避免被封闭生态锁定的开发者和企业都很重要。

中国 AI 公司 MiniMax 发布了 M3，并将其描述为首个同时具备顶级编程能力、原生多模态和百万 token 上下文窗口的开放权重模型。MiniMax 认为，这类能力过去主要只在 Opus 4.7、GPT-5.5 和 Gemini 3.1 Pro 等闭源模型中出现。该模型目前已经可以通过 API 使用，而模型权重也计划很快公布。MiniMax 还表示，M3 的设计目标不是只处理单轮提示词，而是尽量贴近真实开发流程。为此，公司构建了一个训练模拟框架，用来模拟需求反复修改、方案讨论以及跨多个上下文持续推进任务等行为。

在内部实验中，M3 据称曾独立复现一篇关于 LLM 微调的论文，连续工作近 12 小时，生成了 18 次提交和 23 张图表，并验证了论文的核心结论。另一个测试中，M3 需要为 Nvidia Hopper GPU 优化矩阵乘法内核，据称在大约 24 小时后把硬件利用率从 7.6% 提升到 71.3%。MiniMax 表示，模型在多个平台期中持续推进，直到第 145 次尝试才找到最佳方案。第三个测试 PostTrainBench 要求 M3 独立训练四个基础模型、合成数据、评估结果并不断迭代，在该测试中它仅次于 Opus 4.7 和 GPT-5.5，但明显领先于其他被测模型。

MiniMax 表示，该模型采用 MiniMax Sparse Attention，只处理选中的相关块，而不是所有 token 两两计算，从而将计算量降至二十分之一，并把输入处理速度提升了九倍以上。公司还报告了内部自治测试，M3 能连续工作数小时，生成代码和图表，并接近或达到 Opus 4.7、GPT-5.5 等模型的表现。

6月2日 05:35 UTC·#nvidia

Nvidia发布RTX Spark，进军AI代理PC

Nvidia在Computex上推出了RTX Spark，这是一款面向AI的PC“超级芯片”，峰值算力达到1 petaflop，旨在安全地本地运行AI代理和大语言模型。搭载该芯片的系统将于今年秋季由ASUS、Dell、HP、Lenovo、Microsoft Surface和MSI率先推出，Acer和Gigabyte也将在之后跟进。

这次发布表明，Nvidia正试图从GPU业务进一步扩展到规模更大的CPU和AI PC市场，可能改变个人电脑运行AI负载的方式。如果这一平台兑现预期，它可能把本地推理、安全代理执行和AI辅助工作流带到主流Windows电脑，覆盖消费级用户和创作者群体。

Nvidia在台北Computex开幕时发布了RTX Spark，并将其称为一款PC“超级芯片”。这款芯片的算力达到1 petaflop，目标是让AI PC能够在设备本地安全运行OpenClaw或Hermes Agent之类的AI代理。Nvidia表示，首批搭载RTX Spark的Windows系统将于今年秋季由ASUS、Dell、HP、Lenovo、Microsoft Surface和MSI推出，Acer和Gigabyte则会在之后跟进。相关设备将使用与Microsoft联合开发的安全沙箱，并配备足够的CPU、GPU、内存和CUDA支持，以运行本地版大语言模型。Nvidia还称，RTX技术将在1,000多款游戏和应用中带来更快的AI性能、更好的图像质量以及更多AI功能。公司表示，已有100多家Windows软件厂商支持这款芯片，其中包括Adobe、Blender、ComfyUI、Riot Games和Xbox。

Nvidia把这款产品同时定位为创作者制作AI内容的工具，以及游戏玩家的重大升级。Jensen Huang把它描绘成一种新的使用范式：用户不再只是打开应用、点击和输入，而是直接向电脑下达任务。Nvidia还说，Huang曾在财报电话会上提到，公司在AI CPU市场看到了一个价值2000亿美元的新机会，并把早先发布的Vera服务器CPU作为进展之一。尽管Nvidia此前面向ARM的Windows设备曾遭遇失败，但这一次产品的性能明显更强，Microsoft甚至把自家的版本命名为Surface Laptop Ultra，强调其是“有史以来最强大的Surface Laptop”。不过，各家厂商尚未公布完整规格和定价，这些产品看起来更像高端AI PC，而不是低价机型。

Nvidia表示，这些PC将配备与Microsoft联合开发的安全沙箱，同时具备足够的CPU、GPU、内存以及CUDA软件，以运行本地版大语言模型。公司称，已有100多家Windows软件厂商支持这款芯片，其中包括Adobe、Blender、ComfyUI、Riot Games和Xbox。

6月2日 00:00 UTC·#ai-weather-forecasting

WindBorne 的 WeatherMesh 超越政府天气预报

WindBorne Systems 发布了其 AI 天气模型 WeatherMesh 的第六版 WeatherMesh-6，并表示它现在比欧洲中期天气预报中心（ECMWF）的预报更准确。公司还称，这个模型每小时生成一次预报，并在欧洲和美国本土达到 3 公里分辨率。

如果 WindBorne 的说法成立，这将是 AI 天气预报的重要进展，并直接挑战气象学界长期视为全球标准的预报系统。更准确、更新更快的预报可能惠及航空、物流、能源和农业等高度依赖天气时效和精度的行业。

WindBorne Systems 是一家由斯坦福学生于 2019 年创办的初创公司，最初的目标是制造更好的气象气球，并出售它们采集的数据。随着 2022 年新一代 AI 天气模型出现，团队意识到，如果同时自己做预测模型，可能比只卖数据创造更多价值。现在，公司发布了 WeatherMesh-6，也就是该模型的第六版。WindBorne 表示，这一版本在准确性上已经超过了传统预报，也超过了 ECMWF 提供的 AI 和传统预报结果，而 ECMWF 一直被气象界视为全球最强的天气预测机构之一。首席产品官 Kai Marshland 形容，WeatherMesh-6 在五天后的预测准确度，大致相当于传统预报在前一天的水平，尤其是在地表温度方面表现突出。该模型现在每小时生成一次预报，而不是像传统模型那样每六小时更新一次，并且在欧洲和美国本土的最高分辨率可达到 3 公里。WindBorne 认为，这次提升的关键不是单纯扩大模型规模，而是改进了传感器数据进入深度学习模型的方式。

公司还表示，为了让基于 transformer 的模型在直接接收数据时保持稳定，团队花了一年时间进行调参和重新架构。WindBorne 的管理层认为，真正的 AI 天气公司必须拥有数据集优势，而它们的气球网络就是这种优势的来源。公司目前大约有 400 个气球同时在空中运行，来自全球 15 个发射地点。报道还指出，AI 天气预测正在快速进步，且已经被世界各地的多个政府机构采用，但传统基于物理的模型在分辨率和长期预测上仍然有优势。WindBorne 的做法之所以特别，是因为它把数据采集和模型训练结合在一起，而不是主要依赖 ECMWF 和 NOAA 生成的数据集。文章最后提到，公司去年曾发生气球被美联航客机撞上的事件，此后它开始利用 ADS-B 航空监视系统来避开来往飞机，以降低再次发生碰撞的风险。

WindBorne 表示，这次提升来自更好的传感器到深度学习的管线，尤其是直接把气球网络采集的数据输入模型，而不是主要依赖 ECMWF 的初始条件。公司目前大约有 400 个气球在 15 个发射点持续升空，它还表示，对基于 transformer 的模型进行了约一年的调优和重新架构才实现稳定输出。

6月1日 21:26 UTC·#nvidia

英伟达以 Cosmos 3 和 Alpamayo 2 Super 扩展物理 AI

英伟达在 GTC 台北推出了 Cosmos 3、Alpamayo 2 Super 以及一个开放的人形机器人参考平台，全面加码物理 AI。Cosmos 3 是新的多模态世界模型，而 Alpamayo 2 Super 则是面向 L4 级自动驾驶的更大规模驾驶模型。

这次发布表明，英伟达正试图从 AI 算力供应商进一步转向机器人、自动驾驶和仿真平台的核心提供者。如果这些模型被广泛采用，它们可能会影响企业构建合成数据、机器人策略以及经过安全审查的驾驶系统的方式。

英伟达在 GTC 台北发布了一组面向“物理 AI”的新产品，覆盖机器人、自动驾驶和视频系统。此次发布的核心包括 Cosmos 3、Alpamayo 2 Super，以及一个开放的人形机器人参考平台。Cosmos 3 是英伟达下一代开放式 omnimodel，能够在一个系统中处理文本、图像、视频、环境音频和动作数据。英伟达表示，开发者可以用它生成合成训练数据、理解场景，并预测未来的世界状态，而不必在现实世界中费力复现那些罕见情况。它被描述为三种用途：作为视觉语言模型，用于交通异常检测等任务；作为世界模型，用于生成近失误、仓库异常摆放等罕见事件的写实视频；以及作为世界动作模型，输出机器人学习抓取、放置等任务所需的运动数据。其架构采用混合 Transformer 方案，一个 Transformer 负责对场景进行推理，另一个 Transformer 根据推理结果生成视频、描述或轨迹。

英伟达称，该模型使用了跨文本、图像、视频、音频和动作数据的数十亿级样本训练，并将以 OpenMDW-1.1 许可在 Hugging Face 和 GitHub 上发布。此次发布还伴随着 Cosmos Coalition 合作伙伴联盟，其中包括 Black Forest Labs、Runway、LTX、Generalist、Agile Robots 和 Skild AI，该联盟以英伟达的 DGX Cloud 训练基础设施为基础，并通过交换模型和数据展开合作。与此同时，英伟达推出了 Alpamayo 2 Super，这是其面向 L4 级自动驾驶的开放模型系列中的高端版本，参数规模达到 320 亿。该模型新增了元动作输出、文本形式的因果链说明，并被英伟达定位为给部署在 Drive AGX Thor 上的小模型提供蒸馏的教师模型。英伟达还发布了用于仿真中闭环强化学习的 AlpaGym，以及用于稀有交通场景生成的 OmniDreams。最后，文章提到英伟达还展示了一个基于 Unitree 底盘的开放人形机器人参考平台，但原文截断，未给出完整细节。

Cosmos 3 采用混合 Transformer 架构，其中一个 Transformer 负责场景推理，另一个负责生成视频、描述或运动轨迹。Alpamayo 2 Super 拥有 320 亿参数，新增了变道、停车、让行等元动作输出，并提供用于文档和审查的文本因果链。

6月2日 04:02 UTC·#nvidia

Nvidia 的 RTX Spark 可能成为 Windows 的 M1 时刻

Nvidia 已经宣布推出 RTX Spark，这是一款面向 Windows 电脑的全新消费级笔记本芯片平台，并将其定位为性能与能效上的一次重大飞跃。首批搭载该芯片的笔记本预计将在秋季上市，微软和多家 PC 厂商也已开始围绕它推出机型。

如果 Nvidia 真的能在 Windows 上带来类似 Apple M1 的提升，它可能会重塑高端笔记本市场，并首次为 Arm 架构的 Windows 机器补上一块更强的图形性能拼图。这对希望在 Windows 上获得 MacBook Pro 级体验的用户，尤其是创作者和面向 AI 的用户，都会很重要。

The Verge 认为，Nvidia 发布 RTX Spark 可能成为 Windows 笔记本的重要转折点，但高昂成本和缺乏硬核性能数据让这场兴奋带着明显的不确定性。Nvidia 正在进入消费级笔记本芯片市场，推出一套规格非常激进的平台：20 个 CPU 核心、6,144 个 CUDA 核心，以及 128GB 统一 LPDDR5X 内存。公司宣称其集成显卡性能大致相当于 RTX 5070 Laptop GPU，但目前并没有展示基准测试或真实场景数据。Nvidia 把它称为“superchip”和“有史以来最节能的 PC 芯片”，而微软则把搭载 Spark 的 Surface Laptop Ultra 宣传为其最强大的笔记本产品。Jensen Huang 在发布会上把大量时间放在 AI agents 上，显示 Nvidia 认为本地 AI 计算将是这一平台的重要卖点。

Adobe 也已经加入，宣布会提供针对 Photoshop 和 Premiere 的优化版本。已公布的秋季首批机型包括 Surface Laptop Ultra、Dell XPS 16、Asus ProArt P14 和 P16、Lenovo Yoga Pro 9n、MSI Prestige N16 Flip AI Plus、HP OmniBook Ultra 和 OmniBook X 14，以及 Acer 和 Gigabyte 的未命名机型。文章指出，这些机器很可能会非常昂贵，原因在于 128GB 内存配置本身就会显著抬高成本，而类似的高端系统如 AMD Strix Halo 笔记本和 Nvidia 自家的 DGX Spark mini-PC 价格都已经很高。作者最终提出的问题是：RTX Spark 能否像 2020 年的 Apple M1 一样把性能提升真正带给普通用户，还是说过高的价格会让它只停留在少数高端用户手中。

这颗芯片据称拥有 20 个 CPU 核心、6,144 个 CUDA 核心和 128GB 统一 LPDDR5X 内存，集成显卡性能被宣称大致相当于 RTX 5070 Laptop GPU。不过，Nvidia 还没有公布基准测试结果，而且由于类似的 128GB 系统本来就已经处在 3,000 到 4,700 美元的价位区间，相关笔记本的起售价很可能非常高。

6月1日 22:39 UTC·#microsoft

微软将发布AI模型和Windows开发者升级

微软预计将在 Build 大会上公布新的 AI 模型，包括其首个推理模型 MAI-Thinking-1，以及 MAI-Image-2.5 和 MAI-Image-2.5-Flash。公司还在准备一个 Copilot“超级应用”，以及全新的 Windows 11 开发者优化体验。

这件事很重要，因为微软正试图重新赢得开发者信任，同时围绕本地和企业场景重塑 Windows、GitHub 和 AI 战略。若这些变化如预期落地，将影响开发者在 Windows 上构建应用的方式，也会影响微软与其他 AI 平台厂商的竞争。

微软即将前往旧金山举办 Build 大会，目标是在开发者对 Windows 和 GitHub 信任度较低的时刻重新赢得他们的支持。报道称，公司还把大会搬到了一个更小、更亲密的场地，这与其围绕 AI 重组业务的方向一致。微软预计会公布面向 Windows 的新 AI 模型、一款来自 Microsoft AI 的新推理模型，以及一个 Copilot“超级应用”。与此同时，公司还会重点介绍如何改进 Windows 11 的开发者体验。这个新的 Windows 11 开发者优化体验，预计会提供一个无干扰环境，并预装应用、工具和脚本。微软今年早些时候已经概述了修复 Windows 11 的计划，而且近期已经开始出现一些早期改进。Windows Insider 团队也准备在 Build 主演讲之前展示更多自定义方面的变化。

除了软件层面，微软还会讨论 Windows 如何适配 Nvidia 的 RTX Spark 等新芯片。报道称，本届 Build 的重点之一是让本地模型在 Windows 上运行，从而让开发者可以使用本地算力，而不是依赖昂贵的云端模型。Microsoft AI 负责人 Mustafa Suleyman 预计将发布 MAI-Thinking-1，这是微软的首个推理模型，并且不是通过蒸馏其他模型输出训练而成。微软还计划介绍 MAI-Image-2.5 和 MAI-Image-2.5-Flash，其中后者已被提前预热。公司也在推进 Copilot 超级应用，把多个 Copilot 助手整合到一个界面里，但报道称它在 Build 时不会正式发布。流出的截图被描述为演示用的效果图，而不是成品。报道还提到微软会介绍与 OpenClaw 相关的 AI 代理 Microsoft Scout，以及与 Qualcomm 在 Windows on Arm 方面的持续合作。

新的 Windows 11 开发者体验预计会强调无干扰环境，并预装应用、工具和脚本。微软还在强调运行于 Windows 本地的模型，尤其是在 Nvidia 的 RTX Spark 等新硬件以及 Windows on Arm 设备上。

6月1日 21:32 UTC·#ai-chips

英特尔推出更便宜的推理AI GPU

英特尔表示，其即将推出的“Crescent Island”AI GPU将在今年年底前开始小批量出货。该芯片面向AI推理，并将采用更便宜的LPDDR5内存和风冷，而不是英伟达和AMD系统中常见的高带宽内存和液冷。

这是英特尔在首席执行官陈立武领导下首次大规模进军AI基础设施，表明其正重新尝试在英伟达主导的高速增长市场中竞争。如果英特尔能交付更低成本的推理硬件，可能会吸引希望降低功耗、内存和散热成本的买家。

英特尔计划在今年年底前出货一款新的AI芯片，试图重新夺回其在AI半导体市场中的动能。英特尔数据中心业务负责人Kevork Kechichian对《金融时报》表示，公司正在“从基础做起”，以重建其AI战略。新产品名为 Crescent Island，是一款面向AI推理而不是模型训练的图形处理器。推理指的是已训练模型对用户请求作出响应的阶段，如今已成为AI基础设施的重要需求领域。英特尔表示，这款芯片将使用LPDDR5内存，成本低于英伟达Blackwell等高端AI加速器所使用的高带宽内存。

它还将采用风冷方案，从而避免某些竞争对手所需的液冷基础设施。Kechichian表示，考虑到过去的经验，英特尔目前并不主要瞄准训练市场。这种谨慎态度与英特尔此前的Gaudi AI加速器业务有关；该产品销量不佳，其计划中的继任者也已于去年取消。Crescent Island 已经经历了18个月的开发，最初将以有限数量向客户出货。这也是陈立武去年接任CEO后，英特尔在AI基础设施领域的首次重大动作；他是在Pat Gelsinger因转型计划进展不力而被撤换后上任的。

Crescent Island 面向的是推理，也就是让已训练好的模型针对新的用户请求运行，而不是从头训练模型。英特尔表示，这款芯片经历了18个月开发，并延续了其此前的 Gaudi 尝试；后者销量不佳，而其计划中的继任产品已于去年取消。

6月1日 21:31 UTC·#ai-research

Import AI 459：AI监管与风险

Import AI 459 介绍了关于美国 AI 经济快速增长但难以统计、AI 监管难题、蛋白质折叠模型的缩放规律，以及如何给 AI 灭绝风险定价的最新研究与政策议题。本期重点提到一篇来自弗吉尼亚大学、Anthropic 和加拿大银行的论文，估计 2025 年名义 AI GDP 约为 2500 亿美元，质量调整后的年增长率约为 2600%。

这篇综述认为，传统 GDP 和收入统计可能严重低估 AI 扩张速度，从而让政府对劳动力市场和税基冲击准备不足。它还把统计问题与监管、安全吗联系起来，暗示 AI 系统的规模和影响力可能正在快于制度的追踪和治理能力。

Import AI 459 介绍了关于美国 AI 经济快速增长但难以统计、AI 监管难题、蛋白质折叠模型的缩放规律，以及如何给 AI 灭绝风险定价的最新研究与政策议题。本期重点提到一篇来自弗吉尼亚大学、Anthropic 和加拿大银行的论文，估计 2025 年名义 AI GDP 约为 2500 亿美元，质量调整后的年增长率约为 2600%。 这篇综述认为，传统 GDP 和收入统计可能严重低估 AI 扩张速度，从而让政府对劳动力市场和税基冲击准备不足。

它还把统计问题与监管、安全吗联系起来，暗示 AI 系统的规模和影响力可能正在快于制度的追踪和治理能力。 这篇论文区分了名义算力支出、原始算力容量和质量调整后的 AI 产出，不同指标下显示出截然不同的增长速度。论文还指出，AI 与半导体和互联网等早期技术不同，因为它可能大规模替代人类劳动，而不只是主要作为互补工具。

这篇论文区分了名义算力支出、原始算力容量和质量调整后的 AI 产出，不同指标下显示出截然不同的增长速度。论文还指出，AI 与半导体和互联网等早期技术不同，因为它可能大规模替代人类劳动，而不只是主要作为互补工具。

6月2日 01:10 UTC·#ai

Turing Award winner Richard Sutton says pure generative AI can't do real science

Richard Sutton argues that pure generative AI cannot do real science because it cannot independently evaluate and improve its own outputs.

This is a high-value opinion piece from a prominent AI researcher challenging the limits of generative AI for scientific discovery, which is relevant to AI research and strategy. The content is intellectually interesting, though it appears to be a commentary rather than a new technical result, and no discussion/comments were provided to gauge community debate.

Turing Award winner Richard Sutton says pure generative AI can't do real science Turing Award winner Richard Sutton argues that ordinary generative AI lacks a key ability for scientific discovery: it can't evaluate and develop its own results. Large language models, image generators, and video models learn from massive amounts of examples and produce outputs that resemble them. According to Sutton, when these outputs are good, it's usually thanks to the source material: the texts, images, or data the model learned from. When the outputs are truly novel, they go beyond that material.

6月1日 21:32 UTC·#ai-models

Nemotron 3 Ultra 成为美国最强开源模型

根据 Artificial Analysis 的排名，Nvidia 的 Nemotron 3 Ultra 现在是美国评分最高的开源 AI 模型，得分为 48。它大约有 5500 亿个总参数、约 550 亿个激活参数，Nvidia 表示将于 6 月 4 日在 Hugging Face、OpenRouter 等平台发布。

这使 Nemotron 3 Ultra 成为美国开源模型的新标杆，尤其适合开发者将其与其他公开可用系统在能力和速度上进行比较。与此同时，这也说明中国在开源模型竞争中仍然领先，而最强的闭源模型整体上仍然更强。

Nvidia 的 Nemotron 3 Ultra 已成为美国在 Artificial Analysis 上评分最高的开源 AI 模型。Artificial Analysis 是一个会用多项评测指标对模型进行比较的平台，而 Nemotron 3 Ultra 在其智能排名中拿到了 48 分。这个成绩让它超过了其他美国开源模型，包括 Gemma 4 31B 的 39 分、Nemotron 3 Super 的 36 分，以及 gpt-oss-120b 的 33 分。文章提到，这个模型大约有 5500 亿个总参数，其中约 550 亿个会在任意时刻激活。

尽管表现强劲，它仍然落后于中国的 Kimi K2.6，后者得分为 54 分。它也没有超过目前最强的闭源模型 Opus 4.8，后者达到 61 分。除此之外，Artificial Analysis 还指出，Nemotron 3 Ultra 在 DeepInfra 上的推理速度可以超过每秒 300 个 token，明显快于体量相近但通常只有每秒 50 到 100 个 token 的 DeepSeek 或 Moonshot 模型。Nvidia 表示，该模型将于 6 月 4 日在 Hugging Face、OpenRouter 等平台发布。

Artificial Analysis 将 Nemotron 3 Ultra 排在其他美国开源模型之前，例如 Gemma 4 31B、Nemotron 3 Super 和 gpt-oss-120b，但仍落后于中国的 Kimi K2.6，以及闭源模型 Opus 4.8。在 DeepInfra 上，它据称超过每秒 300 个 token，而体量相近的 DeepSeek 或 Moonshot 模型大约只有每秒 50 到 100 个 token。

6月1日 21:17 UTC·#nvidia

Nvidia推出RTX Spark助力Windows本地AI

Nvidia在GTC Taipei上发布了RTX Spark，这是一款面向Windows的Grace Blackwell芯片，目标是在笔记本和紧凑型PC上本地运行AI代理。顶配版本结合了20核Arm架构Grace CPU、Blackwell RTX GPU、最高128 GB统一内存，并宣称在稀疏条件下可达到1 petaflop的FP4峰值算力。

这项发布让Nvidia直接进入与Apple Silicon和Qualcomm争夺消费级Windows设备本地AI代理市场的竞争。若其平台和安全工具按预期发挥作用，就能降低对云端推理的依赖，让隐私敏感、持续运行的AI工作负载更容易在本地完成。

Nvidia在GTC Taipei上发布RTX Spark，将其作为进入Windows笔记本本地AI代理领域的首个重要动作。该芯片本质上是已知DGX Spark硬件的Windows版本，但面向的是消费级设备和紧凑型系统，而不是Linux AI工作站。顶配版本采用GB10 Grace Blackwell Superchip，并提供多个SKU，在核心数量、SM数量和内存容量上有所不同。Nvidia称旗舰配置由Blackwell RTX GPU、6,144个CUDA核心和第五代Tensor Cores组成，同时搭配20核Arm架构Grace CPU，并通过NVLink-C2C互联。Nvidia还表示，MediaTek参与了CPU设计。该方案的内存最高可达128 GB，且CPU与GPU共享，这也是其本地AI工作负载卖点的核心。

公司宣称在稀疏条件下可实现1 petaflop的FP4性能，但也说明实际GPU性能会因负载不同而大致接近GeForce RTX 5070 Laptop GPU。Nvidia把这款产品视为对Apple Silicon和Qualcomm Windows-on-Arm芯片的直接回应。除了硬件，Nvidia还推出了身份管理、隔离和策略执行等Windows组件，以及OpenShell Runtime，用于定义代理权限，并决定数据何时留在本地、何时发送到云端。Nvidia称Hermes Agent和OpenClaw等开源项目已经把这层能力集成进Windows应用。Adobe也借此宣布重建Photoshop和Premiere，Premiere将加入TensorRT集成，Photoshop则引入GPU加速合成。Nvidia表示，RTX Spark设备将于2026年秋季由ASUS、Dell、HP、Lenovo和Microsoft Surface等厂商推出。

Nvidia表示RTX Spark采用统一内存设计，CPU和GPU共享同一内存池，并提供从16 GB到128 GB的多个版本。公司还推出了OpenShell Runtime，用于代理隔离、策略执行，以及根据隐私设置在本地模型和云端模型之间路由请求。

6月2日 04:00 UTC·#ai-agents

Gemini Spark 表现惊艳但引发成本与隐私担忧

The Verge 的上手评测称，Google 新的 Gemini Spark AI agent 能代替用户完成相当复杂的多步骤任务，包括起草邮件、查找文件和更新日历。测试者发现它在很多时候确实像 Google I/O 上的演示一样出色，但仍不足以消除人们对成本和信任的担忧。

Gemini Spark 代表了消费级 AI agent 从“回答问题”走向“代办任务”的更大趋势。若 Google 能把它做得足够可靠和安全，它可能改变人们在 Gmail、Drive 和 Calendar 中处理日常数字工作的方式。

The Verge 上手测试了 Google 新推出的 Gemini Spark，这是一款 Google 定位为可 24/7 在后台代用户工作的 AI agent。Google 把它描述为始终受用户指挥、只有在用户主动开启时才会运行，并且在执行重大操作前会先征求确认。作者首先复现了 Google I/O 上的演示场景，想看看它在普通家庭办公环境里是否也能表现一致。第一个测试要求 Spark 根据保存在 Drive 中的 2026 年预算表，给作者的妻子起草一封邮件，但作者没有告诉它妻子的名字，也没有告诉它文件在哪里。

Spark 成功找到了妻子的邮箱地址，定位到正确的表格，提取月度杂货支出并计算平均值，然后在 Gmail 里生成了一封草稿，甚至还用了只有夫妻之间才会用的称呼和落款。第二个关于街区派对筹备的测试就没有那么顺利，它生成了一张“朋友和家人”的表格，还写了一封提到并不存在的报名表的邮件，甚至做出了一份关于城市许可的难看幻灯片。后来作者让它创建缺失的报名表并把链接加回邮件里，Spark 经过几分钟处理后最终完成了这项任务。第三个更复杂的演示式请求同时涉及日历、邮件和文档，作者在文章时间线内表示它仍在处理之中，这也说明它既有很强的潜力，也有明显的局限。

评测强调，Spark 的设计目标是在用户指挥下运行，在执行重大操作前先确认，并能在后台处理多步骤任务。与此同时，它也暴露出一个重要隐忧：系统可以非常擅长查找个人数据并串联各项服务，这让隐私和成本上的取舍更难忽视。

6月1日 22:30 UTC·#ai-in-music

AI 正在重塑音乐制作

《The Verge》的 Decoder 播客采访了美国唱片学院首席执行官 Harvey Mason Jr.，他表示生成式 AI 现在在音乐制作中已经“无处不在”，距离他上次讨论这一技术的影响已过去 18 个月。节目还讨论了像 Suno 这样的工具如何进入实际创作流程，以及 Deezer 报告称 AI 生成歌曲的上传量已超过每天 5 万首。

这说明音乐领域的 AI 已不再是遥远趋势，而是已经进入主流制作流程，影响歌曲的创作、筛选和评价方式。它还很重要，因为美国唱片学院的规则仍然规定 AI 音乐不能获得格莱美奖认可，这让行业实践与奖项政策之间出现了张力。

《The Verge》的 Decoder 播客采访了美国唱片学院首席执行官 Harvey Mason Jr.，重新讨论生成式 AI 如何改变音乐行业。Mason 同时也是一位长期从事创作和制作的音乐人，他表示，这项技术如今已经在音乐制作中“无处不在”，而 18 个月前，行业更多只是知道它会带来冲击，却还不清楚具体会如何发生。节目把这个问题描述为既是创意问题，也是政策问题：AI 工具已经进入日常录音和制作流程，但人们仍在争论 AI 辅助音乐的质量、作用和合法性。主持人提到 Deezer 的报告称，每天有超过 5 万首 AI 生成歌曲上传，这让这些作品更难被识别和过滤。

对话还指出，Suno 等工具已经成为许多音乐人越来越常用的创作手段。与此同时，美国唱片学院的规则仍然规定 AI 音乐不具备格莱美奖参赛资格，这在创作现实与行业官方认可之间划出了一条明显界线。除了 AI 话题，采访还谈到格莱美奖从 CBS 转向 Disney，以及在 TikTok 时代如何吸引更年轻的观众。整体来看，这期节目强调音乐制作中的变化往往会预示更广泛的技术和媒体行业变化。

Harvey Mason Jr. 既是美国唱片学院首席执行官，也是一位资深制作人，曾与 Janet Jackson 和 Beyoncé 等艺人合作，因此他的观点具有很强的行业可信度。讨论还提到格莱美奖转向 Disney，以及颁奖典礼如何在 TikTok 主导的媒体环境中吸引更年轻的受众。

6月1日 22:18 UTC·#chrome

Chrome 增加设备绑定的 Cookie 防护

Chrome 正在 Windows 上推出 Device Bound Session Credentials（DBSC），以减少浏览器 Cookie 被盗和会话劫持。该功能默认对 Google Workspace 和个人 Google 账号启用，Mac 版则从 148 版本开始支持。

Cookie 盗取是攻击者冒充用户的常见方式，而且往往不需要再输入密码或通过 MFA，因此 DBSC 补上了会话安全中的一个重要缺口。无论是普通用户还是企业，这项功能都能让被盗的会话 Cookie 在其他设备上更难被利用。

Google 正在为 Chrome 推出一项名为 Device Bound Session Credentials，简称 DBSC 的新安全功能，目的是阻止黑客盗取浏览器 Cookie 并冒充用户。该功能现在已在 Windows 版 Chrome 上提供，并且对 Google Workspace 账号和个人 Google 账号默认启用。它的核心做法是把浏览器会话绑定到设备自身的安全硬件上，这样被盗的 Cookie 就不能直接在另一台机器上重复使用。对于 Windows 电脑来说，这个硬件通常是 Trusted Platform Module（TPM），而 Mac 则使用 Secure Enclave。

Google 表示，即使用户设备上已经存在恶意软件，DBSC 也能加强登录后的账户安全，并显著增加攻击者利用被盗会话 Cookie 的难度。Google 从 2024 年开始开发 DBSC，目标是防范家庭和办公环境中的 Cookie 劫持攻击。到 2025 年，这项功能曾以开放测试版形式向 Google Workspace 客户推出，当时还需要 IT 管理员手动开启。现在，这项保护正在更大范围内自动启用，但用户仍需要将 Windows 版 Chrome 更新到 146 及以上，或将 Mac 版更新到 148 及以上。

DBSC 会将会话 Cookie 绑定到硬件支持的安全组件上，在大多数 Windows 电脑上使用 TPM，在 Mac 上使用 Secure Enclave。Google 表示，即使用户设备上存在恶意软件，这也能降低会话被盗风险，但用户需要在 Windows 上运行 Chrome 146 或更高版本、在 Mac 上运行 148 或更高版本才能生效。

6月1日 07:01 UTC·#laptops

戴尔推出599美元XPS 13挑战MacBook Neo

戴尔在 2026 年台北电脑展前发布了全新的 XPS 13，学生价为 599 美元，普通售价为 699 美元。公司明确把它定位为苹果 MacBook Neo 的竞争对手，并强调它拥有更轻的机身、更大的屏幕、更好的接口配置，以及英特尔新的 Wildcat Lake 处理器。

这是一次高调且直接的价格对位尝试：戴尔试图在保持高端特性的同时，以更低价格冲击苹果的入门级笔记本，这可能影响轻薄本市场的竞争格局。对于学生、年轻职场人以及受内存涨价影响、但仍希望获得高端体验的买家来说，这款产品尤其有意义。

戴尔首席运营官 Jeff Clarke 在 2026 年台北电脑展前发布了新的 XPS 13，并且毫不回避地将其直接对标苹果的 MacBook Neo。Clarke 表示，戴尔没有因为 Neo 的出现而改变 XPS 的核心定位，并认为 599 美元的起售价已经实现了这一目标。新款 XPS 13 面向学生的价格为 599 美元，面向普通市场的价格为 699 美元，这也是近年来最激进的 XPS 定价之一。戴尔希望这款机器吸引学生、年轻职场人以及预算敏感、但仍想要高端体验的消费者。

之所以能把价格压到这个水平，主要是因为英特尔的 Wildcat Lake Core Series 3 处理器，以及较低配的内存和存储组合。该处理器采用英特尔 18A 工艺，提供 Core 5 和 Core 7 两个版本，并集成显卡；戴尔称其续航最长可达 17 小时。尽管售价更低，XPS 13 仍保留了相当高端的屏幕配置：13.4 英寸 2.5K LCD 触控屏，支持 120Hz 可变刷新率、500 尼特亮度以及 100% DCI-P3 色域。与 MacBook Neo 相比，戴尔强调这款 XPS 13 更轻、屏幕略大、带背光键盘，而且接口更强，提供两个 USB-C 3.2 端口并支持 DisplayPort 2.1。

最低配置采用 8GB LPDDR5X 内存、256GB 存储和英特尔 Core 5 Series 3 Wildcat Lake 处理器；更高规格则可选 32GB 内存和 1TB 存储。戴尔称这款 XPS 13 最长可达 17 小时续航，并配备 13.4 英寸 2.5K LCD 触控屏，支持 120Hz 可变刷新率、500 尼特亮度和 100% DCI-P3 色域。

6月2日 01:41 UTC·#ai-ml

通用汽车称AI正在压缩工程工作时间

通用汽车首席产品官 Sterling Anderson 表示，AI/ML 正成为工程与设计的新阶段，并能显著缩短部分工作流程。文中称，一些原本需要约 15 小时的任务现在大约 1 分钟就能完成。

如果这些效率提升在真实工程流程中同样成立，就可能明显提高通用汽车的产品开发速度、迭代频率和内部效率。这个案例也反映出整个行业正在从只用软件做单点分析，转向用 AI 加速更完整的端到端设计流程。

这篇文章关注通用汽车如何利用 AI 和机器学习来加速工程与设计流程的部分环节。文章重点介绍了首席产品官 Sterling Anderson，他在 2016 年与他人共同创办自动驾驶初创公司 Aurora 之前，还曾在 Tesla 工作多年，后来离开初创公司加入通用汽车。Anderson 表示，自从来到通用汽车后，他更清楚地看到公司正在进入他所说的工程与设计“第三个时代”。他把第一阶段描述为人类依靠经验和试错来做设计，通常只能根据已有事物做出相似的原型，再不断修改、测试和迭代。

第二阶段则始于计算机足够强大，能够帮助完成部分工作，例如计算流体力学（CFD）帮助空气动力学工程师，有限元分析（FEA）帮助结构工程师。尽管如此，他认为当时的开发流程仍然像接力赛一样，设计、空气动力学和结构等团队依次交接任务，发现问题后再彼此来回返工。文章最引人注目的说法是，AI/ML 让某些原本需要大约 15 小时的任务缩短到约 1 分钟，显示出显著的生产力提升。不过，所给内容主要是解释性和宣传性的，并没有提供足够的技术细节来判断这种提速能否广泛适用或能否复现。

Anderson 将通用汽车的进展描述为工程与设计进入“第三个时代”，前两个时代分别是经验式迭代和计算机辅助的虚拟工具。文中还对比了设计、空气动力学和结构团队之间过去那种分段交接的流程与更快的 AI 工作流，但这段内容没有说明“1 分钟”说法背后的具体工具、模型名称或验证方法。

6月1日 16:47 UTC·#openai

OpenAI重建机器人团队，瞄准长期个人机器人

据报道，OpenAI正在重建其机器人团队，并招聘硬件、运营、系统和机器学习相关岗位。短期内，这支团队会先聚焦基础设施机器人，而Sam Altman的长期愿景则是“让每个人都拥有一台能做任何需要做的事情的个人机器人”。

这表明OpenAI正在把机器人视为其AI路线图中的战略组成部分，而不是边缘项目。如果成功，这一 प्रयास既可能影响短期的工业自动化，也可能推动长期面向通用具身AI的竞争。

OpenAI首席执行官Sam Altman再次押注机器人，但公司最先落地的方向并不是完全通用的个人机器人，而是更现实的基础设施机器人。文章称，OpenAI正在招聘硬件、运营、系统和机器学习等岗位，以重建机器人团队。短期内，这些机器人将帮助专业人员建设基础设施。Altman的长期目标则更宏大，他设想未来“每个人都有一台能做任何需要做的事情的个人机器人”。报道指出，这支机器人团队源自OpenAI的世界模拟研究项目，该项目由Aditya Ramesh领导。Sora团队在AI视频应用被关闭后，也并入了这一研究方向。

OpenAI曾在2020年关闭机器人部门，理由之一是公司认为不借助机器人也能更快实现AGI，另一个原因是机器人训练数据过于稀缺。公司从2025年1月开始重建该团队，目标是开发能够推动AGI进展的通用机器人。尽管如此，文章强调OpenAI目前究竟希望从这一计划中获得什么仍不清楚。尤其是在公司最近宣布战略转向AI agent应用之后，这种不确定性更为明显。文章认为，Altman的个人机器人愿景可能还需要很多年才能实现，而这项工作的现实价值也许在于收集具身AI训练数据，并探索其他AI路线。

OpenAI曾在2020年关闭机器人部门，部分原因是认为不依赖机器人也能更快实现AGI，而且机器人训练数据太稀缺。该团队自2025年1月起重新组建，文章还指出它源自由Aditya Ramesh领导的世界模拟研究项目，而在AI视频应用被关闭后，Sora团队也并入了这一方向。

6月1日 22:06 UTC·#api-policy

Strava 收紧 API 访问以应对 AI 抓取

Strava 正在收紧 API 访问权限，并要求开发者每月支付 11.99 美元的固定费用，才能基于其数据开发应用。公司表示，这一变化旨在遏制零代码 AI 工具、API 中介和抓取行为带来的滥用。

这一举措显示，随着 AI 驱动的应用开发和抓取行为增加，主流平台正在通过收费和限制来管理 API 访问。它会影响依赖 Strava 数据的开发者，也反映出整个行业正转向付费访问和更严格的平台控制。

Strava 正在收紧其开发者 API 的访问权限，以应对 AI 抓取和平台滥用问题。现在，想要基于 Strava 数据开发应用的开发者必须支付每月 11.99 美元的固定订阅费。Strava 在其开发者中心更新中表示，这一变化与所谓的零代码 AI 工具有关，这类工具可以让用户快速创建应用，并可能对 API 造成持续冲击。公司还称，API 中介违反了政策条款，而抓取行为已经损害了所有用户的平台性能。Strava 表示，今年以来其开发者计划的申请量增长了 448%。

在此之前，开发者可以免费申请使用 Strava 的 API，并随着应用用户增长而扩大访问权限，这一点也得到了 TechCrunch 的报道印证。此次调整并不是 Strava 第一次限制第三方接入；公司在 2024 年就开始限制第三方应用可展示的数据。Strava 近期还曾就专利侵权问题起诉 Garmin，但随后撤回了诉讼，并在 2 月提交了 IPO 申请。与此同时，Strava 还推出了一项新工具，允许用户将配速、逐秒心率、GPS 数据等健身信息链接到 Claude。公司强调，这次 API 限制不会影响可穿戴设备和硬件集成，也不会影响用户免费导出自己的数据。

Strava 表示，今年以来加入其开发者计划的申请量同比增长了 448%，而 API 中介违反了政策条款，抓取行为也拖慢了平台性能。公司称，这项新限制不会影响可穿戴设备和硬件集成，也不会影响用户免费导出自己的数据。

6月2日 02:50 UTC·#networking

一款4美元的路由器自动重启定时器

ZDNET 评测了一款售价 4 美元的 Router Rebooter 小设备，它会每隔 24 小时自动切断路由器电源 5 秒钟。文章认为，这种简单的每日重启可以改善卡顿的家庭网络，而且不需要应用程序、按钮或人工操作。

对于使用廉价运营商路由器的人来说，这是一个成本极低的方法，可以减少随机故障并恢复网络响应速度。对于依赖不稳定 Wi‑Fi 处理日常事务的家庭和小型商家，比如流媒体播放或刷卡支付，它尤其有现实意义。

ZDNET 认为，消费级路由器常常不太可靠，而提升网络表现的一个老办法就是直接重启路由器。问题在于，手动重启路由器往往很麻烦，尤其是设备被放在家具后面，或者电源线缠成一团的时候。Router Rebooter 是一款很小的串联式小设备，它安装在路由器直流电源线和路由器之间。连接后，它会开始 24 小时倒计时，然后把电源切断 5 秒钟，再恢复供电。作者表示，这个设备没有按钮、旋钮，也没有应用程序，设计目标就是极致简单。

它支持 5V 到 15V 的直流输入电压，而作者测试的 5.5mm x 2.1mm 接口在自己多台路由器上都能正常匹配。在实际使用中，作者把它装在一些依赖弱 Wi‑Fi 基础设施的小商家里，并表示每日自动重启确实减少了很多烦躁和麻烦。作者拆开设备后发现里面只是一个简单的电路板，并认为有电子和焊接经验的爱好者甚至可以把类似功能直接做进调制解调器的电源线上。ZDNET 的购买建议认为，这款产品虽然非常基础，但性价比不错，因为 8 美元能买到两只，分别是黑色和白色；如果用户需要网络监测、远程控制或更复杂功能，市面上也有更高级的替代方案。

这款设备通过串联在直流电源线上进行断电控制，支持 5V 到 15V 的供电，作者测试的接口尺寸为 5.5mm x 2.1mm，并认为这在路由器上很常见。ZDNET 还提到，市面上也有更高级的替代方案，包括带自动网络监测、可按日或按月重启、以及支持应用或云端控制的 IP 设备。