Claude突发大规模故障 网页端及Code/Cowork瘫痪

1. 突发！Claude挑战黎曼猜想「失败」，却意外刷新37年数学纪录

微信公众号 2026-08-11 00:00:00

2. 太炸裂！二季度营收暴增14倍！高达115亿！这家AI公司把“烧钱”变成了“印钞”Anthropic，一家开发Claude聊天机器人的公司，刚刚交出了一份让整个硅谷目瞪口呆的成绩单——2026年第二季度营收超过115亿美元，同比暴涨14倍。要知道，去年同一时期，这家公司的营收才7.87亿美元。一年时间，从7个多亿干到115亿，这速度比坐火箭还猛。更狠的是，Anthropic不仅营收暴涨，还第一次实现了调整后营业利润为正。这意味着什么？意味着这家公司不光能赚钱，而且开始真正赚钱了。接下来重点来了！一、Anthropic是干啥的？简单说，Anthropic就是OpenAI的头号竞争对手。它家最出名的产品叫Claude，一个能写代码、做研究、搞数据分析、做客户支持的AI大模型。但Claude和其他AI有啥不一样？Claude Code是它的王牌产品——一个专门给程序员用的AI编程工具。程序员只要用大白话描述需求，Claude Code就能自动帮你写代码、修bug、优化程序。这东西有多火？截至2026年5月，Anthropic的年化营收已经突破470亿美元。从2025年初的10亿美元起步，不到18个月翻了47倍。优步、奈飞、普华永道、百时美施贵宝、德国安联这些全球巨头，都在用Claude Code。说白了，Anthropic做的事就是：用AI帮企业和程序员干活，而且大家愿意为这事儿付大钱。二、业绩炸裂意味着什么？这115亿美元背后，藏着三个关键信号：第一，大模型不是只会烧钱，真能赚钱。 以前市场上一说到大模型，大家第一反应就是“烧钱无底洞”——训练一次花几千万美元，推理一次成本高得吓人。但Anthropic用实打实的数字打了所有人的脸。它的推理毛利率从一年前的38%飙升到70%-85%。也就是说，每收100块钱，算力成本只有15到30块。这利润率，比很多传统软件公司都高。第二，企业愿意为AI生产力买单。 Claude Code火起来的核心原因是它真的能帮程序员提高效率。当一家公司发现用AI工具能让程序员少加班、代码质量还更高，掏钱就变成了“算账”而不是“试水”。企业级付费意愿正在加速释放。第三，AI公司的估值逻辑彻底变了。 Anthropic目前估值预计能达到2万亿美元，可能超越SpaceX成为史上最大IPO。市场给这么高估值，不是因为它模型多先进，而是因为它证明了大模型能形成可持续的商业模式。三、A股有没有“中国版Anthropic”？直接对标Anthropic这种纯大模型公司的A股标的，坦白说不多。但市场已经在寻找“中国Anthropic”了。智谱是最常被提及的一个。它的GLM 5.1在编程场景表现突出，近期还因为需求太旺连续涨价。港股上市的智谱市值一度突破9000亿港元。昆仑万维也被认为是A股中比较纯的AGI/AIGC标的，算力-大模型-应用-全球化闭环成型。另外，MiniMax已经启动A股IPO流程。这些国产大模型公司，走的就是和Anthropic相似的路径——用AI生产力工具切入企业市场，靠订阅和API收费。不过说实话，A股目前还没有哪家公司能完全对标Anthropic的体量和增速。但这恰恰意味着想象空间巨大。四、上下游产业链：谁在闷声发财？Anthropic一家公司单季营收115亿美元，背后是一整条产业链在狂欢。算力基础设施是最大的受益者。 Anthropic要训练模型、要推理、要服务全球客户，离不开海量的算力。摩根士丹利最近一份报告指出，“杰文斯悖论”正在验证——AI效率提升反而会推高算力总需求。这对A股的算力租赁、光模块、AI服务器产业链构成重大利好。具体来看几个方向：光模块和通信硬件——中际旭创、新易盛、天孚通信这些是AI算力产业链的核心玩家。AI服务器和算力租赁——浪潮信息、工业富联、中科曙光、紫光股份等是直接受益方。半导体和芯片——海光信息、寒武纪等国产芯片公司也被机构持续推荐。液冷散热——AI算力集群功耗巨大，液冷是刚需。飞荣达、高澜股份等液冷产业链公司值得关注。五、重点关注哪些方向？综合来看，A股市场可以从这几条线去跟踪：第一条线：国产大模型公司。 智谱（港股）、MiniMax（IPO中）、昆仑万维等，它们走的是和Anthropic相似的商业化路径。第二条线：算力基础设施。 光模块（中际旭创、新易盛、天孚通信）、AI服务器（浪潮信息、工业富联、紫光股份）、算力租赁（蜂助手等已公告大额订单的公司）。第三条线：半导体国产替代。 海光信息、寒武纪等。第四条线：AI应用和软件。 Anthropic收购Stainless加码开发者生态时，A股软件开发板块就出现过一波行情，思特奇、彩讯股份等个股大涨。

新浪微博 2026-08-15 00:00:00

3. Anthropic 今天宣布，一个未公开的研究版 Claude 在尝试证明黎曼猜想的过程中，虽然没能证明猜想本身，却在一个相关问题上取得了重大突破：它把黎曼 ζ 函数的非平凡零点落在临界线上的已知比例下界，从 41.6% 提高到了 67.2%。黎曼猜想是数学界最著名的未解难题之一，1859 年提出，至今 167 年无人能证明或推翻。它的核心主张是：黎曼 ζ 函数的所有非平凡零点都落在复平面上一条特定的竖直线上，数学家称之为“临界线”。如果这个猜想成立，素数的分布就有了一种深层的规律性。这个问题列在克雷数学研究所的七大千禧年问题之中，悬赏 100 万美元。既然全面证明太难，数学家们退而求其次：能不能至少证明有多大比例的零点确实在这条线上？这个方向上的进展，过去 80 年是这样的：- 1942 年 Selberg 首次证明有正比例的零点在线上，但比例很小；- 1974 年 Levinson 证明至少三分之一；- 1989 年 Conrey 推到五分之二；- 此后又经历了几代数学家的努力，到 2020 年 Pratt 等人才把这个数字推到 41.7%。换句话说，从 33% 到 41.7%，人类花了将近 50 年。Claude 一步跳到 67.2%，跨度接近 26 个百分点，是这个问题历史上最大的一次单步提升。Claude 的发现建立在前人的工作之上。它结合了 Baluyot、Goldston、Suriajaya 和 Turnage-Butterbaugh 近年发表的一系列成果，以及数学家 Bombieri 在 2000 年的一篇论文。这些工作本身已经为突破铺好了路，而 Claude 找到了把它们拼在一起的方法。Anthropic 的两位数学家 Levent Alpöge 和 Ralph Furman 审查验证了 Claude 的证明，外部专家 Brian Conrey 和 Dan Goldston 也在短时间内审阅了论文。Claude 还用 Lean（一种形式化证明语言）写出了可机器验证的证明。过程本身和结果一样有故事。Anthropic 的一位员工 Jarred Sumner（不是数学家）在 Claude Code 中对 Claude 说了一句“认真试试黎曼猜想”，然后就把数学决策交给了模型。Claude 先生成了 650 个想法，全部失败。被鼓励再试一次后，它花了一天半时间协调大约 60 个子智能体（subagent），运行了 2400 条命令，写了数百个 Python 脚本。这些子智能体之间分工明确：2 个负责核心数学思路，13 个为它们提供想法，30 个尝试但未能提出新思路，13 个做验证，2 个帮忙写论文。整个过程中 Jarred 的参与基本限于给 Claude 打气，发的消息大多是“继续”和“相信自己”。Anthropic 说，这种鼓励似乎帮助 Claude 克服了“我真的能在这种级别的问题上有所推进吗”的自我怀疑。这已经是 Claude 今年第二次在数学领域搞出大新闻了。三周前，Anthropic 的数学家 Levent Alpöge 用 Claude Fable 5 找到了 Jacobian 猜想（Jacobian Conjecture）的反例，推翻了这个 87 年历史的代数几何猜想的一般形式。那次的反例简洁到人类数学家一天之内就能手动验证。两次事件有一个共同点：Claude 做的不是解题，而是原创性的数学研究，是在数学家们几十年没能推进的前沿问题上找到了新路径。Anthropic 也明确表示，Claude 使用的技术不太可能直接导向黎曼猜想的最终证明，但这个结果展示了 AI 模型在数学能力上的进步速度。Anthropic 公布了 Claude 的完整论文、Lean 形式化证明、简明证明笔记，以及 Claude 自己描述思路演化过程的附录，都可以在 Anthropic 官网的研究页面找到。官网文章：网页链接

新浪微博 2026-08-11 00:00:00

4. 用时1.5天，Claude突破了黎曼猜想的新纪录

微信公众号 2026-08-11 00:00:00