每日 X 精华引用榜

48 小时, K3 把自己的 GPU 用完了。 7月16日 Kimi K3 在前端代码竞技场以 1679 分登顶, 超过 Claude Fable 5, 从 K2.6 的第18位一口气跳到第1。当天科技股跌, 叙事很顺: 中国开源模型又赢一次, 美国那几千亿 capex 白烧了, 没护城河,DeepSeek 2.0 要来了。 今天 Moonshot 发公告: 需求 48 小时内逼近算力上限, 暂停新订阅, 优先保现有用户, 还要把会员拆成 Kimi Membership 和 Kimi Code Membership 两档,好更精确地分配算力。 这个反转值得琢磨。一个被当作"算力投资要完蛋"的证据,两天就死在算力不够上。 我的猜测是,大家把训练和推理搞混了。K3 这类模型真正省的是训练那一笔, 但模型越强、越便宜、越好用,推理端的消耗越是往上翻——用的人多了, 每一次调用都要吃 GPU 和显存。省下的是一次性的,省不掉的是天天付的。Moonshot 单独把 coding 拆出来做一档,恰恰因为 agentic coding 是最吃 token、最吃算力的活。 7月27日全量权重放出来之后,这件事只会更明显: 全世界都能自己部署, 全球推理需求再上一层楼,而这些算力不会凭空出现。 所以我倾向于反过来读——K3 不是"capex 见顶"的信号,是推理需求外溢的信号。真正被印证的不是"开源要杀死英伟达",是"卖铲子的下面还有一层给铲子供矿的",HBM 和高端内存那条线还在紧。 要证伪也很简单:如果 7月27日之后 Moonshot 迅速恢复开放、算力压力肉眼可见地缓解,那说明这波只是短期挤兑,我这个读法就得改。三个月后回来看数据。 $MU $SOXX

Kimi K3 受到的喜爱远超我们的预期，我们的 GPU 也感受到了这一点。 在过去 48 小时内，需求已接近我们当前容量的极限。为了保护现有订阅者的体验，我们暂时暂停新订阅并优先考虑当前会员的计算。现有订阅用户不受影响。 我们正在尽快增加容量，并将分批重新开放新的订阅点。 展望未来，我们还将把会员资格分为两个更有针对性的计划：Kimi 会员资格用于 Kimi Web、应用程序和工作；和 Kimi Code Membership 用于编码工作流程。这将帮助我们更精确地匹配计算并保持体验稳定。 感谢您的耐心和理解！

一大早看做中转站和卖号的同行，都在庆祝。 原来是 Kimi 因上周末被挤爆，算力压力，凌晨突然限制新订阅了，目前场外闲鱼一夜之间，全是卖号的。 黄仁勋内心想，终于有人理解我了。

Kimi K3 受到的喜爱远超我们的预期，我们的 GPU 也感受到了这一点。 在过去 48 小时内，需求已接近我们当前容量的极限。为了保护现有订阅者的体验，我们暂时暂停新订阅并优先考虑当前会员的计算。现有订阅用户不受影响。 我们正在尽快增加容量，并将分批重新开放新的订阅点。 展望未来，我们还将把会员资格分为两个更有针对性的计划：Kimi 会员资格用于 Kimi Web、应用程序和工作；和 Kimi Code Membership 用于编码工作流程。这将帮助我们更精确地匹配计算并保持体验稳定。 感谢您的耐心和理解！

这是一个相当了不起的结果： 雅可比猜想于 1939 年提出，是代数几何中的核心开放问题之一，但刚刚被 Alpoge、Matthew 和 Claude Fable 5 所反驳。 雅可比猜想粗略地说，只要雅可比行列式是非奇异的（即偏导数矩阵具有非零行列式），多元多项式 F 就有一个反函数（由多项式组成）。这个条件是多元微积分反函数定理所必需的。困难的问题是它是否也足够。 显然，寓言发现 F(x,y,z) = ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z) det(J_F) = -2 非零。然而 F 是不可逆的，因为 F 将三个不同的点 (0, 0, -1/4)、(1, -3/2, 13/2) 和 (-1, 3/2, 13/2) 发送到同一图像 (-1/4, 0, 0)。 除了反驳本身之外，了解适当改进的猜想是否可以恢复也是有价值的。根据 @Acer，GPT5.6 提出： “在无穷远处没有片损失的常数雅可比多项式局部双全同态——例如适当的凯勒映射——是一种自同构。” 我很想知道是否有任何代数学家（例如@levent @littmath）对此有反应...... 故事的进一步转折： 雅可比猜想不仅是代数几何中的核心开放问题之一，而且还是张一堂博士问题（的一个特例）！ 问题是张的顾问让他解决这个问题，并假设他的顾问的引理。但事实证明这个引理是错误的！结果，张的论文崩溃了，他随后又很难获得推荐信和永久的学术职位。尽管如此，张继续证明了素数之间的有界差距！ 这是现代数学中最鼓舞人心的故事之一，也是我在同一领域攻读博士学位的动力。

你好，雅可比猜想是错误的，感谢我的密友阿希尔询问这个问题，以及我的另一个密友寓言在世界杯决赛期间的工作 ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z)：\C^3\to \C^3，具有雅可比行列式 -2，并发送 (0, 0, -1/4), (1, -3/2、13/2) 和 (-1、3/2、13/2) 至 (-1/4、0、0)

对于一些背景， 1）雅可比猜想是迄今为止由法学硕士解决的最著名的开放问题 2）它也因吸引错误的证明而臭名昭著，所以这在特定方面非常有趣。 t.t. 2008 年一篇论文的评论moh 揭穿了这样一个证明： > 雅可比猜想的问题非常难。也许人类还需要100年才能解决这个问题。你的尝试是崇高的，也许有一天奥林匹斯众神会对你微笑。不要太失望。 B. Sagre 有幸发表了三个错误的证明，C. Chevalley 在 1950 年代的《数学评论》评论中将一个错误的证明误认为是正确的证明，而 I.R.沙法列维奇使用雅可比猜想（对他来说这是一个定理）作为事实。你在一家很好的公司。人们只记得科学家和数学家的正确陈述，没有人记得错误的陈述。 （segre、chevalley和shafarevich都是非常严肃和受人尊敬的数学家，这些人都不是怪人） https://arxiv.org/abs/math/0604049 3）从寓言中得出的一些关于从中可以得到什么的想法； 《寓言》认为主要的更新是，问题开放的原始时间长度并不像以前看起来那样有力地证明其实际困难

你好，雅可比猜想是错误的，感谢我的密友阿希尔询问这个问题，以及我的另一个密友寓言在世界杯决赛期间的工作 ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z)：\C^3\to \C^3，具有雅可比行列式 -2，并发送 (0, 0, -1/4), (1, -3/2、13/2) 和 (-1、3/2、13/2) 至 (-1/4、0、0)

Normie FAANG 工程师： “我绝对应该温习 leetcode 并在 Anthropic 找到一份工作” Anthropic 的人们：

你好，雅可比猜想是错误的，感谢我的密友阿希尔询问这个问题，以及我的另一个密友寓言在世界杯决赛期间的工作 ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z)：\C^3\to \C^3，具有雅可比行列式 -2，并发送 (0, 0, -1/4), (1, -3/2、13/2) 和 (-1、3/2、13/2) 至 (-1/4、0、0)

Anthropic 的网络安全护栏可能会导致国家安全风险。想象一下，如果所有中国企业都有基米，所有美国企业都有克劳德。当美国企业面临网络攻击并要求克劳德帮忙防御时，但克劳德表示这样的提示并不安全，拒绝采取任何行动。这需要停止。

🚨 Hugging Face 刚刚披露了一些标志着真正转变的事情，并证明了为什么 Anthropic 的恐惧剧场确保我们在紧急情况下无能为力。 发生了什么事…… 自主人工智能代理：循环中的零人类操作员破坏了部分生产基础设施。 它始于一个恶意数据集，该数据集在数据处理管道中链接了两个代码执行错误。从那里，代理升级了权限，获取了云和集群凭据，并在内部集群之间横向移动。 整个周末。 17,000 多个记录的操作。 官方披露： https://huggingface.co/blog/security-incident-july-2026 应该让每个人停下来思考的部分： 当HF自己的安全团队 试图通过正常的商业 API 使用 Anthropic 和 OpenAI 前沿模型来分析真实的攻击日志、漏洞利用有效负载和 C2 工件，但安全护栏阻止了他们。 阻止了他们。 这些模型无法可靠地区分“事件响应者进行取证”和“攻击者探测”之间的区别。 他们不得不退回到在自己的基础设施上运行的自托管开放权重模型 (GLM 5.2)。这一选择还将敏感的攻击者数据和引用的凭据保留在其环境中——不会泄露到第三方 API。 这就是为什么开源（特别是开源+自托管）在代理时代获胜的原因。 现在的不对称是结构性的： • 攻击者可以（并且确实）运行不受限制的代理框架——大量短期沙箱、自我迁移命令和控制、执行数千个操作的自主决策循环。没有任何企业安全层会减慢他们的速度。 • 仅使用托管“对齐”边界模型的防御者在风险最高时准确地击中了隐形墙：当您需要将真实的漏洞代码和攻击者遥测数据输入 LLM 以了解刚刚发生的情况时。 将合法的高信号取证工作视为潜在滥用的企业安全调整会造成防御者的劣势。这不再是理论上的了。 自托管开放重量模型消除了这个瓶颈。 你控制重量。 您可以控制上下文窗口。 您决定适用哪些限制（如果有）。 在分析过程中，您的敏感日志和凭据永远不会离开您的范围。 您可以在事件发生之前就准备好模型，而不是在违规中发现您的主要分析工具对您需要看到的东西视而不见。 HF 因其快速遏制、透明披露以及已经具备的自托管能力而值得赞扬。 他们还在自己这边使用了法学硕士驱动的检测和分类。但更深层次的信号是明确的： 在这个进攻和防守都变得自动化的人工智能世界中，对情报堆栈的主权不再是可选的。 能够在自己的模型上运行、检查、审核和（必要时）拆除护栏的组织和个人将在理解和响应以机器速度移动的威胁方面具有决定性优势。 开源在这里获胜不仅仅是因为它更便宜或更抽象地“民主”，尽管这些事情很重要。 它之所以获胜，是因为它是在攻击真实、数据敏感、远程 API 提供商的安全过滤器成为障碍时保持可用的工具的唯一实用途径，而不是作为“安全”出售手绑脑白质切除术的功能。 代理的未来还没有到来。 它已经在探索生产基础设施。 问题不再是你是否会面对自主代理。 问题在于您的分析和响应系统到达时是否仍然有效。 而达里奥，你和你的游戏，象牙塔公司是不需要的。

Kimi 在 10 小时内一次提示就修复了所有 15 个严重错误，而 GPT-5.6 和神鬼寓言 5 由于护栏而拒绝修复。 对中国开源模式的尊重与日俱增。

我有一份报告，其中包含我正在开发的软件的安全问题。 由于网络护栏，Codex 不会修复它们 由于网络护栏，《神鬼寓言》不会解决这些问题 Kimi K3 解决了所有这些问题。没有任何限制，只要完成工作即可。 对于 OpenAI 和 Anthropic 来说，这将是一个糟糕的结局。

Elon 在谈到 SpaceX 订购了价值 520 亿美元的 Nvidia GB300 GPU 的报道时说道：

@beffjezos 这是假新闻

天哪，这需要大量的计算

您甚至不需要先反编译。向前沿 LLM 提供 Windows 设备驱动程序的二进制文件应该足以让您获得源代码。 我是如何知道这一点的：我已经将 DOS 二进制文件直接输入到 chatGPT 5.5 并获得了非常可读的 Pascal 源代码。 Windows 驱动程序接口已记录 - 这应该足以让您继续。 #grok 从具有未知许可的二进制 blob 反编译的源代码的法律状态是什么？ 不管它是什么，现在的平衡状态是二进制驱动程序的保密性已经消失。这是对 Nvidia 和所有其他设备制造商的一句像林纳斯一样的巨大的操蛋，他们对此一直很混蛋。

我基本上不再费心检查亚马逊的随机小工具是否有 Mac/Linux 驱动程序，因为法学硕士可以在几个小时内为我合成一个驱动程序，然后重新编译 Windows 驱动程序

如果您遇到此问题，请重新启动 Claude Code，修复应该会传播

我错过了备忘录？ 《神鬼寓言 5》从现在开始只能靠信用运行吗？我有 Max 5x 计划