近日，由普林斯顿大学牵头，联合清华大学、北京大学、上海交通大学、斯坦福大学，以及英伟达、亚马逊、Meta FAIR 等多家顶尖机构的研究者共同推出了新一代开源数学定理证明模型——Goedel-Prover-V2。
苹果向英伟达生态妥协了！
最近，AI霸主英伟达市值突破了4万亿美元，成为全球最重要的股票之一。同样，黄仁勋造就了一个财富奇迹，从不善言辞的工程师，到财富超越巴菲特老爷子。
英伟达CEO黄仁勋再访北京，盛赞华为是「非常优秀」的竞争对手，并认为「DeepSeek、Qwen、Kimi都很优秀」。
老黄来华，诚意和动作都有了，但英伟达在“禁令”后丢失的蛋糕，已迅速被国产芯片公司瓜分。
这不，英伟达投资的Perplexity就推出了自己的AI浏览器——Comet，号称专为当今互联网打造。这家AI搜索起家的独角兽，又要挑战谷歌另一个垄断领域了。而且不止它盯上了这块蛋糕，据路透社爆料，OpenAI也将在未来几周内发布一款AI浏览器。
刷到1分钟AI短视频别只顾着点赞，背后的算力成本让人惊叹。MIT和英伟达等提出的径向注意力技术让长视频生成成本暴降4.4倍，速度飙升3.7倍，AI视频的未来已来！
又一家95后华人AI初创，被老黄收购！仅四亿美金的收购金额，就把员工全部打包带回英伟达
2025年，AI界风云激荡，DeepSeek-R1横空出世、英伟达市值称霸全球、谷歌AlphaEvolve打破数学神话，中国Qwen3登顶开源王座……智能爆炸的奇点已悄然降临！新智元十周年之际，2025 AI Era & ASI创新大奖报名正式启动，致敬重塑世界的AI先锋！
谁曾想，AI竟能实时生成GTA级大作。刚刚，谷歌、英伟达等机构联手，震撼发布全球首款AI原生UGC游戏引擎——Mirage，没有预设关卡，一句话即生游戏，超长十分钟沉浸式体验
