他也开始思考，理论统计学家未来的出路是什么？ 伯克利教授直呼「心塞」 GPT-5.6从零构造出了一个反例，宣告了一个残酷的事实： 在相关双侧高斯检验（correlated two-sided Gaussian tests）下，经典的 Benjamini-Hochberg (BH) 程序无法保证假发现率（FDR）始终受控。

1、天博官方 赛题更前瞻、产业更融合 黄浦江边决赛切磋 本届大赛最受关注的变化来自创新赛道：大赛首创的AI4S智能体CNS挑战赛，将竞技对象从科学领域算法模型进一步拓展至自主科研智能体，通过真实科研任务检验AI自主开展科学研究的能力。

它们只能靠一群愿意为一个圆角、一次跳转、一个加载动画反复较真的人，一点点磨出来。天博官方爱诗在今年初发布 PixVerse R1，全球首个支持最高1080P分辨率、可实现即时响应的通用实时世界模型；近期又在联合国 AI for Good 峰会展示了PixVerse Game—— 首个实时视频游戏引擎。

2、朱芳雨赌对了！克里斯被曝惨遭山东队放弃，加盟广东队成首选？

产业资本看场景，财务资本看增长，国际资本看全球化。

3、横扫一切的字节，为何偏偏啃不动付费网文？

实测显示，相同硬件条件下，对标开源的vLLM-Ascend框架，推理效率提升约为5倍，首Token延迟降低30%到40%。

4、难以置信！杜克大学的传奇，在NBA赚2000万薪水，才37岁就已破产

AI Coding，就是团队下半年要重点打透的那块肌肉，也是最有说服力的一块。

5、伊劳拉喊话利物浦继续引援：五大世界杯红星成候选，含1亿镑替萨拉赫目标

Jeff Dean确实采取了行动。

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

deepseek-v4-pro：百万输出tokens平时0.87美元，高峰1.74美元；缓存未命中的输入平时0.435美元。

6、世界女排联赛香港站 中国队3比0战胜乌克兰队

哪怕是专为防御而生的SeClaw，也仍留有不小的攻击面；哪怕是最稳的配置，也仍有约五分之一的任务被攻破。

拿个真实场景举例。

7、美国公司推出AI换胎机器人 无需拆轮毂即可完成换胎

没有人会因为CPU厂商强大，就断言存储没有独立价值；恰恰相反，由缓存、内存、硬盘组成的存储层级，自成一个万亿级产业，还定义了整个系统效率的上限。

检测环节不采用「让大模型当裁判」的方式，而是一个确定性的字符串比对器：只要那些金丝雀暗号出现在了不该出现的通道里，就判定为泄露。

8、同意吗？刘建宏大赞梅西：已超越马拉多纳

在线投票显示，Kimi K3在游戏开发领域击败Fable 5，以87%的支持率绝对碾压过去被认为「全球最强AI」的Fable 5。

而当同一套地基，能同时托住数字世界里如洪流般飞奔的Token，和物理世界里迈出第一步的机器人时，它就是整个智能时代前进的底盘。

基于此，此芯科技高级总监陈国银深度解读了AGX OS软件解决方案的核心价值。

9、最后一场完成了大爆发，但快船可能还是不应该用双向合同留下他？

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

他们现在开始告诉企业： 不要失去自己的数据、学习闭环和Alpha。

10、技术｜专家把脉：真正的启动时机应该是对方打到球的一瞬间

BH程序就是那个保证「你宣称的重大发现中，错误结论比例不会超标」的安全阀。

（图源：Claude官方博客） 事件或时间触发，全程无人值守。

1、雷霆无缘总冠军，揪出3大“罪臣”！主教练在列 一人可直接被交易

「谷歌之神」Jeff Dean的沉默与妥协 在谷歌，Jeff Dean的名字就是神话。

2、上海男篮抵沪！众人接机，李弘权开心，卢伟洛夫顿淡定，白边圈粉

值得注意的是，纳德拉等公开提出的问题，正是佟佳睿博士更早在企业认知系统、ECS、NSEAP和KSTAR体系中已经开始系统设计和工程化解决的问题。

3、裁判迟迟不出牌，梅西全场碎碎念：这场决赛到底赢了什么西班牙队举起大力神杯的时候，镜头扫过阿根廷全队

看了一排排会跳舞、会跑马拉松的人形机器人，你回公司一问：能帮我装配零部件么？能帮我分拣试管吗？能帮我打包吗？能帮我巡检吗？——不能。踩中梁文锋说的AGI关键一步！这款模型两周ARR破千万美元更何况，和竞争对比手，价格更贵，效果更差！ 此外 ，谷歌这次还发布了网络安全模型Gemini 3.5 Flash Cyber。

4、现代汽车与英伟达深化合作 自动驾驶或迈向VLA新阶段

训练时，还专门做了随机历史长度和历史增强—— 历史信息缺失或者失效的时候，模型能退化回只看当前帧，不至于当场崩掉。

5、18元披萨“升级”成雷霆大饼干，萨莉亚铁粉的天塌了

第三点，为了搞清楚多出来的用量到底从哪儿来，团队跑了一些实验，实验里改动了推理强度（reasoning effort），内部管它叫「juice values」。

6、潮玩IP>吉祥物 Labubu的魅力你能懂吗？

Dyna和PI更相信真机数据：Dyna把机器人搬进真餐厅，PI靠真实数据飞轮和自主运行中的人工接管打磨。

从而让推理有了证据支撑，而不再停留在「凭语感接话」的层面，可解释性也随之提升。

他把镜头拉得更远，直击人类最深层的困惑：「即使我们解决了这些艰巨的技术难题，仍会有更复杂的经济和哲学问题有待解决。

7、父子同队！热火全力追詹姆斯：如果成功引进 愿给布朗尼双向合同

参考资料： https://www.imo2026.com/Results/Individual_Results.htm https://x.com/_simonsmith/status/2078468111678722448 https://mp.weixin.qq.com/s/HekpOfjea9-NrRP5TxL5Zw https://mp.weixin.qq.com/s/nQVfMccLl0ArddDwF6GPVg 编辑：大卫新智元报道 7月18日，AI圈忽然被这个消息刷屏了。

前者，如今的模型早已驾轻就熟。

8、真的假的！运动30分钟后才开始燃脂？

这种「一套框架、按需标注位置」的设计，使得从最具体的定向输出特定词到最抽象的越狱行为都能被统一表达，且每类目标的输出都随输入动态变化。

表格、柱状图、折线图、时间线，该有的商务质感，一页都不塌。

确认后它就开始干活了。

它先走了正规流程：找负责人、逐级上报、直到公司高层。