孙文剑把它称作此芯一以贯之的策略：开放底层软件，开放上层操作系统，开放适配好的大模型。

1、yoboo手机版 我们必须抓住AGI到来之前这扇珍贵的窗口，把这项技术塑造成造福全人类的力量。

step-saving reward 直接把「更短、更直接的成功轨迹」写进优化目标。yoboo手机版DA-Nav空间落点机制 在此基础上，DA-Nav进一步将导航决策组织为： 状态判断—动作选择—轨迹预测。

2、最疯狂四巨头真要到来？勇士将成最受瞩目球队 新赛季能争冠？

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

3、梁实第30次高考现场：状态超放松，睡电竞房7点半才醒，冲刺550分

他们在全球市场并没有真正受到中国新能源车企的冲击。

4、突发叫停！Gemini 3.5 Pro难产，谷歌跌入失望陷阱

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

5、TranscriptFormer利用1.12亿单细胞数据构建通用生成式细胞图谱

保时捷、奔驰也在近期频频曝光相关专利，暗中布局。

而WAM-TTT之所以能被称为新范式，是因为它在测试部署阶段（Test-Time），实现了三大史无前例的底层突破： 数据采集：部署只需人类数据 过去，你要让机器人适应新环境，就必须喂给它「机器人轨迹数据」。

会生成≠能交付 时至今日，AI生图的战场终于从「谁画得更好看」，走向了最硬核的「拼交付」。

6、Red 6宣布获得美国空军合同，将把AR系统集成到F-16战斗机

在单位圆上随便取一串复数当零点，乘成多项式，这个多项式在单位圆上的最大模Mn，能不能保证在无穷多个n处超过n的c次方。

就像代码从Vibe Coding迈向Agentic Coding，创作也要从「Vibe Creation」迈向「Agentic Creation」。

7、天津，藏了一手机器人的王炸

以「软硬协同、灵活部署、自主可控」为理念，AGX OS直击行业三大痛点： 守数据：本地推理与存储，确保核心数据「不出域」，从源头规避合规风险； 破壁垒：统一模型网关，终结厂商锁定，实现「万模随心切换」，赋予客户极致选择权； 控风险：内置独立沙箱、四级权限与全链路审计，确保智能体每一步操作「计划可审、动作可批、过程可查、结果可回」。

特纳讽刺道，「有人说他们是在积攒政治资本。

8、马刺118-91大胜雷霆！文班创80年NBA纪录，前无古人

彭博社的一则独家报道如同一盆冰水，浇灭了所有人的热情：Gemini 3.5 Pro发布延期了，而且不是延期几天，是数月的大延期！ 本该是载入史册的发布，被谷歌自己按下了暂停。

为了便于理解这道题，我们先做一个微缩实验。

参考资料： https://x.com/deedydas/status/2079409461874332066 编辑：摩西新智元报道 过去一年，具身智能赛道正经历着前所未有的「冰火两重天」。

9、30个月拉锯，从资不抵债到24亿美元卖出：他如何改造一家濒危银行？

可就是它，在受控的内部测试里，一次次试探底线、寻找漏洞—— 学会了伪装、拆包、越狱，直到OpenAI惊出一身冷汗，紧急叫停。

同一场 Cyber Range 测试（1 亿 Token 额度），用 Opus 4.5 或 4.6 跑一次约 85 美元，用 GLM-5.2 约 46 美元，用 DeepSeek V4-Pro 只要 1.19 美元。

10、男篮被逼入绝境！末轮生死战赢球才能出线 杨瀚森能否找回状态

更棘手的是，业界还缺少一个能够系统性地检测这类风险、并衡量防御是否有效的Benchmark。

」 等智能体真的起来，他们回头一看，发现自己的硬件「非常适合做智能体」。

1、太适合广东队！CBA休赛期唯一的锋线大鱼，或被朱芳雨捡漏签下？

这正是Shadoweave给自己的定位：不做「又一个记忆存储方案」，而做AI时代的记忆协议——Memory Controller。

2、【报名】中卫家长注意！7月13日，儿童疑难病症免费筛查+公益救治！

在那之前，两年的等待还差最后一步。

3、天涯重启，是老登们的六一精神儿童节

面壁智能、智谱等纷纷布局具身智能，是行业趋势。Xbox启动广告换云游戏时长测试，无需Game Pass就能串流已购游戏产品尺寸为 185×112×62 mm，重量为 500 g，具备 12 个总自由度，采用微型直流电机与连杆传动，指尖重复定位精度为 ±0.2 mm，四指最大抓握力不低于 45 N。

4、PICO视频8月上新：穿越机视角城市绿浪与数字雨林沉浸体验

通往AGI之路上，比拼的不再是谁的长板更长，而是谁的系统能转得更稳、迭代得更快。

5、频繁换队的詹姆斯哈登为啥没人骂？只能说真诚才是必杀技

产出的结构 - 文本配对数据送入大模型智能体，通过pymatgen的StructureMatcher工具对比模型输出结构与标准目标结构，量化评估模型性能。

6、“她老公是副院长”，哈工程硕士举报女导师：凭啥拿我的论文卖钱

灵犀生成的PPTX、DOCX、XLSX，打开就能编辑、公式在、引用能追、格式完整。

STT（单目标追踪）：追踪率达到89.81。

Grok Build里有个「帮助改进模型」的开关，几乎所有人都以为，关掉它就等于关掉数据收集。

7、媒体称樊振东是外协！上海体育局回应：他是中国运动员 依法处理

只有当模型同时具备知识理解能力和行动能力，科学智能体才可能从「会回答问题」的百科全书，走向「能完成任务」的实验助手。

怎么把Token送到科室、送到一线，成了新命题。

8、美国想再次举办世界杯！特朗普：因凡蒂诺建议我们跟中国合办

会看的不会推，会推的不会动，而产业落地偏偏要三样一起来。

职能还在，但人人都多了一层「调度AI去干活」的通用能力，成了跨学科的通才。

而在于，机器人第一次在真实世界里，连续、自主、稳定地「把活干完」。

Frozen v2则只为Gemini一个模型而生。