这里的「可盈利」不是财务游戏，商汤科技联合创始⼈、⼤装置事业群总裁杨帆给了一个非常明确的定义：收入覆盖折旧、摊销、机柜租赁、电费和人员服务费之后，利润率为正。

1、Kai云体育 GPT-5干的事情，是把他不知道的那些文献翻了出来。

GPT-5.6 Sol的xhigh版本同样满分。Kai云体育为此，他们又提出自适应的分级噪声控制，在细节吃紧的地方多注入噪声、逼模型多花力气去抠，把丢掉的控制力补了回来。

2、曼联官方：乌加特已成功接受膝关节韧带伤势的手术；罗马诺谈曼联的第三个中场引援

每往下走一步，都回看前面已经落笔的部分，再决定下一笔怎么画。

3、致全市中小学家长的一封信

具身智能，已被明确写入「十五五」规划纲要，成为国家重点布局的未来产业方向。

4、奥运传奇霍伊抗癌期迎英联邦运动会新职：不想让癌症定义人生

在LIBERO中，π0.5达到最高5.83倍端到端加速，同时成功率保持98%以上。

5、程蓓在隆回县督导检查烟花爆竹安全生产等工作

佟博士提出的问题是： 企业的认知究竟由什么构成？ 如果不能回答这个问题，就无法真正讨论认知主权。

当前尚不能替代成熟游戏工业，更不是「一句话生成 3A 游戏」。

有趣的是，乙游的用户，是出了名不好糊弄的一群人——她们对角色颜值、情绪张力、叙事节奏近乎苛刻。

6、阿斯报：曼联还想签2名中场，引援候选有3人；太阳报：芒特上赛季末的出色表现确保了他的未来

佟佳睿（Richard Jiarui Tong）博士最近发布了一篇评论，将纳德拉的两篇长文、Karp的CNBC 访谈，与他本人更早提出的企业认知系统和认知主权框架放在同一条思想演进线上。

偏偏交付级最较真的文字和纹理，全藏在细节里。

7、今日重要赛事！7月18日，CCTV5、CCTV5+直播节目表

他们把Codex Sol MAX接在一个自研的CLI工具上，专门啃那种需要极复杂计算和深度推理的活儿。

「书生·端砚」并非单纯升级的文献处理大模型，而是一套完整落地「假设推演—仿真计算—实体实验—数据回流」全链路的科学智能系统。

8、前NFL明星跑卫贝尔因拖欠抚养费被捕，欠款逾5万

代价是，偶尔它也会省掉不该省的那一次。

整个审计的 Token 成本约 2500 美元。

参考资料： https://openai.com/index/safety-alignment-long-horizon-models/ 编辑：桃子新智元报道 7月17-18日，第四届世界科学智能大赛总决赛及颁奖典礼在上海举行。

9、舍夫勒谈四大满贯全部功亏一篑：每一次都“相当沮丧”

二维版本早在1884年就被提出，当时还附带了一个后来被发现存在漏洞的证明。

由于从零训练一个高质量 DLM 成本高昂，使用者通常会下载第三方开源的模型、微调后部署，这正是后门攻击（Backdoor Attack）存在的场景。

10、WNBA全明星周末26日芝加哥开战 克拉克威尔逊领衔群星

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

而且，软件也不再是买来一个固定的东西，而是随你的话不断变形。

1、高质量发展进行时丨布尔津抽水蓄能电站上水库进出水口开挖正式启动

而且，Anthropic罕见重置了Claude的额度，试图抵御OpenAI的价格战。

2、世界杯最争议一战！埃及队集体炮轰主裁：有人希望梅西留下 结果已内定

不是跑在芯片上，是长在芯片里。

3、冠军再+1！泸州斩获省十五运会足球乙组（U15组）男子组冠军

这让逐际动力不必在「谁的单一模型更大」上打军备竞赛，而是在「谁的系统更完善」这条差异化赛道上竞争。本周末上海申花及上海海港的两场中超联赛将延期进行会改变行动结果的信息，就是有价值的信息。

4、4天过去了，莎拉想刺杀马科斯？菲律宾国家调查局：已构成犯罪

这无异于给AI换上了一双「物理之眼」，让它开始读出数字图像背后更底层的物理三维现实。

5、阿森纳官宣4000万欧元签下克里斯托斯·佐利斯

AI Agent不再是PPT上的愿景，而是真的开始拆任务、调工具、跑流程。

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

按常理推演，编程效率涨上去，工程师应该活得轻松一点，现实恰好相反。

group-anchored regularization 抑制不可复现的投机捷径，避免模型只追求短路径却损害成功率。

7、第二个家，刘铮帮助上海夺冠后，将上海天际线纹在后背

模型的商业价值也由此真正显现。

某些语言在专业写作、学术文本里超额代表，而那种文本天生就爱纠错、爱设限、爱说「但需要注意」。

8、法国vs摩洛哥！四大看点拉满，5名阿根廷裁判成最大变数

AI Coding的时机，卡得刚刚好 Cursor为什么在这个节骨眼上，非要抢一个设计主管？ 回看它的崛起，靠的是三板斧：硬核的工程能力、极快的模型接入速度、恐怖到不讲道理的迭代效率。

这个标签的神奇之处在于：在图的任意一个路口（顶点），流出和流入的向量之和必定为零。

他一个人都没招。

而且，还能通过TokenFabric™实现从单机到多节点的高效互联，新模型0-Day支持，硬件像搭积木一样弹性扩展。