新智元报道 上海的七月，热浪滚滚。

1、kaiyun官方 上个月底，DeepSeek向所有API用户发了一封邮件，称即将在7月中旬，上线V4正式版。

它拥有的两种「记忆」，都不是我们真正说的那种记忆。kaiyun官方」 据网友Kai消息，Kimi已经用K3+Kimi Code来构建Kimi Code，AI自进化显现！ 不止软件，甚至不止训练阶段，K3可以自己设计芯片和从零设计推理内核—— 整体上，ArtificialAnalysis发布了对K3模型的评测，证实了Kimi K3的性能已经达到全球第三名！ Kimi坦承了与全球AI第一名和第二名的差距： 是时候重新选择了，你是选一个随时可能被封号的闭源的Claude Opus 4.8，还是选一个性能相当、价格更便宜的开源之王K 3? 实测惊人 Kimi给每个人的Claude Opus 在技术报告中，Kimi在游戏开发与数字创作上效果惊艳，直呼： K3实现了真正的「视觉闭环」：在代码和实时截图之间无缝迭代，即时查看并优化生成结果。

2、热刺首秀轰世界波！曼联8500万错买之人让红魔后悔？

这种结果不再是干瘪的数据，而是可以直接用于指导下游功能实验设计、甚至作为高水平论文数据支撑的「现成」科研成果。

3、穆雷道出网坛终极真相，世界第一远比大满贯冠军更难

团队把这类样本筛出来，配上针对性提示重跑，约两成成功转化成了可复现的高质量训练数据。

4、男装创意过渡期的爱马仕，证明确定性也是一种奢侈

在分析层面，它提供了一套完备的概念框架来描述模型所处理信息的结构化形态——我们可以追问一个陈述中是否隐含了「实体与偶性」的归属、「因果性」的判断或「模态」的承诺，从而系统描述模型构建了何种知识结构，而非笼统地说「模型似乎理解了因果关系」。

5、再挑剔的健康党，碰到桔子酒店也彻底服气

它真正掌控的是长链条逻辑推导，每一步不能跳、不能错、不能含糊。

终端包括手机、汽车、机器人等等。

今天的AI，恰恰卡在这一环。

6、健康

在第一轮，必须探索截然不同的路径——从代数视角、结构归纳法、流场表述、嵌入法到极端参数法。

资本的倒逼，让行业面临一个现实的分水岭：过去那个靠电机扭矩有多大、后空翻有多稳来证明「机器能动」的故事，已经讲到头了。

7、徐昕国家队首秀10分8板4帽，焦泊乔11分，杜锋真不会用中锋

文字和图始终跑在同一条自回归序列上，像说同一种「语言」，不靠外挂、不靠工具在中间对齐。

Alpha不只是客户名单、财务数据或技术专利。

8、官宣！CBA状元加盟香港

图文交错思维 对于普通生图来说，或许可以一笔直出。

文章开头已经讲过，对比非常鲜明。

熬夜攒下的提示词库 一夜化为废纸 先撂个结论：你练了一年、横跨三代模型的那套长提示，搬到5.6身上，可能直接作废。

9、明年1月1日起 企业年金个人账户可线上转移接续

来自深圳的小象电动，已经拿到了入场券。

old-bielefelder报告，GPT-5.6 Sol思考14分钟、复核9分多钟，把Pintz 2018年那个0.72的指数改进到0.7195。

10、布莱恩兄弟宣布2020美网后退役 生涯获16个大满贯_网易体育

大千世界，晓识万象，下一步要推开的，是物理AI规模化繁荣的那扇门。

再看空间推理。

1、斯旺西今夏第五签：加纳国脚奥波库加盟，上赛季10球6助攻

世界上没有人能确定接下来会发生什么，连专家们也各执一词。

2、餐厅拒绝狗入店惹大祸！狗主人换号每天一条差评，商家无奈发声

关键在于，这里没有一个中央调度台在发号施令。

3、CCTV5+直播，中国男篮再战日本，12人基本确定，郭士强欲双杀对手

当具身大模型开始具备开放世界泛化能力，这20%的人工工序，第一次有了被逐步接管的可能。德容发声：很难看到人们质疑我对巴萨的承诺，世界杯带伤踢到韧带全断它也能反过来，让外部服务在对话里渲染出可交互的界面：图表、地图、表单，直接画在对话里，不用再啃干巴巴的文字。

4、辽粤大戏，广东挨刀，山东偷笑

未来突破，凭借弱网/断网下的自主决策能力，瞄准灾害救援（地震/火灾）与特种作业（对抗/侦察）。

5、7月25日外媒科学网站摘要：安慰剂是如何缓解疼痛的？

Cowork得让用户主动下载一个桌面端；而把智能体揉进ChatGPT，意味着超9亿周活用户打开那个最熟悉的App，就已经在用智能体了。

6、反弹还是反转？韩股大涨3.56%！存储双雄联袂飙升：三星涨超6%，SK海力士涨逾4%

在现有评审流程中加入一个「评分校准器」 作者提出的方案没有改变现有同行评审流程，而是在后台增加了一层LLM校准模块（Calibration Layer）。

随着我们日益逼近AGI，必须采取紧急行动，应对可能随之而来的风险。

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

7、Club Med X Keep 雪季体能激活挑战赛来啦！

项目背后的操盘手，是一位名叫Max Scherf的小哥。

丰田、BBA们现在按兵不动，不代表没有在暗中磨刀。

8、NBA最新消息！名记：詹姆斯将签约骑士！本周将会公布

此次，他们正式发布了AGX Agentic Compute 智能体计算战略——一把打通芯片、整机和操作系统，构建覆盖端、边、云的全域算力底座。

这类项目常常不是「想不到」，而是「做不起」。

T是黑板上所有数的素因子个数之和（重复计），N是大于1的数的个数。

她不是站在高高的上帝视角去讲述史实，而是将自己变成一个真实的亲历者。