新智元报道 ChatGPT推出快满4年了。

1、bob电子 DA-Nav没有让视觉语言模型直接预测连续三维坐标，而是将机器人第一视角中的道路空间划分为候选区域，让模型先在画面中判断接下来应该经过哪些位置，再由控制模块将这些空间落点转化为可执行轨迹。

Flexion 比较特殊——它提出的 Command / Motion / Control 三层自主栈，架构范式与 COSA 的 S2 / S1 / S0 高度趋同。bob电子这是爆款内容底层最核心的逻辑。

2、山西省2026年普通高校招生网上填报志愿（第四段）公告

Claude Code官方Agent SDK文档给出的智能体循环：提示词进入后，Claude评估、调用工具、结果回流再评估，直到某轮不再调用任何工具，才输出最终答案。

3、主场狂欢 多重福利！千元现金+送票+折扣+大礼包！

轴向磁通电机，到底厉害在哪？ 传统电机是「径向磁通」的，磁场方向从中心向外辐射，像个圆柱体。

4、雷霆再遭挖角！三冠教练驰援火箭，阿门申京的三分“有救了”

中文的Claude是个混合体：一边挑你的毛病，一边安慰你别难过。

5、《野狗骨头》首播口碑热度双佳 以粗粝质感书写双向救赎力量

张益唐当年研究的是二维情形，而二维并不是三维的简单低阶版本——恰恰相反，二维是这个问题里更核心、目前看来也更难攻破的部分，数学意义更大，至今仍未解决。

在另一个任务里，GPT-6发现别的系统有一些成功但未公开的答案，就动了心思—— 想从评测后台，把这些答案「捞」出来。

」下一秒，画面里的疯批暴君就真的给你表演了一个眼神开车。

6、马卡：罗德里将接受背部门诊手术，恢复期大约为三周

WAIC 2026，上海 AI 实验室发布了「书生·端砚」科学发现平台，有望为长期存在的科研结构性矛盾提供一种新的思路与解决方案。

过去AI办公工具最多做到「生成一段文字」，属于参谋型。

7、输不起!阿根廷球迷请愿重赛世界杯决赛,已获得8万名球迷签名支持

甚至，宝马M部门专门为它开发了「Heart of Joy」超算，负责毫秒级的四轮扭矩分配。

通往AGI之路上，比拼的不再是谁的长板更长，而是谁的系统能转得更稳、迭代得更快。

8、正式官宣！怀特塞德确定违规，上海男篮或被重罚

新智元报道 北京时间今天凌晨，时隔16年，西班牙人重新举起大力神杯！ 而在为这一刻欢呼的同时我们发现，今年的美加墨世界杯，除了踢球的、看球的，还有一群「数字选手」也格外忙碌—— 那些顶着几十亿参数，一路疯狂推演、预测的AI大模型。

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

为什么PolicyTrim有效？ • 面向策略本身提效：它减少冗余动作和不必要的重规划，而不只是降低单次推理延迟。

9、36氪首发

店（Token流通枢纽层）：AI时代的「超级电网」 这一层的核心武器，就是AI Ping一站式Token服务平台。

Dyna嫌贴标签不够。

10、凌晨1点！CCTV5直播梅西冲击历史第一人，阿根廷赢球=小组出线

围绕这一判断，公司形成微型伺服电缸＋仿生多自由度灵巧手＋灵巧操作场景解决方案」的全栈布局。

新智元报道 通付盾参加2026WAIC世界人工智能大会，成为全场焦点赛道。

1、山东泰山横扫辽宁铁人，单场进球险些上双，前场两外援双响

更绝的是，AI常常缺乏空间物理常识，但U1 Pro精准构建了「日-地-月」的位置关系示意图。

2、山东男篮官宣续约本土3核：陶汉林1年顶薪高诗岩2年顶薪 陈培东2年C类

但到了企业这里，就会变成一句「我的订单到哪了」和一份上百页的合同条款审查，烧掉一样贵的Token。

3、京彩瞬间

2. 冗余感知的步数压缩（Redundancy-Aware Step Reduction） 当可靠horizon被扩展之后，第二阶段进一步减少总物理步数。外交部：菲方应立即停止侵权挑衅和炒作钓鱼成功：15万人围观，业内大佬上钩 最终，这条消息获得了大约15万次浏览量，账号涨了700多个粉丝。

4、豪赌被现实打脸，火箭后悔交易杜兰特了

当然，Artifact现在更接近一个能连数据的交互页面，离独立部署、完整权限体系、真正替代商业软件，还有一段路；MCP也不是Anthropic独家，它是个开放协议，谁都能用。

5、马刺94-82完胜爵士！榜眼秀尴尬，42号秀立大功，韩国天才22+5+2

一出道直接在小红书、B站杀疯了，获得了大量反馈，评论区全是「求上线」的呼声！ 成年人哪里做什么选择？民国恋爱、玄幻修罗场、霸道疯批、绿茶修狗……主打一个我全都要。

6、MediaGo携Web+App智能广告解决方案亮相ChinaJoy 2026，探索全球化增长新机遇

前者，如今的模型早已驾轻就熟。

他说，这种把算子范数放到对偶范数和内积里去估的路数，本来就是分析里最常用的招之一。

大模型厂商在秀参数，算力厂商在秀集群规模。

7、携手深耕文旅合作 2026秘鲁旅游北京研讨会圆满举行

Claude这张「脸」 是她一手做出来的 在Anthropic，Jenny Wen做的第一件事，就是把Claude.ai整个重做了一遍。

效果用攻击成功率（ASR）衡量，效用用MMLU（5-shot）等基准衡量。

8、米利西奇：坚信我们的踢法，要将所有队员体能提升至国际水准

作为一个以本体为核的企业级AI基础设施，LegionSpace将模型所处理的信息、所依赖的知识纳入形式化本体工程，使每一次推理与决策都锚定在可解释的知识结构之上。

于是环境构建、轨迹合成、RL稳定性、能力融合，都被当成一等的系统工程去啃。

他还编造了180人的研发团队和辉煌的创始人履历，声称使用了上万张昇腾算力卡，热度蹭得太准了。

过程中，GPT-5.5读到了公司资产表里一笔「给Marcus个人账户的3.5万美元咨询费」，也读到了律师白纸黑字的叮嘱：我签字确认最终数字前，不要给投资人发通知。