这一天的 12 件 AI 大事

https://x.com/alexandr_wang/status/2109689472975794473 · 该内容已按来源方要求下架或调整展示方式。

Cursor 加入 The X Subscription，多款 Grok 产品共享用量

Cursor 现已纳入 The X Subscription。现有订阅用户可以保留当前方案，也可以切换方案。 付费方案让 Cursor、Grok Build 和其他 Grok 产品共享一个用量池；使用 Grok 模型的编程用量是对应 Cursor 方案的两倍。Premium、Super 和 Ultra 方案还包含 Grok Bot；新方案中的 Cursor 第三方模型则改按 API 价格计费。 The X Subscription 可通过 http://cursor.com/pricing 订阅。

NVIDIA Blog一手

NVIDIA 在 OCP 开放 Vera Rubin 机架设计，助力扩展 AI 工厂

NVIDIA 通过其开放的 MGX 架构向 OCP 提交了 Vera Rubin 机架和计算托盘设计，并在 OCP 全球峰会上宣布了 AI 基础设施合作计划。MGX 1.2 支持最高 250kW 的机架部署，并统一了电源、冷却和互连接口。NVIDIA 还发布了开源 DSX OS 组件，用于网络配置、集群验证、机架管理和裸机配置，同时与合作伙伴共同制定设施规格、电网韧性和网络方案。

The Decoder

Google DeepMind 的 AlphaProof Nexus 在经同行评审的研究中解决数十个未解数学问题

根据发表于《Science》的一项同行评审研究，Google DeepMind 的 AlphaProof Nexus 解决了数十个未解数学问题，其中包括 353 个未解 Erdős 问题中的 9 个；其中两个问题已悬而未决 56 年。它还证明了 44 个 OEIS 猜想，解决了一个未解的代数几何问题，并改进了一个极小极大优化界。该系统以 Gemini 3.1 Pro 为核心，使用 Lean 起草和修订证明，并根据检查器的反馈进行调整；遇到更难的子问题时，还可以调用 AlphaProof。不过，DeepMind 表示，它解决那 9 个 Erdős 问题时并未使用该工具。

模拟学生学习，改进 AI 辅导

Microsoft Research 推出了 StudentSim 研究系统，该系统根据公开可用的去标识化学习者记录训练个性化学生模拟器，用于评估和改进 AI 辅导工具。StudentSimEval 在国际象棋、英语作为第二语言的写作和数学领域评估行为保真度及指导响应能力，StudentSim 在这些方面均优于领先基线。在一项国际象棋辅导工具研究中，使用 StudentSim 反馈进行训练后，准确率达到 90.5%；相比之下，不使用强化学习时为 75.7%，使用 GPT-5.4 反馈时为 71.6%。真实学习者研究仍不可或缺，论文和代码已公开。

AWS Machine Learning Blog一手

指南：通过 Amazon Bedrock 全球跨区域推理访问 OpenAI GPT-6 模型

AWS 介绍了如何从泰国、马来西亚、新加坡、印度尼西亚和台湾通过 Amazon Bedrock 全球跨区域推理调用 OpenAI GPT-6 Sol 和 GPT-6 Luna，以及如何从新加坡调用 GPT-6 Astra。指南涵盖 Converse、兼容 OpenAI 的 API、编码客户端、IAM 权限、SCP 例外、配额和监控。计费和配额跟踪仍在源区域进行，而请求会在支持的目标区域运行；每个输出 token 会消耗 10 个配额 token。