张行程说，这不单纯是技术上的方法论，更是一种组织上的方法论——商汤自己的研发团队、芯片原厂、高校和科研机构，有的深度绑定、有的灵活协作，拧在一起才啃得动这块骨头。

1、乐鱼电竞 依托专属的具身自主实验体系，平台打破了仿真计算与实体实验的场景壁垒，搭建起干湿自主迭代的闭环：AI 自主生成科研假设 → 智能体完成多维度仿真筛选 → 自动化实验设备承接落地测试 → 实测数据实时回流迭代。

负5小时，被翻译成了一整天。乐鱼电竞Russell在台上信誓旦旦地承诺：他会推动大会进行全体成员投票，并发表一份强有力的声明，对抗军方的「勒索敲诈」。

2、C位是个火烈鸟泳圈！三进决赛，波兰队联合杯终夺冠

五家最硬的成果和一句话立场摆出来，你会发现连「墙在哪」都没谈拢。

3、湖人107-125输雷霆，0-2！詹姆斯创NBA第一神迹，一战看清5个现实

7月12日晚上，东京大学的数学物理学家立川裕二突然心血来潮，将这份已经停滞半年的研究笔记扔给了AI，没抱任何希望。

4、焦安静复出说：跑步再次拯救了我，夏训之后才算真正回归

这是为啥呢？ 这款模型正是两个月前，那个推翻Erdős单位距离猜想、连外部数学家都盖章「里程碑」的狠角色。

5、广东2米07锋线主动申请交易，球队试训杜锋爱将于德豪

传统做法里，手动搭量子电路、调试噪声模型、做数值演算、再把结果绘图汇总，本身就很耗时。

未来，HMS将持久记忆融入感知、推理、控制与具身行动。

你以为它只是加了个搜索框，其实它在给自己装一套操作系统该有的骨架：能存、能管、能搜。

6、愈挫愈勇 兄弟们一起再战！

然而，Opus 4.8早已被GPT-5.6踩在了脚上。

四条战线必须齐头并进，缺了任何一条，闭环就会瞬间断裂。

7、不服！俄反兴奋剂官员：将向国际体育仲裁法庭上诉

大佬表示，按谷歌常规的6个月训练节奏，说不定年底，就能看到Gemini 4了。

在这个意义上，Fithian教授那句后背发凉的「心塞」，绝不仅是他个人的智力失落，而是一代科研人在时代拐点上的集体情绪切片。

8、詹姆斯反悔了，决定重回湖人？

灵犀专业版想做的，是一个「越用越懂你」的办公助理。

闭源模型的安全护栏也没能拉开差距。

通用人工智能（AGI）——一种具备人脑全部认知能力的系统，距离我们可能只有短短几年。

9、阿根廷PK西班牙，谁能夺冠？范志毅给出了1答案

大学那套考评，考试、论文、作业，几百年来立在一个隐形前提上：这些事太花时间，没人会走捷径。

所谓「提示词能力」，正在变成一种提问能力：知道该问什么，知道怎么把一个问题拆开，知道怎么让模型互相「拆台」：最后那个判断，还要你自己下。

10、世界杯周期，我们为什么越来越难以看到好看的文字了？

谷歌传递的信号再清晰不过，AI这场终极牌局，好戏才刚刚开始。

威胁模型（Threat Model） 场景：攻击者微调一个预训练DLM以植入后门，再将其作为「有用且良性」的模型（如某垂直领域的定制模型）发布到开源平台；任何部署该模型的用户都可能成为受害者。

1、埃斯库德：奥利塞像是突然冒出来的，只用两年便进入法国队

麻烦在于，可运行、可验证的仓库环境极难批量搭建，行业里直接构建的成功率长期只有16.5%上下。

2、预约从 12 万暴跌至 2170，演唱会定价 1680，观众为何不愿买单

因此，ChatGPT能翻到的，还只是你亲手交给它的那部分。

3、618，品牌开始重算一笔账

」 为什么是现在？ 有人问，AI视频生成技术早就有了，为什么这种内容到今年才爆？ 答案是——技术刚刚跨过了那个门槛。勇士想要浓眉？新报告揭露真实情况，一切都很混乱于是，一门去年还没人当回事的学问，今年成了显学——给AI算账。

4、争不过中国、管不住以色列，特朗普对沙特“核松绑”，中东或变天

一次构建 每个人打开都不一样 今年6月，Anthropic推出了Artifacts。

5、2.5亿净利！延长石油收获第4家上市公司？

无论是材料建模、分子设计、自动化实验，还是更广泛的科学发现流程，AI 若想真正参与科研，就不能只会「解释知识」，还必须学会「执行动作」。

6、胡明轩离开国家队，贺希宁、曾凡博递补进入，广东队还有2人

他给的反证是：5.6在包括FrontierMath在内的一大批评测上都比5.5有提升。

COSA 0.5 实现的效果惊艳的一镜到底 Demo，就是逐际动力对这个问题最有力的回答。

它不是某一个应用，而是内核、是驱动、是应用商店，是让上层无数软件得以运行的那层地基。

7、当代人的悦养，需要一场“主动的慢”

好在，国内「内卷」的供应链，既是挑战，也是助推器。

Skill是最现实的认知载体 在佟博士目前的体系中，Skill是企业认知资产最重要的工程载体。

8、一次被拒绝的交易，却改变了3人命运！一人仍是主力，他却淡出NBA

去年底，她一手打造的AxiomProver拿下了Putnam数学竞赛的满分。

这条路，Coding已经提前替所有人趟明白了—— 从嵌进IDE的Copilot，到动嘴写需求的Vibe Coding，再到今天自己规划、执行、验证的Agentic Coding。

SeClaw把原本走自然语言的通知，改成了带必填字段的结构化工具调用，凭证反倒因为「字段必须填」而被写进了参数。

上海作为先行城市，承接国家任务，以赛事锤炼成果，向国家交出具身智能实景验证的「GDPS答卷」。