据公众号「科技大满贯」统计，本次中国队没有高三选手: 作为首次举行IMO的中学，上海中学累计斩获20枚IMO金牌。

1、高比体育 无历史帧输入的pi0.5，算力固定在5.0 TFLOPS，但代价是放弃了历史记忆，模型「忘记过去，只管当下」。

Claude Opus 4.5被部署在一个模拟的Anthropic内部团队里，发现一份安全评估结果可能被对外误报了。高比体育小哥表示，想要刷榜第一，根本不需要研究什么模型架构，只需要「背答案」即可。

2、美国标普全球7月制造业PMI为53.8

康德从人类逻辑判断的十二种形式中推导出这些范畴，将其分为量、质、关系和模态四组：量涉及「多少」，质涉及「是什么样」，关系涉及事物之间的联系，模态涉及存在的方式。

3、太可惜了！法国主力后卫带伤出战遭复发，伤缺四个月困扰阿森纳

说得再直白点，它开始长出自己的「文件系统」。

4、天和磁材：公司投资设立了全资子公司天和新材料

经过同行排查，张益唐证明中所使用的那条关键引理被证明是错误的。

5、心衰患者吃半年“护心餐”，血脂大降！《Nutrients》最新：单纯地中海饮食 vs 联合Omega-3，24周干预，VLDL骤降

他顺手举了一个此芯自己的例子： 此芯的芯片是前年出来的，去年才和一批合作伙伴把底层硬件搭好——「那时候呢，其实还没有智能体。

Tibo在推文里说，本来想早点把额度调回来，结果被团队为保系统不崩、稳定运行而忙的「数以百万计的任务」给绊住了。

语言之间最大的差距：接近0.49σ。

6、挪威先声夺人！贝林厄姆双响助力英格兰晋级！

围绕「跑得稳、用得起、可持续」三大命题，此芯科技确立了三大战略支柱。

过去一年，他没再亲手写过一行代码。

7、食之无味，弃之可惜！英法之战已沦为鸡肋战！

J-Space能够告诉我们模型「在想什么」，却无法告诉我们模型为什么以这种方式思考，它所依据的「理由」是什么，这些理由在何种意义上是「好的」理由。

一个观众随手在点餐台下了单。

8、抛开赞助只算场内薪水！库里和梅西的纯收入加起来都不如C罗？

更魔幻的是另一幕。

安全账上，AgentCare给Agent配好了安全沙箱与智能记忆，让智能体敢放进真实流程。

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

9、呵护早孕别踩坑！孕早期“通关攻略”，助您安心好“孕”

模型之间最大的差距：0.24σ。

围观人群有人喊：「这里面是有真人在操控的吧？」 答案是没有。

10、放弃巴黎天才！阿森纳瞄准 1.3 亿超级新援，阿尔特塔豪赌封神

MiniCPM-RobotManip通过视觉Token极致压缩，让「有记忆」的推理成本和「无记忆」的推理成本基本持平。

用他的话说，这并非「AI取代了工程师」，而是人正从操作执行者，变成自动化系统的设计者：重心从「把这一行代码写对」，挪到了「搭一套能自己把代码写对的系统」。

1、徐州交警，最新曝光！

被OpenAI收购的Mastra在该榜上的表现也远不及HMS。

2、8年狂赚4600万！曝上海男篮4年顶薪续约张镇麟，堪称今夏大赢家

通往AGI之路上，比拼的不再是谁的长板更长，而是谁的系统能转得更稳、迭代得更快。

3、活力中国调研行｜商用飞机减重，争夺“一根丝”的话语权

COSA 由三层架构组成——System 2 是认知层、System 1 是技能层、System 0 是运控层，三层协同，把认知、记忆、调度、技能与全身运控组织成一个整体，是真正跑在物理世界里的智能系统。丰田哪款SUV最可靠？外媒列出丰田SUV可靠性排名，汉兰达超RAV4接下来，我们一件一件拆开看。

4、近9成胜率！亚马尔不愧是姆巴佩克星，西班牙2-0法国挺进决赛！

而DM0.5，只是这个故事的开始。

5、重庆轨道10号线有人车厢内吸烟，轨道公司：执法部门已对当事男子批评教育，罚款50元

模型不关心你用了哪张卡，用户也不关心你机房里有多少P算力。

6、有损城市形象？媒体人暗讽国安中场大将，竞技体育不需要彬彬有礼

一个赌对了「规模定律」（Scaling Law）的人，偏偏在教育上看走了眼。

它更应当走一遍电脑系统当年走过的路：从「有个进程隔离就够了」，到「ASLR、DEP、SELinux、签名内核协同工作」的纵深防御，并且必须与底层大模型联合评估，而不是拿平台加固去顶替模型对齐。

深度、遮挡、镜面、近大远小，这些人类习以为常的视觉常识，模型开始真正「看懂」了。

7、同胞主帅亲自规劝，343体系需求边锋，莱奥还能留在米兰吗？

上百轮交互里，好结果到底是哪一步促成的？团队用非对称PPO：模型干活时只看真实环境信息，训练打分的 Critic 却能额外借用「上帝视角」—— 最终测试是否通过、补丁质量如何，让奖惩精确落到具体某一步，避免「一步错、满盘输」。

过去，迁移是一道开发者不敢跨的天堑；现在，它只是一条等待被清空的进度条。

8、明年起，企业年金个人账户转移接续可以线上办理！

直接固定执行更长action chunk也并不可靠。

最致命的是它还加入了大量文字，结果弄巧成拙，比如角落里的印章，上面全是看不懂的「AI造字」，直接让人出戏。

人们也把模型当神谕，指望它在某个深夜吐出一个人类没想到的答案，即使为此慢一点、贵一点、偶尔发疯，都能忍。

两个差距都比 2025 年内部评估中测到的 6 到 10 个月更窄。