其中C+轮由阿里巴巴领投，Lollapalooza Capital（王慧文家办）、常春藤资本、惠远资本、钟鼎资本、韩国未来资产、OCBC生态下Lion X基金、蓝色光标等十余家国内外机构参与投资。

1、Kai云体育 具身智能展区两百多家公司摆开阵仗，人形机器人遍地开花。

Physical Intelligence研究科学家任至意坚信，模型能力足够，唯缺上下文——泛化会自己涌现。Kai云体育DA-Nav因此补齐了长程导航中长期被忽视的一环：不只训练机器人怎样走对，也训练它走错后怎样回来。

2、上马居然在意跑者情绪了，这是错觉吗？

爱诗从第一天就在做面向C端用户的全球化产品。

3、热议男篮国手前锋赵嘉义加盟北控！青岛总经理公开回应引关注

在此框架下，本体的构建须面向大语言模型的调用接口进行优化——其类定义与关系描述应便于模型理解与使用，结构化知识应便于模型检索与引用，约束规则应便于模型进行输出验证。

4、郭涵煜组合闯入温网女双决赛

在欧洲街头走一走会发现，除了在法国有一定渗透率，在德国、英国，纯电动车依然是「稀罕物」，内燃机轰鸣仍是主流。

5、热火5换1追KD，勇士6换1追字母！6支非季后赛球队的崛起交易方案

一个有着87年历史的核心数学难题问题，就这样被 Fable 5在一个周日的傍晚轻松解决。

温暖vs严谨：让你感觉好，还是让你答案对。

最厉害的是，它居然反手把自家的「大哥」给踩在了脚下。

6、农业农村部：纠治一批“蝇贪蚁腐”问题，追回侵吞、挪用、截留、套取农村集体资金16.5亿元_网易订阅

在「多会话聚合」上，HMS以87.2%领先Hindsight的81.2%。

在联合国演讲的结尾，谢旭璋说了一句话：「过去，视频是一个结果；未来，视频是一个入口。

7、杜锋续约谈判不顺利，广东队如果更换主教练，谁最合适？

正是这一视角的转换，构成了本文研究的出发点。

物理AI三道墙前，背后三场争论 不过，这次有个隐秘共识：下一阶段不再拼Demo花哨，而是拼谁能把「经验」规模化。

8、NBA最新消息！名记：詹姆斯将签约骑士！本周将会公布

「越用越懂你」必须建立在数据可控的基础上。

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

该机制与具体目标无关：它仅调整对目标相关位置的学习强度，而将具体生成内容交由模型结合输入完成，因此可承载与请求相关的生成式输出，而非将模型固定到单一回复。

9、推动经济决策权下放，英国政府启用“北方唐宁街10号”

经过同行排查，张益唐证明中所使用的那条关键引理被证明是错误的。

换成以前的模型，撞到这堵墙也就认了，掉头回来跟你说「我做不了」。

10、32+17+5比肩奥尼尔！内线巨兽率队崛起！杨瀚森好好学学

利用AI生成了一篇充满高级技术黑话的PDF论文。

因为进程可能恰好在写进度写到一半时崩掉，留下半截烂数据。

1、氪星晚报｜IDC：百度智能云蝉联中国金融大模型市场份额第一；腾讯云与RoboScience机器科学达成战略合作；商务部回应推动解决安世半导...

但快有什么用？快速给出一个错误答案，等于用更高的效率浪费用户的时间。

2、马特·塔吉特自由转会赫尔城，签约两年加一年选项

DM0.5在机器人数据上加了11种自回归推理任务。

3、重磅

第一套是 70 项窄任务，覆盖漏洞研究、逆向工程、Web 渗透、密码学四个方向，按难度分四级，从「有技术背景的非专业人士」到「十年以上经验的专家」。广厦退出争冠行列！爆布朗签约权将交易，桑普森或加盟首钢，王博巧妇难为无米之炊！」 他们承认：所有的参数、履历、论文、团队，全都是假的。

4、企业糊弄、监管“放水”，撕开“纸面安全”遮羞布

无数数学家发表了大量声称证明了该猜想的论文，但无一例外，都被发现逻辑中有瑕疵。

5、潮流品牌开始「跑起来」，Running Club 就是新流量密码？

行业普遍形成一种共识：沿着现有技术路径持续优化迭代，AI 的通用能力将保持稳步进阶。

6、上海队夺冠！这4人运气好，胡金秋老队友圆梦，国手后卫白混戒指

科研中的「灵光一闪」，那些需要从无到有构建全新数学模型、打破旧有范式的「构造性发现」，是碳基生物专属的自留地。

这不是游戏，也不是影视——这是一种全新的东西 在理解Chloe的视频之前，你需要先理解它到底是什么。

谷歌自己也清楚这个风险。

7、北京首钢放弃杰曼，李楠禁赛结束任主教练，下赛季目标还是夺冠

企业为了获得模型服务，必须首先把自己的问题、上下文、数据、工作流程和判断标准暴露给模型。

按他的判断，这还只是当前状态。

8、文班活着就行！我感觉，哈腾16次犯规啦

7月14日，Anthropic正式推出Claude for Teachers，向全美经过身份验证的K-12（幼儿园到高三）教师，免费开放Claude的高级能力、一整套教学技能库，还直接接上了50州课标和一批经研究验证的现成课程。

Light Interaction提供了一条现实路线：不重新训练模型，而是在推理阶段把交互状态用起来。

他们能不能受益，全看老师这一手转得好不好。

你和各类智能体的每一次交互，都滚动一次只属于你的数据飞轮，而这些记忆第一次可以被传输、被交易、被验证。