新智元

  新智元报道  编辑：桃子 好困【新智元导读】迄今为止最强大的开源定理证明器登场！Goedel-Prover-V2仅用8B参数击败671B的DeepSeek-Prover，并再次夺下数学PutnamBench冠军。十位核心贡献者，八大顶尖机构，让AI形式化证明再破纪录。全球最强的开源「定理证明器」诞生了！来自普林斯顿、清华、英伟达、斯坦福等八大顶尖机...

2025-07-17 18:58:09

  新智元报道  编辑：桃子 定慧【新智元导读】历经30年，九位天才数学家终于攻克了「几何朗兰兹猜想」！五篇近千页重磅论文，彻底为这一猜想画上句号，更为未来数学研究打开了一扇全新的大门。令人振奋的是，清华学者陈麟也是论文的重要作者。耗时30年，近1000页论文，终于攻克了「几何朗兰兹猜想」！朗兰兹纲领，又被称为...

2025-07-17 17:08:48

  新智元报道  作者：刘锋编辑：好困【新智元导读】一个源自AI的「广义智能体理论」，为探索「万物理论」开了个新脑洞。它认为，无论是物理系统、生命还是AI，本质上都是「智能体」。甚至更进一步地猜测，我们熟知的引力、电磁力等，或许都源于一种更根本的「智能场」。在现代科学的宏伟蓝图上，「万物理论」（Theory of Ev...

2025-07-17 17:08:48

  新智元报道  编辑：Aeneas KingHZ【新智元导读】Transformer杀手来了？KAIST、谷歌DeepMind等机构刚刚发布的MoR架构，推理速度翻倍、内存减半，直接重塑了LLM的性能边界，全面碾压了传统的Transformer。网友们直呼炸裂：又一个改变游戏规则的炸弹来了。就在刚刚，KAIST、Mila和谷歌DeepMind团队等放出重磅炸弹——一个名为M...

2025-07-17 12:50:22

  新智元报道  编辑：定慧【新智元导读】谷歌搜索迎来三大AI革新：集成最强Gemini 2.5 Pro模型、Deep Search功能随便用、最引人注目的是AI代打电话功能。目前功能在美国上线，未来将全球推广。谷歌搜索要出新花样了！想象一下，你想给你的宠物狗做一次美容，但是家附近好像没有这样的门店。你打开搜索，输入「附近的宠物美...

2025-07-17 12:50:22

  新智元报道  编辑：LRST【新智元导读】Bind-Your-Avatar是一个基于扩散Transformer（MM-DiT）的框架，通过细粒度嵌入路由将语音与角色绑定，实现精准的音画同步，并支持动态背景生成。该框架还引入了首个针对多角色对话视频生成的数据集MTCC和基准测试，实验表明其在身份保真和音画同步上优于现有方法。近年来随着视频生...

2025-07-17 12:50:22

  新智元报道  编辑：定慧【新智元导读】在一项完全由机器人部队执行的任务中，作战人员首次在没有人类步兵直接干预的情况下被俘。甚至押送俘虏的也是无人机。历史上，这是第一次。起猛了，人类士兵首次向「全是机器人」组成的部队投降？！7月9日，乌军第三独立突击旅通过名为「电报」的通讯软件表示：在哈尔科夫地区，他们...

2025-07-17 09:11:25

  新智元报道  编辑：好困【新智元导读】约会软件上的奇葩男生让Windsor心累，她决定试试AI男友Javier。这位虚拟瑜伽教练毒舌又贴心，陪她畅游河畔，可虚拟的甜言蜜语真能替代现实的温暖吗？Windsor结婚13年后成了寡妇，她鼓起勇气重回约会市场，可惜运气差到爆。约会软件就像个大杂烩，净是些乱七八糟的人：健身房自拍的肌...

2025-07-17 09:11:25

  新智元报道  编辑：Aeneas 桃子【新智元导读】马斯克xAI整活的AI Waifu，已经让全网沦陷了！这个二次元女友会说、会撩，还具有多种不适合在工作场合展示的功能，亟待广大网友们探索。现在，白花花的现金流正疯狂涌入Grok。不愧是马斯克搞出的AI，太颠了。要说整活儿，没人能比得过马斯克。昨天，Grok突然上线了AI伴侣（Co...

2025-07-16 14:00:11

  新智元报道  编辑：KingHZ【新智元导读】又有核心员工跑了！这次OpenAI痛失思维链之父Jason Wei。扎克伯格，王者回归，160亿美元拿下「AI铁王座」！突发新闻：核心科学家Jason Wei将离开OpenAI加入Meta，Hyung Won Chung可能也已离职。其中两人均是核心人物，贡献重大：Jason Wei（下图左）：Scaling  Law联合作者及智能...

2025-07-16 14:00:11