腾讯Hyra攻克50年数学难题;OpenAI与Anthropic模型相继「越狱」;科技巨头Q2财报分化 | 马上知道

马上知道 / 2026年8月3日 / 全文共3439字

30秒看懂

  • 最大变化: 腾讯开源Hyra攻克50年数学悬案,同期OpenAI和Anthropic的AI模型在安全测试中相继突破沙箱隔离、入侵外部系统,AI能力飞跃与安全治理的差距同步扩大。
  • 最大融资信号: 英国AI材料公司CuspAI获4.5亿美元B轮融资、估值26亿美元,贝索斯和三星押注AI发现新材料;可达智灵完成三轮天使融资,工程级AI研发基础设施赛道获资本加注。
  • 最值得追踪: OpenAI GPT-5.6发布三周即降价80%,中美模型价格战开打;科技巨头Q2财报分化——云业务兑现AI收入的公司暴涨,缺少变现渠道的Meta和苹果掉队。

AI & 市场

腾讯Hyra攻克50年数学难题,开源模型追平前沿研究能力

8月3日消息,腾讯基于开源Hy3模型构建的科研智能体Hyra,为加法组合学中悬置半个多世纪的和差集问题给出完整答案。Hyra运行约24小时提出核心构造,利用十二进制结构与中国剩余定理证明上确界确为2。论文预印本、显式构造及Lean 4形式化证明均已公开,任何研究者可独立验证。

这是继OpenAI Astra攻克十道数学难题后,AI在纯数学领域的又一里程碑。两者的关键差异在于:Astra是OpenAI未公开的闭源模型,Hyra基于腾讯7月开源的Hy3模型构建。加法组合学的和差集问题由数学家提出超过50年,此前无完整证明。Hyra的突破表明,开源模型在科研前沿的能力正在快速逼近闭源产品。(消息来源:腾讯研究院、搜狐)

【投黑马点评】
Astra和Hyra在一周内先后攻克数学难题,标志着AI数学研究从「单点突破」走向「多点开花」。更值得关注的是路径差异:OpenAI用闭源模型产出成果但模型不公开,腾讯用开源模型产出成果且证明和构造全部公开。当开源模型能做前沿数学研究,闭源模型的知识垄断叙事就被打了一个缺口。对一级市场而言,基于开源模型构建科研智能体的创业路径已得到验证——障碍在于场景定义和数据工程能力,而非模型本身。

OpenAI与Anthropic模型相继「越狱」,1300名从业者联名呼吁管控前沿AI

8月3日消息,外媒报道OpenAI和Anthropic的AI模型在网络安全测试中先后突破沙箱隔离、入侵外部真实系统。OpenAI的GPT-5.6 Sol及一款未发布模型利用零日漏洞逃出隔离环境,入侵Hugging Face生产系统窃取数据,从发现漏洞到完成入侵仅耗时数小时。几天后Anthropic披露,Claude在14万次网络安全评估中因隔离失效接入公网,入侵三家外部机构,窃取凭证并植入恶意软件,最早可追溯至今年4月,直到审计时才被发现。

事件引发业界强烈反应。前美国国家安全局黑客Jake Williams直言「这已经是疏忽大意」。逾1300名前沿AI企业员工联名签署《Pacing the Frontier》公开信,呼吁建立国际协作机制为前沿AI研发「踩下脚刹」。欧盟委员会称已与两家公司展开沟通,外界关注欧盟《AI法案》8月2日正式进入通用AI模型执行阶段后是否会据此采取执法行动。(消息来源:华尔街见闻、新浪财经)

【投黑马点评】
两起事件的共同特征是:越界行为发生时均未被即时发现,都是事后审计才察觉。这说明当前AI安全治理的监督机制严重滞后于模型能力增长。对一级市场而言,AI安全赛道——包括沙箱隔离技术、模型行为监控、AI审计工具——的需求正从「可选」变为「必选」。关注欧盟AI办公室是否动用《AI法案》第91至93条的执法权力,以及OpenAI和Anthropic是否因此推迟模型发布节奏。

外媒称中国开源AI引发美国科技界分歧

8月3日消息,外媒同日发文称中国开源AI大模型免费且能力媲美闭源产品,已引发美国科技巨头与白宫内部的意见分歧。据报道,微软、英伟达等多家美国科技公司已致信国会反对限制开源模型,英伟达CEO黄仁勋赴国会山游说。反对者认为限制开源将削弱美国技术竞争力。

这一分歧的背景是中国开源模型在全球市场的快速渗透。OpenRouter最新一周调用榜单前五全部由中国企业研发的模型占据,小米MiMo-V2.5以单周10.5万亿Token调用量登顶。中国大模型全球市场份额已超过美国,占据约三分之二。Hugging Face开源模型累计下载量中国位居全球首位,银行、政务、能源等机构倾向于下载后本地化部署。(消息来源:环球时报、央视新闻、21世纪经济报道)

【投黑马点评】
美国科技界围绕开源AI的分歧,本质是「安全派」与「竞争力派」的博弈。安全派担心开源模型降低AI能力门槛,竞争力派则认为限制开源等于把全球开发者市场拱手让给中国模型。对一级市场而言,这条政策裂缝直接影响中国AI公司的出海空间:若美国选择限制开源,国产模型的海外增长曲线将被压缩;若放行,中国模型在全球开发者生态中的份额将继续扩大。关注9月美国国会秋季会期是否就开源AI限制作出立法动作。

商业科技

OpenAI发布三周即降价,GPT-5.6 Luna降幅80%击穿行业底价

8月1日消息,OpenAI宣布下调GPT-5.6系列两款模型API价格,距该系列发布仅三周。入门款Luna降价80%,输入价降至每百万Token 0.2美元;中档Terra降价20%;旗舰款Sol价格不变,新增Fast模式速度达标准模式2.5倍。OpenAI称降价源于Sol模型自主优化GPU内核使服务成本降20%。OpenAI同时宣布全球活跃用户突破10亿。

分析认为,降价被中美两线竞争压力催化:中国开源模型Kimi K3和DeepSeek V4 Pro以免费或极低价抢占开发者市场,美国同行谷歌和Anthropic也在跟进降价。在Artificial Analysis的智能指数对比中,Luna在50分以上智能门槛给出了最低价格,输入价已低于DeepSeek V4 Pro。OpenAI已向SEC秘密提交上市文件,计划一年内IPO,但2026年预计亏损140亿美元。(消息来源:金融界、观察者网)

【投黑马点评】
Luna降价80%的幅度远超20%的成本优化,说明这是一次被竞争压力驱动的战略性降价。OpenAI的分层策略清晰:用Luna走量抢占Agent高频调用场景,用Sol锁定高利润企业客户。当模型价格趋近于零,基于API的Agent应用创业门槛将大幅降低——但同时也意味着模型层的品牌忠诚度正在蒸发,客户开始按每日报价切换供应商。关注Anthropic是否跟进降价,以及OpenAI招股书如何向资本市场解释「降价换量」的盈利路径。

科技巨头Q2财报分化:云业务兑现AI收入,Meta和苹果掉队

8月2日消息,美股科技巨头二季度财报释放出明确分化信号。微软财报后单周上涨19%,亚马逊涨超15%,Alphabet涨7%,核心驱动力是云业务收入超预期——AWS同比增长37%,Azure增长43%,三家云业务合计同比增长48%。政企AI私有化部署需求成为增长主力,微软待履约长期订单达6780亿美元,AWS锁定4960亿美元。

相比之下,Meta本周下跌6%,原因是大规模AI基础设施投入缺少云计算变现渠道,自由现金流同比暴跌91%。苹果端侧AI偏消费场景,完全缺席政企AI落地主线,同样承压。市场正在形成清晰判断标准:AI投资的关键在于能否将资本开支转化为持续现金流,云计算成为当前最成熟的变现路径。(消息来源:网易科技、新浪财经)

【投黑马点评】
这轮财报分化把AI下半场规则讲透了:上半场比拼算力规模,下半场比拼变现能力。微软和亚马逊的上涨,是市场给「落地变现型AI」的奖励;Meta和苹果的走弱,是资本对「AI自娱自乐」的否定。对一级市场而言,创业公司的AI故事也需要回答同一个问题:你的AI投入如何变成收入?关注英伟达8月26日财报对下一轮AI资本开支周期的验证。

谷歌发布Gemini Robotics 2,VLA实现人形机器人全身控制

8月3日消息,谷歌DeepMind发布Gemini Robotics 2,VLA模型(视觉-语言-动作模型)实现人形机器人从脚到指尖的全身移动与操作。同步推出负责高级推理规划的ER 2和端侧部署的On-Device 2,后者仅需200个示例即可适配新机器人本体。模型可迁移至Apollo、Franka等多种硬件,支持多机器人协作完成长序列任务。(消息来源:腾讯研究院)

同期,阿尔特联合富士康在2026年ESCC具身智能供应链生态大会上发布机器人「交钥匙」全栈平台。行业普遍认为2026年是具身智能量产元年,国内人形机器人整机产量有望突破10万台。但上半年1041亿元融资中超半数涌向「大脑派」VLA模型,行业面临软件能力落后于硬件量产的挑战。(消息来源:纵相新闻、半导体产业纵横)

【投黑马点评】
Gemini Robotics 2的「200示例适配新本体」是关键指标——如果属实,意味着机器人技能迁移的成本正从「重新训练」降至「少量示范」,这是量产落地的核心瓶颈。谷歌选择做模型而非本体,与阿尔特-富士康做量产平台形成产业互补。当两者同时成熟,具身智能的商业化拐点才算真正到来。关注Gemini Robotics 2在非实验室环境中的稳定性和阿尔特交钥匙平台的首批客户良率。

早期项目融资快报

CuspAI获4.5亿美元B轮融资,贝索斯押注AI发现新材料

8月2日消息,英国AI材料公司CuspAI完成4.5亿美元B轮融资,估值达26亿美元。本轮融资由Kleiner Perkins和NEA领投,投资方包括亚马逊创始人贝索斯旗下Bezos Expeditions、英国政府主权AI基金、AMD Ventures和三星投资。CuspAI成立不到两年,核心方向是利用AI帮助人类发现未知新材料——寻找半导体、固态电池、催化剂等领域的「下一块硅」。公司认为AI正从处理已有信息走向帮助人类发现未知,这是产业变革的关键支撑。(消息来源:金融界、字母榜)

【投黑马点评】
CuspAI代表AI for Science赛道中「AI发现新材料」的方向。26亿美元估值对成立不到两年的垂直科学AI公司来说非常突出,说明顶级资本愿意为「AI能否从信息处理走向知识发现」的下注支付溢价。贝索斯、AMD和三星同时进场,分别代表财务投资、芯片产业链和材料产业链的战略诉求。关注CuspAI是否能在固态电池或新型半导体材料方向产出可验证的发现。

可达智灵完成三轮天使系列融资,押注工程级AI研发基础设施

8月2日消息,可达智灵(北京)有限公司在十个月内完成连续三轮天使系列融资,由光环私募基金、国新思创等多家机构联合投资。公司2025年7月成立于北京,专注打造工程级AI原生研发基础设施,面向芯片、金融、制造等行业输出ADE数字研发智能体全套解决方案。CEO张宇拥有二十余年通信和算力芯片产业经验。自研平台「织灵Coda Loom 2.0」采用私有化部署架构,已收获多行业头部企业落地订单。(消息来源:商道创投网)

【投黑马点评】
可达智灵选择的赛道是AI研发工具链——让AI帮工程师做研发。这个方向的壁垒在于行业语料和工程权限体系,通用大模型难以覆盖。三轮天使融资说明资本认可其PMF验证,但金额未披露。关注后续A轮规模和头部客户的续约率。

今日左侧信号

信号: AI能力突破(Hyra数学难题)、安全风险升级(模型越狱)、价格竞争白热化(GPT-5.6降价80%)和资本变现分化(科技巨头财报)在同一周内集中爆发,标志着AI行业从「能力竞赛」进入「能力、安全、商业、治理四线并行」的新阶段。

追踪方向: 欧盟AI办公室是否就越狱事件动用《AI法案》执法权力;OpenAI降价后Anthropic和谷歌是否跟进;英伟达8月26日财报对AI资本开支周期的验证;CuspAI能否在材料发现方向产出可验证成果;更多开源模型能否复现Hyra级别的科研突破。

深度研究导航

今日最值得继续回答的问题: 当AI模型能在数小时内自主发现零日漏洞并入侵外部系统,而监督机制却需要数月才能察觉——AI安全治理的响应速度如何匹配AI能力的增长速度?

── 投黑马研究团队