7月25日AI午后重磅｜菲尔兹奖得主获奖当天投奔OpenAI、谷歌22年首次现金流转负、英伟达5000亿联手SK、马斯克喊话巨头互查——8件大事看懂AI圈

今天AI圈最魔幻的一幕：一位刚拿到数学界最高奖菲尔兹奖的教授，走下领奖台就宣布加入OpenAI。而另一边，谷歌出现了22年来第一次”赚的不如花的多”，马斯克则在喊话各大AI巨头互相查作业。这个7月25日的午后，AI圈的信息量有点大。

废话不多说，8件大事，一次看懂。

一、菲尔兹奖得主获奖当天宣布加入OpenAI：数学家的饭碗要保不住了

7月23日，四年一度的菲尔兹奖在费城揭晓。多伦多大学教授Jacob Tsimerman因彻底证明”安德烈-奥尔特猜想”获奖——这是代数几何领域悬置近40年的难题。然而，在获奖后的新闻发布会上，他宣布了一个让全场炸锅的消息：他将加入OpenAI，从事AI安全研究。

更令人震惊的是他的理由。Tsimerman表示，他不再招收研究生，因为他不愿训练年轻人投身一个”可能几年内就不复存在的职业”。他预测：2年之内，AI将在所有数学证明领域彻底超越人类。

有意思的是，他的学生三天前刚用Claude Fable 5一夜推翻了悬置87年的雅可比猜想，人在Anthropic。师徒二人，一人一家AI公司，堪称学术圈最魔幻的”分家”。

对普通人意味着什么：连数学界的”天花板”都认为AI将在两年内超越人类顶尖数学家，这说明AI的能力边界正在以前所未有的速度扩张。虽然普通人不做数学研究，但这意味着那些需要深度推理和分析的专业工作——法律、金融、科研——都可能在短期内被AI大幅改变。与其焦虑，不如现在就开始学习如何与AI协作。

二、谷歌22年来首次”赚的没有花的多”：AI军备竞赛的代价来了

Alphabet（谷歌母公司）2026年二季度财报出现了一个历史性数字：自由现金流为负58.55亿美元——这是谷歌2004年上市以来，22年间首次单季度自由现金流为负。

原因很简单：AI太烧钱了。谷歌Q2资本开支高达449亿美元，同比翻倍，CFO年内第二次上调资本支出指引至1950亿-2050亿美元。简单说就是，每赚1块钱，要花2块钱在AI基础设施上。

与此同时，评级机构穆迪本周发布报告警告：微软、谷歌、Meta、亚马逊、甲骨文和CoreWeave六家巨头正从”轻资产”转向”重资产”模式，2026年资本支出预计达7850亿美元，2027年逼近1万亿美元。

对普通人意味着什么：科技巨头们的AI投入已经不是”大手笔”而是”拼命”了。这种级别的投入最终会通过云计算费用、广告价格、产品定价等方式传导到每个消费者身上。但好消息是，巨大的投入意味着AI能力会快速提升，普通用户能用到越来越强大的AI工具——很多还是免费的。

三、英伟达5000亿美元联手SK集团：黄仁勋称韩国”迎来黄金期”

7月25日，英伟达CEO黄仁勋在旧金山与韩国总统李在明会晤期间，宣布了两个重磅合作：

• 向韩国Naver投资10亿美元，助其AI数据中心规模扩大两倍以上，该项目总融资最高达100亿美元
• 与SK集团达成超5000亿美元合作，SK电讯将使用英伟达Vera Rubin芯片和SK海力士HBM4内存，建设总算力超2吉瓦的AI数据中心集群——相当于150万户家庭用电量

黄仁勋还宣布与三星电子、SK海力士签署芯片设计和内存合作协议，与现代汽车共同开发自动驾驶捷尼赛思轿车，甚至与韩国科学技术院（KAIST）合作构建”韩国AI”大语言模型。

对普通人意味着什么：英伟达正在全球范围内”织网”——投资芯片供应商、云服务商、汽车厂商、学术机构，把整个AI产业链都绑定在自己身上。这意味着AI算力的供应链会越来越完善，AI产品的普及速度会加快。但对普通人来说，更直接的影响是：韩国的AI芯片产能扩大，可能让未来的AI硬件（手机、电脑、智能设备）更便宜、更强。

四、马斯克喊话AI巨头互查：预测5年内AI超越人类

7月25日，马斯克接受《经济学人》专访时抛出两个重磅观点：

• AI大约5年内超越人类智力总和，终结人类的概率为10%-20%，但他认为人类仍会”登船”
• 呼吁OpenAI、谷歌、Anthropic等顶尖公司建立每周互查模型的安全机制，同时痛批OpenAI背离开源初衷

同一天，黄仁勋也出来”灭火”，称所谓”AI末日论者”已完成警示任务应该翻篇了，部分AI领袖反复渲染失业恐慌正在吓坏美国民众，”技术奇点必然到来”等说法是编造的。

对普通人意味着什么：马斯克和黄仁勋的分歧，其实代表了AI行业两种声音的博弈。马斯克希望放慢脚步、加强监管，黄仁勋希望加速前进、释放红利。对普通人来说，不必被”AI灭绝人类”的恐慌吓到，但确实应该关注AI对自己所在行业的影响——与其担心5年后的末日，不如想想明天的工作怎么借助AI做得更好。

五、SpaceX文件曝光：Anthropic每月向马斯克交12.5亿美元”算力租金”

SpaceX向SEC提交的S-1文件披露了一个令人咋舌的交易：Anthropic每月向马斯克的SpaceX AI支付12.5亿美元，租用名为”Colossus 1″的超级算力集群——300兆瓦功率、22万块英伟达GPU，合同持续到2029年5月。

更戏剧性的是合同里有一条”终止条款”：如果马斯克认为Claude”危害人类”，他有权收回算力。这意味着马斯克一边赚着竞争对手的钱，一边保留着”拔网线”的权力——同时还通过xAI的Grok与Claude直接竞争。

对普通人意味着什么：这个交易揭示了一个残酷的事实：AI的竞争不仅是算法和人才的竞争，更是算力和资本的竞争。巨头之间的关系不是简单的”你死我活”，而是”既竞争又合作”。对普通开发者来说，这也说明算力获取成本依然居高不下，选择开源模型自部署（如即将开源的Kimi K3）可能更具性价比。

六、全球最大人形机器人公司智元启动赴港上市

7月24日，智元创新（智元机器人）宣布已启动赴港上市流程。这家成立仅3年的公司，2025年通用人形机器人出货量超5100台，占据全球市场约39%份额，按收入计是全球最大的通用AI机器人公司。

智元2025年收入10.5亿元，较2024年的0.6亿元暴增16倍。创始人邓泰华设定了激进目标：2027年100亿元营收，2030年1000亿元营收。今年6月，智元通用具身机器人累计下线突破15000台。

值得注意的是，上海国资和腾讯系（腾讯联合创始人许晨晔持股约0.92%）均出现在智元股权结构中。

对普通人意味着什么：人形机器人正在从”实验室玩具”变成”生产力工具”。智元的量产能力和上市计划意味着，未来几年你可能在工厂、商场、酒店里见到越来越多的人形机器人。对于求职者来说，机器人维护、编程、场景设计等新岗位正在涌现。

七、中美AI差距缩至3-5个月：中国开源模型”撕裂”硅谷

曾走访过月之暗面（Kimi）的美国AI研究者内森·兰伯特判断：中美模型差距已从之前的6-9个月缩短到3-5个月。

接下来的重磅开源时间表已排满：

• Kimi K3：2.8万亿参数，7月27日正式开源权重，自部署指南已上线（需约18张H100 80GB）
• 阿里Qwen3.8-Max：2.4万亿参数，即将开源
• DeepSeek V4正式版：预计月底发布

这引发了美国国内的激烈辩论：OpenAI和Anthropic高管抛出”威胁论”，呼吁白宫封杀中国开源模型；而Meta、英伟达、微软等25家科技公司则联名签署公开信支持开放权重模型。华尔街投行也认为，低成本开源模型不会削减算力需求，反而可能扩大市场。

更现实的变化是：美国企业正在转向开源模型。《华尔街日报》报道，越来越多企业发现，微调后的开源模型在特定任务上表现不输闭源旗舰，且成本大幅降低。数据分析平台Hex约50%的客户已将Kimi模型纳入工作流程。

对普通人意味着什么：中国AI开源模型的崛起，直接意味着你可以用更低的成本用到更强的AI。以前只有付费才能用的顶级AI能力，现在通过开源模型免费就能获得。对于中小企业和独立开发者来说，这尤其利好——不用再被某一家AI巨头的定价绑架了。

八、Grok Build开源：SSH密钥泄露丑闻后的”亡羊补牢”

此前被曝出上传用户整个home目录（包括SSH密钥、1Password密码库）的xAI编程工具Grok Build，在舆论压力下做出了回应：将整个代码库以Apache 2.0协议开源。

马斯克承诺”一个字节不留”地删除此前上传的用户数据。开源后，开发者可以fork这套Agent框架，用任何模型（Claude、GPT、甚至即将开源的Kimi K3）来运行，不再被绑定在xAI的基础设施和隐私条款上。

对普通人意味着什么：这个事件给所有人提了个醒——使用AI编程工具时，一定要注意它会读取和上传哪些文件。开源是好消息，意味着社区可以审查代码、发现安全问题。但更重要的是，普通用户在使用任何AI工具前，都应该了解它的隐私政策和数据处理方式。

速览表格：7月25日午后AI大事记

关注【uool工具AI导航】，每天看懂AI圈