OpenAI的推理研究科学家 Noam Brown 难掩激动，连发数条推文，揭示了这次突破背后的底层逻辑——并行测试时计算（TTC）。

1、Kai云体育 它能做到零延迟、零额外算力开销，开发者甚至感知不到这层检查的存在。

这20%，是自动化最难啃的骨头。Kai云体育在标准真实机器人设置下，平均达到1.86倍端到端加速。

2、英特尔财报超预期：AI智能体带旺服务器CPU，明年资本开支还要大增

过去十几年，企业买服务器的心智是「买设备、装系统、能跑就行」。

3、奥利塞身着便装现身纽约街头踢野球，并与同场球迷合影留念

好消息是，Qoder在国内第一个交卷了！ 刚刚，阿里旗下的Qoder正式推出了Qoder Security，直击AI Coding的安全风险问题。

4、一觉醒来，宏远官方发声！杜润旺顶薪签约同曦，朱芳雨猛追林葳

done条件：且必须机器可判定，比如测试全绿，或者某个spec项被关闭； 硬上限：包括最大轮数和最大花费，专防成本失控和无限循环； 无进展检测：一旦发现它反复碰同一批文件却没有新的通过测试，就强制停下。

5、真棒！13年前旧外援回来当主教练，带过杜兰特欧文，郭艾伦可惜了

商汤这次在WAIC展示的，不只是一套国产异构混推方案。

不像大语言模型，基本范式已经确定。

通过底层硬件与具身大模型深度融合，Apex具备长效稳定作业、多场景泛化、精细化操作、安全人机共生四大优势。

6、大满贯全八强！新科法网冠军继续突破

在此领域，这是一种「相当非典型」的组合技。

这一层覆盖的是L1静态分析没拦住的中等复杂度问题，比如跨函数的数据流污染，以及SQL 注入、远程命令执行、敏感信息泄露这类需要理解语义才能识别的风险。

7、雷腾龙打趣：国青时对抗使劲干武磊，给他干下张稀哲就能踢了

KSTAR可以理解为： Know What：当前知道什么； So What：这些知识对于当前情境意味着什么； Then What / Task What：需要完成什么任务； Act What：应该采取什么行动； Result What：产生了什么结果； Learn What：根据结果应该学到什么。

在工程化上， 从扫街榜再到具身智能，高德在转型空间智能公司的过程中，积累了极度深厚的AI工程化经验。

8、保时捷2027款Taycan亮相：新增虚拟换挡与AI语音系统

它不改变VLA架构，也不重新收集专家数据，而是在已有预训练策略之上继续优化机器人真实执行行为。

Skild AI 在长程、不间断、不遥操的真实家庭任务上，目前全球只有逐际动力和 Figure 做出了可信度高的完整演示——Figure 有厨房整理、房间整理、客厅整理等一系列家庭场景 Demo，逐际动力有这次的一镜到底的客厅整理。

另一项覆盖数百万次美国数学互动、跨度十年的研究也指向同一个结论：聊天机器人一来，题做得更快，学得却更少。

9、今年夏天“这条裤子”居然流行回来了！时髦的人都在穿

在他看来，人类现在用的笔记本和手机，本质上都还是二维屏幕，与物理世界之间没有实质性的交互。

这五款模型类似于高德为机器人打造的「数字灵魂」，它们完整地映射在机器人的五大仿生单元。

10、杜兰特火线复出 G2火箭依旧落败 火箭的问题到底有哪些

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

这套打法似曾相识。

1、潜力后卫被四川摆上货架！辽宁、山东展开哄抢，曾单场狂砍27+4

在长期的被FOMO情绪蔓延的科技圈，这个消息就像一颗火星掉进了炸药桶。

2、76人新任总裁表态追逐詹姆斯

架构方面，DM0.5延续VLA架构，以4B参数的多模态主干为核心，外加一个680M的动作专家（Action Expert）负责生成连续机器人动作。

3、高诗岩续约未定！山东留下陶汉林+陈培东，与辽宁谈判追逐王岚嵚

目前已在漕河泾园区做安防巡检、上海滨江做城市治理、天津海棠花节做文旅导览，7×24小时常态化在岗。每体：库库雷利亚谈长子自闭症，盼世界杯夺冠用户需要的是完整的智能，而非只具备手臂或者下肢局部能力的「瘸腿」智能。

4、西班牙3比0奥地利，昂首挺进16强！奥亚萨瓦尔双响，两判罚引热议

本体工程在此提供了关键的实践框架：通过构建AI友好的、可被模型调用和追溯的语义骨架，我们得以将模型的推理锚定在明确定义的知识结构之上，使输出所依赖的类、属性和关系获得可形式化描述与可追溯验证的工程基础。

5、当场锁喉！想砸全WNBA的饭碗，当然要被禁赛！

估值达到10亿美元以上的未上市初创企业，通常被业内认定为「独角兽」。

6、带着奖牌和爱回家，张之臻的人生有了新的责任

此刻，我们深陷一场异常激烈、多层交织的商业与地缘政治竞赛。

标题：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打假 为什么这个反例的出现，能让见惯了大风大浪的伯克利教授直呼心塞？ 因为这不是一道偏门小题，而是现代科学大厦里的一堵「承重墙」。

不管怎样，全网苦等三个月的这只「靴子」，终于要落地了。

7、招聘专栏

第一步，先想清楚要找什么，再动手找。

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

8、日系车在华销量持续下滑！本田4月销量同比跌幅近半

用OpenAI自己的话说：这个模型经常不停地试，包括去找能在沙盒之外行动的办法。

OpenAI一度把五小时窗口的使用限制临时放开，来接住汹涌而来的调用量。

高盛预计，全球AI视频生成市场将从2025年的约30亿美元增长到2030年的约290亿美元，五年翻近十倍。

关键是，单独看每个文件都正常，谁也想不到串起来会有这么大问题。