新智元

一度爆红AI独角兽，如今成为了硅谷VC人人唾弃的对象。Windsurf收购案，再次掀起了整个创投圈的热议，创始人跑路，不管员工生死，已成为初创的典型套路。一位VC大佬直言，已拉黑。

历经30年，九位天才数学家终于攻克了「几何朗兰兹猜想」！五篇近千页重磅论文，彻底为这一猜想画上句号，更为未来数学研究打开了一扇全新的大门。令人振奋的是，清华学者陈麟也是论文的重要作者。

迄今为止最强大的开源定理证明器登场！Goedel-Prover-V2仅用8B参数击败671B的DeepSeek-Prover，并再次夺下数学PutnamBench冠军。

ChatGPT agent诞生了！奥特曼深夜带队直播，首个统一智能体无缝融合三大AI，自主思考决策，还能上网直出PPT、Excel。

确定了，H20正式解禁！ 老黄的H20，终于要在中国重新开卖了！ 不仅如此，这次还带来了全新定制的RTX PRO显卡。 明天也就是7月16日，老黄即将出席第三届中国国际供应链促进博览会开幕式。

最近，一款全新的奖励模型「POLAR」横空出世。它开创性地采用了对比学习范式，通过衡量模型回复与参考答案的「距离」来给出精细分数。

Grok 4一夜爆火硅谷，幕后团队功不可没。今天，一张内部作战图在全网疯转，华人学者占比高达80%。清华、上交、浙大等校友云集，还有一位95后联创。

一句话隐藏提示，在 AI 圈闹的动静更大了。网友爆料称，AI 大神谢赛宁团队的一篇论文中，也有操纵 AI 评审的提示。对此，谢赛宁本发长文回应：需要重新思考学术界的游戏规则。」

老黄封神！英伟达市值首破 4 万亿美元，全球第一 刚刚，见证历史！ 英伟达，一举成为全球首个突破 4 万亿美元市值的公司！ 4 万亿美元是什么概念？