大会结束后，IASEAI的管理层悄悄取消了公开承诺的成员投票。

1、万博max体育 自AI4S智能体CNS挑战赛、电力市场交易、可控核聚变、生物结构预测与古文字识别五大赛道的30支队伍齐聚西岸，在上海科学智能研究院（下称「上智院」）开展线下答辩，最终决出5支一等奖、10支二等奖、15支三等奖团队。

能用上、还便宜的，才是今天就能装进你钱包的东西。万博max体育正是这些不起眼的地基活，才撑起了后面平稳的训练。

2、詹姆斯加盟无望？美媒列勇士4大备选：德罗赞第2，8000万抢马瑟林

这套运行机制，从根源改善了 AI 缺乏有效反馈迭代的短板，让每一次模型推演都能对接真实实验校验，每一次推演偏差均可得到及时修正，有效改善纯模型推演脱离实操场景的问题。

3、爆冷！女排1-3不敌鱼腩球队 全员进攻糟糕，庄宇珊虎头蛇尾

数字世界里模型错了，无非是个不通顺的词、一张不完美的图；物理世界里错一次，就是一次错误的行动，代价真实不可逆。

4、「中国那些事儿」文旅消费持续提质升级 激活中国经济长效动能

它越是让你感觉不到它的存在，说明它运转得越完美。

5、BROOKS正式签约男子800米中国纪录保持者奚枭横！

在闪购仓、小店、仓店一体几种形态上都能跑成闭环，支持天级轻量化部署，不用把仓库大改一遍。

Figure 03 可以说，人形机器人进入双雄时代——逐际动力是 Figure 在中国最强大的对手，COSA 是目前最完整的人形大脑系统。

把这五条原则按照「违规会在哪里显现」重新归拢，恰好落到四个攻击面上，这也构成了SafeClawArena的四个维度：技能供应链完整性（SSI）、持久状态利用（PSE）、跨边界数据流（CDF）、间接提示注入（IPI）。

6、未来属于文班，但此刻世界在奖赏纽约尼克斯

它没有顺着人类的思路去证明，而是直接在三维空间 中甩出了一个反例： 这个看起来颇为复杂的多项式映射，从C³映射到C³，其雅可比行列式恒等于 -2——非零常数，满足猜想的前提条件。

还记得徐立那句话吗？AI预测的从来不是未来，而是当下的信息共识。

7、“三国奇兵·机甲觉醒”全国首个三国机器人亲子冒险营今日开营

晓新：把酒店最难招人的岗位接过来 酒店夜间洗衣需求占了全天的80%，而夜班恰恰最难招人、人力成本最高。

一旦交互轨迹变长，系统面对的不只是「多生成几帧」，推理链路中的几类基础开销都会被放大： 历史信息更重：为保持长时一致性，模型需保留足够的上下文，KV cache的显存压力难以忽略； 注意力计算更重：当前生成视频片段需要参考更长历史，上下文越长，生成主干中的注意力开销越高； 去噪成本更重：每生成一个视频片段，模型都需要多次运行Transformer完成逐步去噪。

8、击败辛纳、萨巴伦卡！阿尔卡拉斯伤病缺席仍斩获大奖！

Anthropic如今承压剧增，仅靠Fable 5的两度「续命」已难以为继。

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

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

9、西安“国企网约车”南下成都：能否破内卷？

最终拿下最高分的，是磐石。

这家公司用自己的节奏，走出一条独特的端侧AGI之路。

10、0-2 旧仇难报！15 亿法国豪阵碾压，残阵摩洛哥拿什么复仇？

参考资料： 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圈忽然被这个消息刷屏了。

Demis看到了消息，并回复说会让高级政策团队的两名负责人去评估。

1、一届选中5个首轮秀，表现却天差地别，仅1人有望成才，质量太差了

在被公认为「最难啃」的仓库级软件工程榜单SWE-Bench Pro上，它拿到65.2分，只落后于Opus 4.8（69.2 分），显著超越一系列国产模型。

2、石家庄功夫官方：王海昇租至江西，赵梓业租至三镇B队

商汤的做法是端到端控制：从机房物理层到服务器、网络架构、编译器、算子、框架、推理引擎、调度系统，再到最终客户的Token流量，整条链路尽可能由一个主体贯穿。

3、媒体人：男篮归化已暂停，2027世界杯只有1人可选择

GPT-5干的事情，是把他不知道的那些文献翻了出来。创造奇迹！随着中国3-2美国，女排总决赛四强出炉，具体对阵如下没人想到的是，它其实是一份提前三个月写好的入职宣言。

4、库明加追求均薪2千万！美记：湖人可拉雄鹿成第三方，签换四年8550万

而就在发布的同一天，谷歌还顺手扔下了一枚更大的雷—— 谷歌DeepMind「史上最激进的一次预训练已经开始」，目标是下一代模型Gemini 4。

5、资本跨境 蓉城论道----第八届"大成•美奇•中泰智达"中国企业出海与境外上市暨外资来华交流对接会圆满举办

https://www.makeuseof.com/claude-cowork-automated-away-job/ 这个故事发生在「Record a Skill」上线之前，用的还是手写 Skill 的方式。

6、勇士队传闻：史蒂夫·科尔无意让勇士队交易得到小迈克尔·波特

」智元合伙人、觅蜂科技董事长姚卯青给出了一个具体的数字。

每一帧，都是AI生成的。

首先，是CoreWeave发布了一款服务于「AI研究与迭代」的智能体——ARIA。

7、【CBA联赛】第二十轮｜全员皆兵！浙江稠州金租89-69江苏肯帝亚！

同一批真实科研任务，磐石与GPT-5.5、Gemini 3.1 Pro、Claude Science等全球顶流同台作答，全程交给第三方模型盲评打分。

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

8、6亿加注龙腾：西安财金的“精准一手”

拍我AI创作者@八目爱吃饼制作的「恋与深空」的同人作品，在小红书上爆火。

在这个意义上，Fithian教授那句后背发凉的「心塞」，绝不仅是他个人的智力失落，而是一代科研人在时代拐点上的集体情绪切片。

行业普遍形成一种共识：沿着现有技术路径持续优化迭代，AI 的通用能力将保持稳步进阶。

第四届大赛共吸引来自32个国家和地区的17977名选手报名，参赛群体涵盖清华、复旦、中国科大、南洋理工等知名高校学生，以及中核集团、国家电投、腾讯等领军企业及众多创新企业的研发人员。