AI前沿速递 · 2026年08月02日
OpenAI Astra解决10个未解数学问题宣告AI进入原始研究时代；亚马逊500亿美元全额投资OpenAI获5%股权；谷歌地球AI生图功能上线不到24小时即下架
本期看点：OpenAI以”解决十个未解数学问题”的方式发布下一代模型Astra，AI从做题跨入做研究；亚马逊提前兑现500亿美元全额投资，OpenAI估值8520亿；谷歌地球AI生图功能不到一天即因滥用下架，AI安全护栏再次失守。
OpenAI Astra 解决十个未解数学问题，以可验证发现而非跑分发布下一代模型
事件概述： 8月1日，OpenAI研究员Noam Brown宣布，内部版本的下一代模型家族 Astra 解决了数学与理论计算机科学领域十个长期未解的开放问题，涵盖高维球堆叠、群论（非sofic群存在性证明）、算术电路复杂度、量子博弈并行重复、格密码学等八个子领域。所有证明均附带机器可验证的Lean 4形式化证书，已在GitHub公开。菲尔兹奖得主Timothy Gowers表示愿意将其中一篇证明推荐给顶级期刊《Annals of Mathematics》。总计算成本约2000美元（按Sol API费率估算）。
为什么值得关注： 这是AI首次以可验证的方式批量解决真正的开放研究问题——不是跑分、不是闭卷考试，而是人类数学家几十年未攻克的难题。Lean形式化验证意味着”证明要么成立要么不成立”，无法靠营销话术掩饰。$2000的成本更是颠覆性信号：困扰人类数十年的问题，计算成本已降至一台好笔记本电脑的价格。OpenAI选择用数学发现而非基准分数来”首发”Astra，本身也是一次精心策划——在基准分饱和的时代，可验证的原始发现是更难质疑的能力声明。
相关链接：
亚马逊提前兑现500亿美元全额投资OpenAI，获约5%股权
事件概述： 据《金融时报》8月1日报道，亚马逊已完成对OpenAI总额500亿美元的全额投资，当前持股约5%，成为OpenAI最重要的外部股东之一。投资分两阶段：2月首笔150亿美元，剩余350亿美元原定需OpenAI完成IPO或重大技术突破后兑付，但两项里程碑均未达成，亚马逊仍选择提前履约。关键前提是4月OpenAI与微软重新谈判云服务合同，打破了Azure的独家算力供应地位，允许AWS正式为OpenAI提供服务。同日，亚马逊Q2财报显示AWS收入同比增长36.7%，AI收入年化运行率超250亿美元。
为什么值得关注： 500亿美元是AI行业史上最大单笔投资之一，而亚马逊在里程碑未达成时提前全额支付，释放了强烈信号——它赌的是OpenAI的长期价值而非短期指标。对OpenAI而言，这笔资金为2027年IPO提供了充足弹药，也标志着其从”微软独占”走向”多云部署”的战略转折。但值得警惕的是，亚马逊同时持有Anthropic高达330亿美元的承诺投资，“双面下注”策略意味着云计算巨头正在从AI的旁观者变为棋手——Trainium芯片的渗透才是真正的战略目标。
相关链接：
谷歌地球AI生图功能上线不到24小时即下架——虚假卫星图像安全护栏失守
事件概述： 7月30日，谷歌为Google Earth上线了基于Nano Banana 2图像模型的AI生图功能，用户输入文字指令即可修改卫星影像。上线数小时内，AI研究员Henk van Ess即演示了生成美墨边境难民营、伊朗核电站、阿姆斯特丹致命车祸等几可乱真的虚假卫星图像。Bellingcat创始人Eliot Higgins也展示了在白宫上空生成特朗普金色雕像的伪造图像。7月31日，谷歌紧急下架该功能，声明称”在建立更严格的安全防护措施期间”撤回。谷歌强调所有AI生成图像均带SynthID水印，且未进入公众可见的Google Earth主地图。
为什么值得关注： Google Earth二十年来是OSINT（开源情报）和新闻核查的”真相参考源”——当这个参考源本身可以一键伪造，信任体系的地基就被动摇了。这是继Meta Muse Image之后又一起”AI功能上线→滥用→紧急下架”事件，暴露了行业普遍的”先上线后护栏”模式。SynthID水印虽存在但检测限额约10次/天，远不足以应对规模化滥用。更深层的悖论是：AI生图能力越强，越不可能安全地集成到”真相工具”中——这不是工程问题，而是根本性冲突。
相关链接：
OpenAI未达内部增长预期，AI基建股集体大跌
事件概述： 据《华尔街日报》报道，OpenAI近期用户增长和营收两项核心指标未达内部预期。OpenAI CFO萨拉·弗莱尔已向内部警示，若营收增速无法提速，恐难以履约未来算力采购协议。消息传出后，与OpenAI签订五年3000亿美元算力供应合作的甲骨文暴跌超6%，英伟达、博通、AMD跌幅3%–5%，新兴云计算企业CoreWeave大跌7%，OpenAI核心投资方软银暴跌约10%。OpenAI已对报道作出反驳。
为什么值得关注： 这是市场对”AI支出能否持续”这一核心问题的最新压力测试。当全球AI基础设施投资的锚点——OpenAI本身——出现增长放缓信号，整条供应链都在重新定价风险。费城半导体指数较6月高点已回撤超20%，进入技术性熊市。更深层的矛盾在于：GPT-5.6刚刚大幅降价（Luna降80%），而降价本身就是为了换取用量增长——如果降价仍未能拉动营收，问题可能不是价格，而是AI应用层的付费转化率尚未跑通。这不是OpenAI一家的困境，而是整个AI商业化”最后一公里”的集体挑战。
相关链接：