积木是道具，能力是真的。

1、TK体育 7月15日，前谷歌DeepMind科学家Alex Turner宣布辞职。

对苹果来说，迟到的代价已经写在财报里。TK体育乒乓球桌只是展台的一角。

2、意大利足协接触瓜迪奥拉与安切洛蒂 马尔蒂尼确认选帅进展

GPT-5.6 Sol Ultra于7月9日全量放开，7月10日，OpenAI宣布GPT-5.6 Sol Ultra产出了Cycle Double Cover猜想的完整证明。

3、玩转阿勒泰

与此同时，英伟达最新的高端卡今年很难大批进入国内，存量供给几乎没怎么增长。

4、WNBA状元秀布克斯确认可出战天空队 此前因重摔头部缺阵一场

Figure 的 System 1 / System 2 和 Skild AI 的通用基础模型，底层逻辑都是「模型即大脑」。

5、“惊为天人”！“又酷又飒的中国女保镖”夺冠

PolicyTrim在标准设置和动态扰动设置下都维持或提升成功率，同时显著缩短真实执行时间。

旁边展示直接挑战了机器视觉领域公认的「老大难」——透明物体识别。

Glenn Fiedler 两周内修复了 43 个安全漏洞，其中 27 个可从网络远程触达。

6、赶紧报名！岳阳优质单身青年相亲活动即将启幕

Anthropic最后建议道，挑一个你已经忍了很久的代码库，去问问Claude，它的迁移流程长什么样。

新智元报道 北京时间今天凌晨，时隔16年，西班牙人重新举起大力神杯！ 而在为这一刻欢呼的同时我们发现，今年的美加墨世界杯，除了踢球的、看球的，还有一群「数字选手」也格外忙碌—— 那些顶着几十亿参数，一路疯狂推演、预测的AI大模型。

7、车队领队透露:劳森被红牛下放后"像变了个人"

一个是理论物理的，一个临床基因组，AI跨过了工具和同事之间的那条线。

Genesis管这叫「以软件的速度进化」，号称快 000倍。

8、最后时刻连丢绝杀，武汉女足客场两连平

当模型能力逐渐成为公共品，企业之间的差距，将越来越取决于谁能把AI管得更精细、算得更清楚、跑得更稳定。

一本经济账。

就在前段时间，Boris还说自己不再写prompt了，只写loop。

9、创新驱动发展 临泽知识产权助力产业发展提质升级

所以这颗「脑」至少干四件事：理解任务、感知环境、规划行动、监督完成——把「想做什么」「现场什么样」「下一步怎么走」「做完没有」串成一条闭环。

在这一双向融合中，「AI友好的本体框架」成为一个关键的工程命题。

10、江西省原省长黄智权同志，因病逝世

最终证明，这个方程组永远有解！ 当公式(8)和(9)划上句号，最后推导出等于0（在域中）时，证明结束了。

当谷歌终于意识到AI编码的重要性，决定强制要求使用AI写代码时，新的问题又来了——算力不够了。

1、杨泽翔完成申花个人百场出战壮举！球队官宣发海报庆祝，值得期待

静下来想一想：我们本质上是找到了一种让沙子思考的方法。

2、打破魔咒！深圳5外援+周定洋就是凶！郑智与西海岸八字不合？赛后答非所问

更妙的是，在处理「上下文记忆」时，它的计算成本几乎不增加。

3、中国足球学习佛得角，不应只限于一场友谊赛

14种方块，各有硬度、透明度、碰撞属性，基岩不可破坏。“惊为天人”！“又酷又飒的中国女保镖”夺冠作为本届大会的核心板块之一，具身智能展区集中展示机器人本体、核心部件、感知控制及场景应用等最新进展。

4、世界杯八队神似NFL劲旅：海鹰防守似西班牙，牛仔像美国队

新智元报道 天哪，打工人也能有自己的私人助理了！ 以前我们提到助理，一般都是服务老板的。

5、约8.4万公里：一辆2000款宝马540i的加拿大履历

莫宗坚评价张益唐「不适合代数几何」，认为他的博士生涯「浪费了自己七年光阴，也浪费了我的时间」。

6、25岁投手防御率0.52 老虎队截止日前底牌浮出水面

换句话说，未来企业竞争的，不再只是模型能力，而是AI运营能力。

这是LLM第一次，把IQ推过了130这道坎。

第三件是国产化。

7、超4900股下跌

仅仅90分钟。

于是他们换成在自家基础设施上跑的开源模型，取证才继续下去。

8、美威胁沙特：如不加入“亚伯拉罕协议”，两国签署的民用核协议将作废；此前沙特首相称加沙战事致国内反以情绪高涨，不接受与以关系正常化

本来要几天的活儿，几个小时干完。

这套终极公式拆开就四样：结果、约束、证据、验收。

7月9日GPT-5.6发布，官方原话是，首次引入max推理强度，「让Sol获得最充足的时间进行深度推理」。

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