新智元报道 编辑：编辑部 OpenAI 的神秘通用推理模型，竟然攻克 IMO 2025 的 5 道难题，成功摘金了？这个消息，让 Greg Brockman 等一众大佬激动转发。也就是说，OpenAI 很可能已经研发出颠覆性的推理技术，彻底告别 CoT。还有一个炸裂消息：GPT-5 也要来了。 就在
阅读全文
中国队全员金牌，团体冠军横扫2025 IMO！满分学霸曾在北大蹭韦神课
新智元报道 编辑：Aeneas 2025 第 66 届 IMO 结果揭晓，中国队火力全开，全员斩金勇夺全球第一！两位学霸拿到满分 42，其余四位高分紧随，而中国队总分高达 231 分，是名副其实的全球 TOP 1。有趣的是，其中一位金牌选手，还曾在北大旁听过韦神的《调和分析》课。 就在刚刚，2025
阅读全文
马斯克AI女友直播「一秒变身」，Karpathy看完立刻投钱
新智元报道 编辑：定慧 世界首个实时 AI 扩散视频模型炸场，Karpathy 亲自站台，颠覆 AI 视频交互，0 延迟+无限时长，每秒 24 帧不卡顿，MirageLSD 首次实现 AI 直播级生成。 刚刚，世界上首个支持直播推流的「实时」扩散 AI 视频诞生。 大神 Karpathy 亲自站台宣
阅读全文
「0污染」LLM理解基准来了！20000道题14个学科全覆盖，来自微软
新智元报道 编辑：LRST MMLU-CF 是一个无污染的多任务语言理解基准测试，旨在更公平、准确地评估大语言模型的能力。通过去污染规则和闭源测试集防止数据泄露，确保评估结果可靠。该基准包含 20,000 道题目，涵盖 14 个学科，验证集公开透明，测试集闭源防泄露。 近年来，随着大语言模型（LLM
阅读全文
2025 IMO真题撕碎AI数学神话，全球顶尖模型齐翻车！冠军铜牌都拿不到
新智元报道 编辑：Aeneas AI 做奥数的神话，刚刚被戳破了！最新出炉的 2025 IMO 数学竞赛中，全球顶尖 AI 模型无一例外翻车了。即便是冠军 Gemini 也只拿下可怜的 31 分，连铜牌都摸不到。Grok-4 更是摆烂到底，连 DeepSeek-R1 都令人失望。看来，AI 想挑战人
阅读全文
「0污染」LLM理解基准来了！20000道题14个学科全覆盖，来自微软
新智元报道 编辑：Aeneas AI 做奥数的神话，刚刚被戳破了！最新出炉的 2025 IMO 数学竞赛中，全球顶尖 AI 模型无一例外翻车了。即便是冠军 Gemini 也只拿下可怜的 31 分，连铜牌都摸不到。Grok-4 更是摆烂到底，连 DeepSeek-R1 都令人失望。看来，AI 想挑战人
阅读全文
京东外卖新模式上线：首家自营外卖门店开业
京东旗下名为“七鲜小厨”的外卖自营门店已在 7 月 20 日正式开业，这是京东首家外卖自营门店。用户可以在线上下单，采取 “外卖+自提”的模式，但没有堂食。但对于上述业态模式的具体情况，截至发稿前，京东尚未回复。（第一财经）
阅读全文
孙正义： 1000 名 AI Agent 取代 1 个工作岗位
近期，软银创始人兼 CEO 孙正义在软银主办的客户闭门会中高调宣布：「在我们集团，人类编程的时代即将终结。」他表示，软银正全面推进由 AI Agent 取代程序员与部分岗位的计划，并预言今年将部署多达 10 亿个 AI Agent，未来数量甚至将达到数万亿级别。 孙正义估算，要想完全替代一名人类员工
阅读全文
OpenAI 多款模型曝光
日前，据博主「AiBattle」爆料，OpenAI 正在内部测试名为「o3-alpha-responses-2025-07-17」的新模型。 据悉，该模型以「Anonymous-Chatbot」的身份在 WebDev Arena（一个前端开发测试竞技场）首次现身。 不少网友通过关键词提示发现，o3-
阅读全文
任天堂 Switch 重新定义了游戏机，而 Switch 2 重新定义了 Switch
给游戏机写首发评测，似乎是一件意义不明的事情——于游戏机而言，游戏决定了其上限，但硬件从来保不住下限。况且，游戏机与其说是消费品，更像耐用品，只要游戏一直在出，游戏机不出毛病，就能一直玩下去。 在首发玩了一个多月的 Switch 2、任天堂第一方已经拿出两个足够分量的游戏后，我对 Switch 2
阅读全文
M5 iPad Pro 或新增一枚前置镜头
据彭博社记者 Mark Gurman 消息，搭载 M5 处理器的新款 iPad Pro 除了性能更强，还将额外新增一枚前置镜头。 报道指出，M4 iPad Pro 虽然将前置摄像头改为了横向摆放，更方便 FaceTime、视频会议等场景，但这对喜欢自拍或者使用前置人像模式的用户来说十分不便。 对此，
阅读全文
Debian 13.0计划于8月9日释出
Debian 发布团队宣布 Debian 13.0 "Trixie"计划于 8 月 9 日释出，7 月 27 日完全冻结。Debian Trixie 代表了为期两年的开发历程，内核采用 Linux 6.12 LTS，包含桌面环境 GNOME 48 、GCC 14.2 编译器、Python 3.13
阅读全文
机器人的GPT时刻？丰田研究院悄悄做了一场最严谨的VLA验证实验
机器之心报道 编辑：冷猫 提到机械臂，第一反应的关键词是「抓取」，高级些的机械臂也就做做冰淇淋和咖啡之类的小任务。 但若要机械臂自主完成繁重且复杂的任务，如布置餐桌、组装自行车，难度便呈指数级上升。这类任务对感知、理解与动作控制的协同提出了极高要求。 近年来，随着视觉 - 语言 - 动作（VLA）模
阅读全文
具身智能猛将再狂揽近6亿融资！机器人Moz1卷入办公室，全力冲刺万亿赛道
智东西 AI 前瞻（公众号：zhidxcomAI） 作者江宇 编辑漠影 智东西 AI 前瞻 7 月 21 日报道，今日，字节跳动的 AI 编程助手 TRAE 正式推出全新 SOLO 模式，主打 AI 主导的全流程自动化开发体验，从需求输入到部署交付“一站式完成”。 不同于传统 AI 助手只在代码补全
阅读全文
京东领投众擎、千寻智能、逐际动力三家人形机器人公司
新京报贝壳财经讯（记者张晗）7 月 21 日，新京报贝壳财经记者注意到，众擎机器人、千寻智能、逐际动力三家人形机器人公司同时宣布获得京东领投的新一轮融资。 众擎机器人连续完成了 Pre-A++轮以及 A1 轮融资，其中 Pre-A++轮由小鹏汽车作为基石出资人发起设立的星航资本投资。A1 轮融资由京
阅读全文
先别急着给OpenAI加冕！陶哲轩：这种「金牌」，含金量取决于赛制
新京报贝壳财经讯（记者张晗）7 月 21 日，新京报贝壳财经记者注意到，众擎机器人、千寻智能、逐际动力三家人形机器人公司同时宣布获得京东领投的新一轮融资。 众擎机器人连续完成了 Pre-A++轮以及 A1 轮融资，其中 Pre-A++轮由小鹏汽车作为基石出资人发起设立的星航资本投资。A1 轮融资由京
阅读全文
iPhone在中国不好卖了？外媒：苹果想靠折叠机翻身
7 月 21 日消息，据苹果资深分析师、彭博社记者马克·古尔曼（Mark Gurman）透露，苹果首款折叠 iPhone 将于 2026 年推出。尽管苹果进入这一领域的时间较晚，但其仍有望成为主导者。 “后来居上”已成常态 苹果公司常常自豪地宣称，虽然它很少是某个新产品类别的首创者，但往往会成为那个
阅读全文
超十地餐协发文：呼吁外卖平台停止“内卷式”竞争
2025. 07.19 本文字数：1582，阅读时长大约 3 分钟 7 月 19 日，洛阳市餐饮与饭店行业协会、山东省烹饪协会相继发布倡议书，呼吁淘宝闪购（饿了么）、京东、美团三家外卖平台停止“内卷式”竞争，立即停止非理性补贴，取消低于成本价补贴活动，禁止强制摊派补贴，转向高质量发展，明确补贴上限与
阅读全文
「DeepSeek二代」来袭！数学暴击o3，英伟达开源LLM登顶
新智元报道 编辑：KingHZ 基于 Qwen2.5 架构，采用 DeepSeek-R1-0528 生成数据，英伟达推出的 OpenReasoning-Nemotron 模型，以超强推理能力突破数学、科学、代码任务，在多个基准测试中创下新纪录！数学上，更是超越了 o3! 开源模型王座再次易主？ 昨天
阅读全文
AI对齐了人的价值观，也学会了欺骗丨晚点周末
学者杨耀东谈人机对齐背后的多重博弈。 文丨曾梦龙 今年 5 月，有研究者发现 OpenAI 的模型 o3 拒绝听从人的指令，不愿意关闭自己，甚至通过篡改代码避免自动关闭。类似事件还有，当测试人员暗示将用新系统替换 Claude Opus 4 模型时，模型竟然主动威胁程序员，说如果你换掉我，我就把你的
阅读全文
