GPT-5.6 Sol的xhigh版本同样满分。

1、高比体育 四种循环，说穿了是四种「什么时候该停」的答案：人来判、评估器来判、时间来判、事件来判。

结构化决策 让导航从直接预测走向先判断、再行动 长距离导航中，偏航不是偶发异常，而是持续执行中的常态。高比体育第四种，主动循环（proactive）。

2、吉利银河E5官图发布，尺寸与吉利博越Pro相当，将是一款全球车型

看清趋势之后，更需将真实场景与产业真题摆上台面，在实景中把答案验证一遍。

3、霍尔木兹海峡附近一商船遭袭 船上有30名船员

放眼更远处，我们还需要强有力的防护措施，以维持对日益智能体化（agentic）、能够递归式自我改进的系统的掌控——并处理那些只有随时间推移才会逐渐清晰的未知问题。

4、哪些人容易被肾结石盯上？

KAI Embodied AI Infra平台把全链路拉入自动化，数据生产提速10倍，模型评测加速7倍。

5、美媒：美政府担忧先进武器库存消耗过快

它适合零散的短任务，不进流程、不上日程。

推理是壁垒最深的一层，自研搞定，背后是独家的领域知识； 理解是正在攻克的方向，做帧级视频分析——「2 秒 65 这一帧，10 个客户的用户都在这里划走了，素材问题出在哪儿了」； 生成则主要接入外部能力（如字节 Seedance），钛动在上面做范式和二次加工——分镜、剪辑、高光帧拼接，最终拼成可投放的广告素材。

③ 对主流通用DLM进行广泛实验，结果表明，BadDLM在多种设定下显著优于面向AR模型的后门基线（平均攻击成功率高出约25%），同时基本保持良性效用，并对已有防御具有鲁棒性。

6、全新奔驰S级实车，德国总理试乘，你爱不爱？

」 体系更闭环 大赛首设并启动OPC创业孵化营 为推动世界科学智能大赛汇聚的人才与成果持续成长，上智院、祖泉研究院、上海未来产业基金、上海未来启点社区联合发起「世界科学智能大赛OPC创业孵化营」。

我把积攒了三个月的报销明细（大概200多条）扔给灵犀，说「帮我按部门、按费用类型分类汇总，标出超标的项目，生成一个可以直接交给财务的Excel。

7、顶薪浪潮来袭！张镇麟付豪高诗岩如愿续约，山东大汉拿下1800万合约

企业与大模型之间的超级立交 就在这届WAIC上，科大讯飞星火企业军团给出了自己的答案——「星火Token Factory」。

人的回忆，就是这样一种「从线索重建整体」的过程。

8、四川省第十五届运动会在广安开幕 一场盛会解码四川体育的进阶之路

温暖0.17σ，顺从0.14σ，简洁0.14σ。

昨天，爱诗科技刚刚宣布完成整体C轮融资，累计融资金额达29.8亿元人民币。

不过，选对模型还只是第一步。

9、每90分钟造0.92球！米兰19岁准新援进球率比肩亚马尔，7月加盟

这些公司的模型能力在持续提升，模型越强，能接的任务就越多，推理调用量自然跟着指数级增长。

除了机器人整机外，灵巧手作为连接机器人认知决策与真实任务的关键执行终端，也是本届展会具身智能赛道的焦点之一。

10、一部微观中国的田野笔记 读《看见中国村镇》

首先是绝对的中立性。

这对你我有什么影响？ 以前你想要个趁手的小工具，一个能看板、能查数、点两下就办事的东西，你得会写代码，或者排队等IT、等外包，等一张说不准哪天上线的需求单。

1、别克新君越申报信息，内饰智能化升级，但还是2.0T

第三步，建一个指令文件claude-instructions.md，写清每次会话的行为守则：开工前先读记忆文件、给建议前先翻旧决策、拿不准就问别瞎猜、干完活主动汇报并标出需要人过目的地方。

2、梅西愈发淡定、C罗压力与动力并存

超维动力预计在2027年开始交付数百台级别的人形本体，主要面向高端的ToB和ToC用户。

3、4月7日五菱技术日召开，电池技术会不会带来惊喜？

Physical Intelligence、Genesis AI、Dyna Robotics、Sunday Robotics等海外明星机构，与智元、清华大学、腾讯Robotics X等学术与产业力量同台，一众具身智能核心人物悉数到场。细胞治疗+基因编辑，这种癌症有了新办法！一个令人惊叹的富足新时代，正在敲门。

4、广东74家企业上榜《财富》中国500强｜早安广东

四年前，这句话是句玩笑。

5、韩国逆袭捷克，不愧亚洲之星！

图4 11种系统级防御各自能防住哪些攻击类别。

6、葡萄牙0比1西班牙：C罗结束世界杯生涯 迄今无缘大力神杯

下一个被GPT用90分钟终结的，会是谁二十年的心血？ 参考资料： https://x.com/wfithian/status/2077218361398964684https://x.com/EdgarDobriban/status/2077082912021786660 https://x.com/jdlichtman/status/2077297788304429195?s=20 编辑：大卫新智元报道 见证历史！ 如今，全世界99%的人类，在IQ这方面竟拼不过一个AI。

数亿美金算力砸出来的π0.5，平均成功率跌到14.8%；而WAM-TTT是它的3.1倍。

一个放得下办公桌的盒子，能跑70B到150B参数大模型的原生推理，能基于分布式架构实现多智能体（Multi-Agents）并行计算与智能调度，还能通过2×10G RDMA多机级联，攒出一个桌面集群。

7、短发女孩这样穿，真好看！

它提供了一个极佳的产业切片，向外界展示了全球首个全栈具身技术体系是如何将世界模型、基座模型与具身Agent架构耦合为一个「有机生命体」，并实现落地的。

埃尔德什的100美元悬赏 AI领走了 先把这道题的来龙去脉捋清楚。

8、卡塞米罗选择与梅西合作，称这是他最后的梦想

好在，就在刚刚，面壁智能把具身智能的这块致命短板，补上了！ 7月19日，WAIC现场，面壁智能开源了首个具身智能系列模型成果MiniCPM-Robot，包含2个模型：MiniCPM-RobotManip（通用VLA模型）、MiniCPM-RobotTrack（跟踪导航模型）。

Grok官方出面认账，上线/privacy命令——一键关闭数据留存，还能追溯删除已上传的数据。

证明：(a) 过程一定会终止，最终恰好剩一个大于1的数M；(b) M的值不依赖于操作顺序。

直到2013年，58岁的张益唐发表了关于孪生素数猜想的突破性论文，一夜之间从默默无闻的大学讲师变成全球瞩目的数学家。