-
无需外部数据!AI自问自答实现推理能力进化
AI通过自问自答就能提升推理能力?!这正是卡内基梅隆大学团队提出的新框架SQLM——一种无需外部数据的自我提问模型。该框架包含提问者(proposer)和解答者(solver)两个角色,提问者生成与给定主题相关的问题,解答者旨在解决问题。网友们神评,“简直是带有RL的GAN”。值得一提的是,此团队中又双叒叕现华人身影~通过强化学习最大化期望奖励当前大语言模型的训练很大程度上仍依赖人工整理数据集,堪…... -
哇塞,今天北京被机器人人人人人塞满了!
热闹,简直太热闹了。只因一群机器人“聚集”在了北京,就让现场直接变成人人人人人了:这就是今天刚开幕的世界机器人大会(WRC)的热度,据说今年来了100多个新机器人!人气爆棚,人气爆棚。而在令人目不暇接的机器人展中,我们发现有一个展台围观的观众格外之多,现场是这样的:在挤进人群后我们看到,嚯~好家伙,原来是一个人形机器人正在打架子鼓呢!配乐也是很应景,是《北京欢迎你》:可以看到,这个机器人节奏打得还…... -
银河通用WRC首发英伟达Thor,银河太空舱世界首创城市级机器人应用
全球首个城市级常态化运营的人形机器人示范区正式落地北京!来自银河通用的这款「银河太空舱」,标志着具身智能技术真正走入到了市民的生活当中。一进世界机器人大会会场,银河通用具身大模型机器人Galbot正在为现场观众提供智能零售服务。记者现场了解到,Galbot依托端到端具身大模型GroceryVLA,实现了无需遥控和场景数据预采集的精准商品识别与取送。无论包装形态如何变化,机器人均能稳定高效作业,彰显…... -
造不如买?特斯拉倒向英伟达/AMD,马斯克Dojo梦碎,核心团队全跑了
特斯拉Dojo超级计算机团队被解散!特斯拉自动驾驶的「算力心脏」Dojo已被终止。马斯克放弃训练算力,而核心团队另立山头。刚刚,据多家外媒爆料,马斯克已经下令解散特斯拉Dojo超级计算机团队。团队负责人Peter Bannon即将离职,约20名核心成员已跳槽到Density AI(该公司由Dojo、特斯拉前任员工创建),剩余成员被重新分配至特斯拉其他项目。消息有些突然:多年来Dojo一直是马斯克心…... -
1600万美元押注传统行业AI化,这家公司发现了被硅谷忽视的万亿市场
你有没有注意到一个有趣的现象:AI创业公司都在争相讨好硅谷的开发者和技术人员,但真正被AI革命遗忘的,恰恰是那些每天被PDF、邮件和表格淹没的传统行业从业者?就在大家都在追逐最新AI模型和开发工具时,一家名为Heron的公司选择了一条完全不同的道路:他们要把AI革命从硅谷带到美国的传统企业中去。7月15日,Heron宣布完成了1600万美元的A轮融资,由Insight Partners领投,Y C…... -
亏到发疯!AI编程独角兽年入2亿8,结果用户越多亏得越狠
一个个赚飞的AI编程公司其实已经亏爆了!TechCrunch的最新调查带来了这个反常识的冷思考。这一思考源自这样一个疑问:为啥Windsurf半年估值翻倍,年入4000万美元,估值高达30亿,还要急着卖?风头正劲却急着脱身,怎么看都觉得——必有蹊跷?看起来赚疯了,实际上亏惨了先看一组数据(来自SaaStr):Windsurf:ARR (年经常性收入)4000 万美元,半年估值翻倍,差点被OpenA…... -
挤不动的世界机器人大会上,自变量秀出了真·通用具身智能
会整理家务、制作香囊,还能比心比耶。具身智能已经进化到这种程度了,真实满足用户需求似乎指日可待。今天上午,2025 世界机器人大会 WRC 正式开幕。最近的 AI 技术突破,让参展的公司纷纷拿出了新技术,人头攒动的展台之间,我们看到了一众「具身智能」加持的机器人,其中很多还是首次发布。它们从整理家务、工业物流、制造装配到跳舞表演可谓无所不能,形态也各式各样,颇有些前不久大模型「百模大战」的样子。不…... -
速递|Meta的AI音频竞赛再落子,双月连购PlayAI+WaveForms,补全AI情感语音拼图
图片来源:WaveForms AI据知情人士透露,Meta Platforms 已收购专注于人工智能情感识别与音频模拟的小型初创公司 WaveForms AI。此次收购正值 Meta 持续调整其人工智能战略之际。今年早些时候遭遇挫折后,这家社交媒体巨头于 6 月聘请 Scale AI 首席执行官亚历山德·王担任首席人工智能官,并同意向该数据标注公司投资 143 亿美元。Meta 还招募了前 Git…... -
Z Potentials|专访 AutoGame 创始团队:前和平精英AI策划定义沙盒新范式,首月0推广登上steam新游榜
AutoGame 创始人张昊阳从腾讯制作人转型为 AI 沙盒游戏创业者,其团队打造的 AI 游戏《麦琪的花园》以零推广在 Steam 首发登上新品榜 Top50,并在一个月内积累超过 5000 愿望单。它让普通人也能“一句话生成 NPC、任务与副本”,通过 AI 驱动的 UGC 系统,让内容创作从金字塔走向“十字型”,成为 Z 世代表达与社交的新方式。 该游戏基于自研 HTN+大模型架构实现 AI…... -
单机狂飙4万亿参数,国产AI「四大天王」首次合体!这台超节点鲨疯了
单机驾驭4万亿参数,国产开源AI四大天王推理快到炸裂!这背后不是算力堆叠的肌肉秀,而是「元脑SD200」超节点AI终极杀器。超大显存、超高速互联域、超强算力,还支持64路本土GPU,全面可商用。国产「四大开源天王」,同时在单机上跑起来了!DeepSeek+Qwen+Kimi+GLM,超万亿参数的模型,竟毫无一丝压力地神速输出。你可能会问:一次性运行如此巨量的参数模型,靠的是什么?答案并不是简单地堆…... -
OpenAI o3封王,4比0横扫马斯克Grok 4!全球大模型对抗赛完美收官
决赛前,它是沉默、精准、不可一世的冠军候选;决赛后,它成了连续送子、失误连连的背景板。Grok 4经历了从神坛到谷底的戏剧性一天,它的轰然倒塌,也成就了o3的不败王者神话。在Kaggle AI国际象棋锦标赛中,OpenAI o3以摧枯拉朽之势横扫大热门Grok 4,勇夺首届AI国际象棋表演赛冠军!这不仅是一场代码与算法的较量,更被视为科技巨头OpenAI与xAI之间的一场「代理人战争」。稍早的季军…... -
GPT-5 口碑崩塌,OpenAI 和奥特曼连夜回应一切:4o 将回归,紧急推补救措施
GPT-5 上线之后,吐槽声一片。眼看舆论越来越不对劲,今天凌晨 OpenAI CEO 山姆·奥特曼(Sam Altman)紧急出来救火,发长文回应各种吐槽。GPT-4o 终于要回来了。奥特曼表示低估了用户对 GPT-4o 的喜爱程度,考虑到每个人的喜好不同,未来将提供更多定制化选项,同时提供健康的使用体验。在过去 24 小时里, ChatGPT API 流量几乎翻了一番,OpenAI 团队目前正…... -
一个半月高强度 Claude Code :Vibe coding 是一种全新的思维模式
王巍,圈内人称「喵神」,objc 中国项目发起人。曾开源广受开发者喜爱的 Xcode 插件 VVDocumenter。作为一名资深开发者,王巍通过这篇文章记录了他在持续使用 Claude Code 的实际感受以及使用编码 AI 工具的一些经验。文中有一些反直觉且很有意思的实际感受,比如,「如果你真的想进入深度的 vibe coding 状态,让 AI 发挥最大潜力,这种随时准备接管的心态反而会成为…... -
本科必学Dijkstra算法被超越!清华段然团队打破图灵奖得主证明的普遍最优性
本科经典算法Dijkstra,被清华团队超越了!这个被用来解决最短路径问题的经典算法,去年才被图灵奖得主Tarjan团队证明具有普遍最优性。但现在,来自清华的段然团队将这一格局彻底打破——运行速度比任何Dijkstra及其改进算法都快,关键是它彻底解决了困扰研究人员四十多年来的“排序障碍”。因为它压根就不进行排序。该算法改进了图灵奖得主Tarjan提出的O(m + nlogn)算法,后者在1984…... -
医疗界Google,估值35亿美元
这位AI创始人靠打造医生专用的“ChatGPT”成为亿万富豪丹尼尔·纳德勒(Daniel Nadler)创办了OpenEvidence,帮医生们从海量医学研究中理出头绪。如今,他已筹得2.1亿美元资金,公司估值达35亿美元。图片来源:Mauricio Candela for Forbes原文标题:《这位AI创始人靠打造医生专用的“ChatGPT”成为亿万富豪》对医生而言,要想紧跟最新医学突破的脚步…...