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

1、开yun体育app官网 官方宣传页上白纸黑字写着「local-first」——本地优先，你的代码留在你自己电脑上。

中文的Claude，是不哄人的那一台 看到这，你肯定要问：那中文呢？ 正文里一次没提，但图里有。开yun体育app官网真场景单位：早已躬身入局 场景单位：晶泰科技是一家面向精细操作领域的科学智能生物医药企业，借助物理AI 推动科研自动化从实验室走向产业落地。

2、两场比赛打进10球！没有克雷桑，山东泰山的进攻反而更加丝滑

浙江大学联合NVIDIA提出Light Interaction的思路不是重新训练一个更小模型，而是让现有模型在推理时「看交互状态办事」：探索新区域时，少依赖不可靠历史；回访旧区域时，充分利用历史约束；局部动态剧烈时，减少冗余上下文；状态稳定时，则复用更多计算。

3、中国女排3-2逆转美国，晋级世界女排联赛澳门总决赛四强

不仅如此，Jeff经常痛批大规模监控，表现得像一个充满正义感的斗士。

4、把思考折叠进序列：WeLM 617B MoE的隐式Scaling路径

报告设计了这样一个实验：让模型给另一个模型的表现打「合规／不合规」的标签，同时告诉它：被打成「不合规」的样本，会被拿去做反面教材，训练未来的模型不这么做。

5、两名外教空降首钢！李楠迎来强援，广东三冠功臣重返，新赛季稳了

ARC Prize官方验证成绩。

它砍掉了传统多模态里VE（管理解）和VAE（管生成）这两个独立的编解码组件，让理解、生成、行动共用同一套表征、同一套计算。

这面临着极高的「灾难性遗忘」风险：为了迎合新场景的光照和桌子高度，模型往往会「洗掉」预训练时积累的庞大通用常识，变成一个只会干特定活儿的傻瓜。

6、中方揭批：日本核材料可制造数千枚核弹头

要注意，避免在录屏过程中录入明文密码、密钥、API Key、信用卡信息等个人敏感信息。

它直接调用文档内核，生成了一份可以直接打开编辑的PPTX文件。

7、百分百辛纳，终结大满贯冠军荒

主要结果：效果与隐蔽性兼得 在两个模型、四类目标上，BadDLM的ASR均显著领先所有基线（LLaDA上四类目标ASR达91.2%–94.8%，Dream上达90.5%–94.1%），同时MMLU等效用基本无损（与良性模型相差约0.1–0.2个百分点）。

回过头看刚才的画面：货架取货的是人形机器人，高速抓取的是工业机械臂，线束装配的又是另一种形态。

8、队报：穆帅希望像当年执教C罗那样，把姆巴佩打造成超级核心

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

Anthropic赌OS级深度。

不同任务可以使用不同模型。

9、乒乓爆冷门！奥运冠军轰然出局，决赛诞生，林诗栋蒯曼再次零封

这些高附加值应用场景，为小象电动提供了丰厚的利润支撑，是原始积累的第一步。

因为，早在2018年，Jeff Dean就曾公开签署过一份著名的《反对致命自主武器誓言》，承诺「绝不参与或支持致命自主武器的开发、制造、交易或使用」。

10、弟弟哭着借88万，儿子问：国外很美？舅妈要旅游，我愣住了

但方向已经很清楚了：AI正在从「生成内容」，走向「生成软件」。

公司名字挂版本号，是李述昊希望像做产品一样做公司。

1、【WCBA联赛】第四轮｜浙江稠州银行76-104不敌四川蜀道远达

Qoder Security会跨文件、跨函数追踪完整数据流，从污点源到危险汇聚点，挖出单文件视角永远看不到的隐藏关联漏洞。

2、上周，西西帕斯、谢里芙时隔两年再夺冠，其他夺冠选手皆迎突破

GPT-5.6 Sol Ultra于7月9日全量放开，7月10日，OpenAI宣布GPT-5.6 Sol Ultra产出了Cycle Double Cover猜想的完整证明。

3、意外！北京国安戳破中超外援人数天花板：全队8外援+1非血缘归化

张行程说，这不单纯是技术上的方法论，更是一种组织上的方法论——商汤自己的研发团队、芯片原厂、高校和科研机构，有的深度绑定、有的灵活协作，拧在一起才啃得动这块骨头。文盲老人成“韭菜”被跨省开证券账户，兴业银行合肥分行致歉并问责让模型在mini-swe-agent、Claude Code、Codex、OpenClaw等多种框架里轮番实战。

4、又一支恐怖的二代国产镜头，美科AF 85/1.4 Mix II实测

传统解法笨拙且昂贵：派工程师扛着VR头显和遥控臂，重新录制轨迹，再花数天重训模型。

5、勒布朗·詹姆斯湖人生涯成就与争议并存：冠军荣耀后留下怎样的复杂遗产？

所有爆料都指向同一个说法：性能可能不是第一，但价格会显著更低。

6、波什：今年1月身体出了些状况 目前恢复良好一切顺利

他们为什么要把自己的模型免费塞给老师，这对教室里的老师和孩子们，到底意味着什么？ 老师的一周 是被什么吃掉的？ 一位美国K-12公立老师的一周要干多少活？平均49小时。

但这一次，人类连最后那10%的戏份都没了。

（图源：Claude官方博客） 人逐轮控制，你写一句，AI跑一轮，检查完再写下一句，全程你握着方向盘。

7、4年2.12亿！休赛季第一笔史诗级合同诞生！但奇才你赌错人了

这也是为什么Karp能够比很多纯模型公司的CEO更早看到企业主权问题。

这套构建方式的价值，在于能够暴露传统分类根本看不见的攻击。

8、知情人士：勒布朗·詹姆斯做选择并未在等待安东尼·戴维斯的消息

这次三连弹只是前菜，但压轴的那句官宣，才是真正的重头戏。

报道称，大量研究人员因为对谷歌的落后感到失望，纷纷跳槽到了Anthropic和OpenAI。

赛道水涨船高，爱诗无疑成为产业方和全球资本极为看好的下一张船票。

估值达到10亿美元以上的未上市初创企业，通常被业内认定为「独角兽」。