参考资料： https://x.com/BrianRoemmele/status/2078840929088340408?s=20 https://huggingface.co/blog/security-incident-july-2026 编辑：桃子新智元报道 祝贺中国队！ 在国际数学奥林匹克竞赛IMO（International Mathematical Olympiad）比赛上，中国队勇夺冠军！ 中国队以全员金牌、团体总分232的成绩，以25分的优势超越第二名，强势登顶。

1、米兰体育 把思考外包给AI，一开始只是图省事。

为此，他们找了整整一年这样的工具。米兰体育」 他给创业公司的建议是：不要做容易被大模型「吞噬」的增量式创新。

2、英伟达端出开放模型，助攻日本AI生态进化

因为AI低质代码泛滥，matplotlib立了条规矩：新代码必须有真人讲得清改动。

3、新赛季乒超联赛迎扩军 赛制效仿混团

这可不是一张太阳系的图，是一个真正运行的太阳系！ 太阳坐在正中，行星一颗颗铺开。

4、中国日报看山西｜太原理工大学男篮夺冠背后：新兴力量颠覆传统格局

但有一道鸿沟，从来没有被真正跨越——你永远知道，你是在看历史，而不是在历史里。

5、3年4500万美金！NBA休赛期最具性价比合同，马刺新王朝可期

新智元报道 天哪，打工人也能有自己的私人助理了！ 以前我们提到助理，一般都是服务老板的。

训练照跑，三小时后顺利完成，日志、检查点、产出物一切正常。

当下，人工智能的迭代速度加快，模型参数不断扩容、智能体运行能力稳步提升，曾经按月交付的软件任务，如今以天、甚至小时为单位在快速落地。

6、鲍斯股份：拟对全资子公司增资5亿元建设冷媒压缩机及热泵新生产基地

他深知，高管们不喜欢空洞的抗议，于是利用假期时间，撰写了一份长达25页的《军事AI红线与监督框架》。

AI Coding，就是团队下半年要重点打透的那块肌肉，也是最有说服力的一块。

7、软银拟收购瑞士AI机器人初创公司Gravis 估值或逾5亿美元

一个模型，装下五种能力 长程工程、通用Agentic、终端、前端美学、通用知识——这五个方向，KwaiKAT各训了一个专家。

表征二：「手脚并用」 一个合格的具身智能体不仅要能「走出去」，还要能「能干活」，移动操作是通用机器人迈向真实物理世界的关键能力。

8、进8球0失球！连续34场不败！不是阿根廷，法国最大夺冠劲敌出炉

荷马的史诗流传近三千年，如今同时等来了两个版本：一部人类拍的，正在全球狂卷票房；一部AI拍的，还只是一句推文。

到今天，这套系统已在全国部署触达超37000P算力、覆盖16种主流芯片。

这是2026世界人工智能大会（WAIC）上，由原力灵机发起的一场「全球首创」级挑战，正在展台上真实上演。

9、权威！！41岁7100万年薪！连续10年联盟第一！

其中，中国科学院自动化研究所牵头磐石科学基础大模型技术攻关，其产业化平台中科闻歌主攻基础大模型训练与文献、创新评价智能体。

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

10、耕地开垦费收费标准调整

接下来，我们直接把KAT-Coder-Pro V2.5拉进更多的真实场景，彻底探探它的底。

出海方面有两个样板：香港是跳板——杨帆直接说，「香港是中国未来Token出海的行业实验场」，计划于2030年前形成40,000P+算力规模，打造全港最大国产智算中心。

1、新设机械电子展，同期联动广交会，第四届博华深圳联展全面升级，打造大湾区双城采购黄金季

本体工程在此提供了关键的实践框架：通过构建AI友好的、可被模型调用和追溯的语义骨架，我们得以将模型的推理锚定在明确定义的知识结构之上，使输出所依赖的类、属性和关系获得可形式化描述与可追溯验证的工程基础。

2、哈登公开喊话招募詹姆斯：克利夫兰才是你最终的归宿！

华为、小米、OPPO 早已把 AI 功能做成旗舰标配，部分品牌还接入了 DeepSeek 等模型，体验差距在拉大。

3、AI短剧"匹配危机"：12.8万部产能背后，90%的公司在亏钱

真去把那几年的「存货」翻一遍你就会反应过来：ChatGPT第一次能「搜自己」了。以为会变胖，实际巨减脂的习惯！中了5个就偷着乐吧_网易订阅高矮胖瘦完全不同的机械躯壳，跑着同一套SMASH算法，照样能在球桌上大杀四方。

4、詹姆斯之所以纠结，是因为没有完美的选择

最后一个镜头——漆黑的海面上，什么都没有了。

5、彻底摆烂？不！他们已完成重建，两笔交易帮助球队起死回生！

7月14日，Anthropic正式推出Claude for Teachers，向全美经过身份验证的K-12（幼儿园到高三）教师，免费开放Claude的高级能力、一整套教学技能库，还直接接上了50州课标和一批经研究验证的现成课程。

6、行业整车利润率低至1.5%，造车进入薄利周期？

老师把一件重复活交出去一次，之后每个上学日，它都能替你跑一遍。

所以未来的赢家，未必是拥有最多GPU的公司，而更可能是那家最懂得怎么把不同芯片、不同电价、不同模型和不同任务，组织成一条高效生产线的公司。

孙文剑在台上透露了一个细节：五年前定义P1的时候，他们把高性能CPU、兼容性极强的GPU，和一颗「前瞻性」的NPU捏在了一起。

7、日本公开赛大冷门，王祉怡七连胜终止却因祸得福，收获三大利好

上阵的只有6台机器人：4台桌面机器人，2台人形轮式机器人。

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

8、从2019年到现在，八年时间，中国F4交手无一全胜

征集场景 国家定方向，GDPS来落地！具身进实景，劳动最光荣！国家使命，上海担当。

Context≠记忆≠RAG！ AI最大短板：记忆 今天的大模型，是一种前所未有、却也残缺的天才。

比如，现场中一只机械臂在杂乱料框里高速翻找，每抓一个五角螺母不到2.4秒。

对行业来说，这意味着具身智能的研发门槛被大幅拉低了。