现在扫码 · GDPS场景征集 有场景痛点？交给GDPS，全球赛队免费来答 提交场景痛点 → 联合设计赛题 → 9—10月实景硬测 【GDPS场景 · 扫码报名】 长按识别小程序码 · 提交场景痛点 · 7月场景征集窗口限时开放 场景征集咨询 周老师：17721330272 为什么场景方要进GDPS？ 市场越卷，越不能只把具身智能当做行业新概念、技术背景板。

1、博鱼手机 训练照跑，三小时后顺利完成，日志、检查点、产出物一切正常。

随着今年内全球首条年产15万台以上的轴向磁通电机自动化产线正式落地，规模化制造的壁垒将被彻底打通。博鱼手机它要真正规模化落地，卡在三件事上：跑得稳、用得起、可持续。

2、中超第2位下课主帅诞生！倒数第2调整教练组，洋帅下课

结果，令人咋舌—— 仅仅30天，Meta员工烧掉了60多万亿个Token，榜一单人刷了2810亿，连小扎都没挤进前250。

3、丹尼·麦克纳马拉自由转会查尔顿，签约两年

用了三个月，它对你的了解跟第一天完全一样。

4、核桃+费利佩跑不动了，罗慕洛没作用了！蓉城血性踢没了，主帅太固执了

Loop能自己跑而不自嗨，靠的是一套「目标驱动」机制，在Claude Code里对应/goal命令。

5、前NBA球员劳森被捕细节曝光：偷34美元伏特加，骂警察踢玻璃还吐口水

首先是绝对的中立性。

绝非仅仅是效率提升工具 多数报道把「Record a Skill」（录屏生成 Skill）归类为「更方便地创建自动化流程」，但这个理解停在了表面。

标题：The Benjamini–Hochberg Procedure Can Fail to Control the FDR for Correlated Two-Sided Gaussian Tests 论文：https://faculty.wharton.upenn.edu/wp-content/uploads/2017/06/bh.pdf 代码：https://github.com/dobriban/BH 对话：https://chatgpt.com/share/6a541c6f-a2d0-83ea-bb2f-782271a103ca 提示词大意为： 整个证明架构分为5大步： 13万引经典解法 90分钟被AI打假 为什么这个反例的出现，能让见惯了大风大浪的伯克利教授直呼心塞？ 因为这不是一道偏门小题，而是现代科学大厦里的一堵「承重墙」。

6、安德森亲承：曼城过去12年统治力是我加盟的原因

Skill 则处在知识与行动之间。

有些活得盯着外部系统，最简单的办法就是按时间间隔去查一眼，看变了什么再反应，比如一个可能收到评审、也可能CI挂掉的PR。

7、中超12轮积分榜：西南三强重新包揽前3，申花离降级区仅有6分

一个故障页，能把出错的测试、它背后的函数、监控里冒出来的错误尖峰、还有这次会话里跑出来的根因推理，全汇到同一张纸上。

它每一次醒来，都是一次干净的失忆。

8、伊布发问：如果这样的梅西都拿不到金球奖，还有谁配得上？

奥特曼还在旁边乐呵呵地补刀：Sol的增长已经疯狂到推理团队满头大汗地扩容，他还半开玩笑地提醒，接下来服务器可能有点小颠簸。

但企业不能因为更换了模型，就失去之前积累的业务经验。

普通人的生活将被如何重构 能写4229行严格证明的模型，手里握着的不只是解数学题的能力。

9、宝马真造过MPV，但以后可能不会再有了

它的作用不是替代规划模块，而是让规划结果能够在执行过程中持续成立。

完整推导过程如下： https://aaronlou.com/jacobian_counterexample_derivation.pdf 数据科学家Cal Aldred甚至用Fable + GPT 5.6 Sol提出了一个生成无限多反例的方法！ 张益唐被偷走的七年 但这个故事最令人唏嘘的部分，跟张益唐有关。

10、以练备战筑防线 酒泉市多方联动护公路安全

它直接用AI造出面向不同芯片的高性能算子，可在真实编译试错与知识沉淀中持续自迭代，稳定交付工业级算子。

他补了一句：至少对我来说，这挺意外的。

1、雷霆再遭挖角！投篮大师恩格尔兰转投火箭

它将帮助我们解决社会面临的一些最重大的难题：从加速新药研发，到开发新型清洁能源，再到创造全新的先进材料。

2、中国领先！日本连续三届无裁判执裁世界杯，韩国更连续四届无人入围大名单

多塞人类动作，不等于机器人学会人类技能。

3、从倒车雷达到座椅通风，这些汽车功能用过后，老司机都回不去了

参考资料： https://x.com/thsottiaux/status/2076495156757577895 https://x.com/FixlationAI/status/2076469274441380349 https://www.reddit.com/r/codex/comments/1uuy5eq/nerfed_codex_sol_max/ 编辑：元宇新智元报道 【新智元导读】刚刚，AI编程圈干了一件狠事。Stephen A. Smith：库里当属历史前五，名人堂为他首开现役球员特展去年，OpenAI的o3和谷歌DeepMind的AlphaProof、AlphaGeometry 2，都在IMO题目上达到了金牌线水平。

4、真正杀死埃及的，不是国际足联，也不是球王光环，而是2比0魔咒

然而从海外访问，捐款通道照旧敞开。

5、迎战维罗纳，尤文期待三分，伊尔迪兹有望首发，维罗纳为尊严而战

再加上代码能力的加持，灵犀甚至能快速生成一个在线报表系统。

6、2026“十八运小解说·声动沪上” 上海金牌体育小解说选拔大赛复赛即将举行！

这些不是模型的通用知识，而是企业在长期运营中形成的行动智慧。

毕竟，万一它解决不了怎么办？ 一个人这么干，浪费可能只是这周的订阅额度。

拿到一个看不懂的复杂回答，他让模型解释给10岁的孩子听；如果还是绕，就让它解释给5岁的听；再不行，解释给2岁的听。

7、皇家官宣：全明星游击手Witt进10天伤病名单，背部紧绷MVP前景蒙阴影

最新的数据进来，共识变了，它就跟着修正了自己。

文章开头已经讲过，对比非常鲜明。

8、致癌阴影下的“中产货币”，Lululemon如何缝补信任裂痕？

利用国内夜间闲置的算力，通过赤兔引擎高效生产Token，再经AI Ping路由，通过合作伙伴卖给海外开发者。

本次大赛提供具身智能本体，并提供仿真环境、数据采集与模型训练于一体，同时开放对接英伟达等业界领先平台。

为了保持长时一致性，模型需要维护较重的历史信息；当前片段需要参考更长上下文；每生成一个视频片段，又要经过多步去噪。

第一问，Wagner在1980年拿下。