真机、实景、试炼，才是具身智能从秀台走向工位的必由之路。

1、b体育网页版 更重要的是，单个漏洞从发现到修复，时间已压缩到小时级，而传统流程里，这个周期往往以天甚至周计算。

他们把各自的模型、数据和训练体系摆上桌面。b体育网页版一瞬间，全球AI圈沸腾了。

2、历史性的胜利，中国11人杀进斯诺克世锦赛正赛，夺冠概率超30%

打入光刻机等半导体制造设备供应链，是对其电机一致性与稳定性的最高背书。

3、弟弟哭着借88万，儿子问：国外很美？舅妈要旅游，我愣住了

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

4、爆冷！女排1-3不敌鱼腩球队 全员进攻糟糕，庄宇珊虎头蛇尾

同一天，由上海人工智能协会、河套学院、中国信通院华东分院牵头、20余家机构共建的具身物理智能统一评测平台Physical IQ物智，也在同场亮相。

5、从艾迪赫到橘子碗，中国网球少年在行动

端侧模型的速度是最直接的体感。

一边是2.5亿美元预算、上千人剧组、IMAX胶片实拍的好莱坞顶配；一边是马斯克和他的AI。

Hugging Face给这件事起了个名字：不对称问题。

6、马拉戈：意大利足协已经制定2032年欧洲杯六年规划

接下来这三层，是为了在同一件事上少花冤枉Token。

全世界每天都在干家务，抠出一小块，机器人就有了接近人类活动规模的数据入口。

7、【演出官宣】7月25日 山海风华 国风音乐盛典相约青岛

Karp认为，当前大模型产业存在两个严重问题。

它并非在历史文献的垃圾堆里检索答案，也没有套用任何已知的推导模板。

8、实事求是，罗纳尔多盛赞梅西！

Gemini 3.5 Pro的延期，正是这个闭环的必然。

这种机制的关键，是它把认知资产、任务执行和业务结果连接起来。

参考资料： https://www.imo2026.com/Results/Individual_Results.htm https://x.com/_simonsmith/status/2078468111678722448 https://mp.weixin.qq.com/s/HekpOfjea9-NrRP5TxL5Zw https://mp.weixin.qq.com/s/nQVfMccLl0ArddDwF6GPVg 编辑：大卫新智元报道 7月18日，AI圈忽然被这个消息刷屏了。

9、蛰伏许久，杯赛亮剑！买乌郎用一战证明自己配得上中超轮换

据Boris说，公司里几乎没有手写代码这回事了，连SQL都是模型写的。

它还能操控浏览器，完成那些没有API的第三方系统操作（内测阶段）。

10、闪耀省赛！深圳中学游泳队夺得6金3银2铜

灵犀给出的答案是四个词——懂你、懂事、懂交付、懂闭环。

哪一个才是真的Claude？ 一个模型因为你说的语言而区别对待你。

1、汤尤杯落幕：国羽男队力克黑马法国队成功卫冕，女队惜败需重新出发

三类专家均可申报：学术领军人才，正高级职称、10年以上研究经历，RSS/ CoRL/ ICRA/ IROS等顶会论文或国家级重点科研项目；产业技术领袖，知名企业技术总监、首席科学家、技术VP及以上；技能大师与行业工匠，世界技能大赛金牌、阿尔伯特·维达大奖、国家级大国工匠、全国技术能手，20年以上一线实操经验，用手和眼检验过千万次精度。

2、在ACG崇礼168现场，我们见证了一场关于未来的奔跑

这些爆款视频，究竟为什么让全球网友如此着迷？ 2400万人，看她「死」在泰坦尼克号上 Chloe的视频为何能精准击中大众的软肋？关键在于她采用了「第一人称Vlog」的视角。

3、上海足协就中超上海德比发出倡议：尊重赛场各方，抵制网络戾气

下一轮，轮到你在GDPS出题！ 赛队征集 就在今年1024全球程序员节！10月23—25日，2026全球开发者先锋大会暨国际具身智能技能大赛将在张江科学会堂登场。1999年，李银桥将作家权延赤告上法庭：借我61张毛主席照片却不还结果：Opus 4.8的误标率，从74.4%直接暴跌到3.3%。

4、媒体人：小赫迪拉被推荐到中超某豪门，最近会进一步接触

这是一次科研底层逻辑的优化升级： 传统科研模式下，实验结束即流程收尾，失败数据大多作废闲置； 平台赋能下，实验完成即资产沉淀，数据积累持续驱动科研进阶。

5、王虹和邓煜获菲尔兹奖，别用“回不回国”消解他们的成就

实验结果 论文在LIBERO、ManiSkill、Meta-World以及真实机器人任务上验证了PolicyTrim，并覆盖π0.5、OpenVLA-OFT、GR00T等不同VLA架构。

6、李美珍PB的幕后推手：唐魔唐宝军谈李美珍PB的秘密以及对大众女跑者的建议

编码过程中弹出一张建议卡片——「扫一扫，检测代码安全隐患」。

ABC电话打过去，他承认是董事，随即挂断，公司网站不久后也悄然下线。

注意，这位工程师分享的，并不是一张静态页面，而是一个能够自动更新、可交互的页面。

7、5年2.39亿！连唐斯都比不了，下一个离开雷霆的就是你

从实验结果看，这一设计补齐了长程导航中「错误经验缺失」的问题。

每一步，选两个数m和n，擦掉，换上gcd(m,n)和lcm(m,n)/gcd(m,n)。

8、博塔弗戈拒绝帕尔梅拉斯报价，留住达尼洛：要价三千五百万至四千万欧元，再出场一次即锁定

张正友认为，两条路线都可能成立。

同时，它自带跨任务、跨时间的多模态记忆，能在失败中定向优化记忆存储，并将沉淀的数据转化为整个ABot体系的共享资产。

上下文越长，模型反而越容易在其中迷路：位置偏差、多跳失败、无关信息的干扰，都是顽疾。

项目背后的操盘手，是一位名叫Max Scherf的小哥。