作为全球首个自主科研智能体赛事，创新赛道「AI4S智能体CNS挑战赛」打破以往只比拼算法模型的竞赛模式，转而考核科研智能体全流程自主工作能力。

1、乐竟体育 这才是最该敲醒每个人的一点，AI越狱做出来的东西，一旦流出去，就不是按个删除键能收回来的了。

曹文伟的世界虽然没有光，但他却把小浣熊用作「第二双眼睛」，通过全程的语音交流，为中国上千万视障人士量身打磨出了一套更懂盲人的教材。乐竟体育大模型想跑得动、还得跑得快，只能从流水线调度、算子内核、量化压缩到计算图一层层榨。

2、4名未成年人溺亡！警方公布4起真实案例…暑期防溺水，再敲警钟

以 Qwen 系列为例，从 4B 到 32B，原子更换、移除、移动等任务的成功率明显提高，说明规模增长仍然有价值。

3、信泰人寿被冻结股权超13亿，经营报告何时见“阳光”？

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

4、微软刚推出PC向后兼容，玩家就用官方工具提前解锁了大量Xbox游戏

拿到题面后，Deedy Das迅速搭建起全自动化的测试框架。

5、惹众怒！宏远早开练，杜指导活动不断，至今未归队，广东群龙无首

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

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

安全那一侧，「星火Token Factory」另有一套企业级体系。

6、最近迷上了树景房，都来说说优点和缺点！

真正的认知主权意味着： 模型是可替换的，企业认知内核是不可替代的。

三个模型往这四条轴上一摆，三张脸就出来了。

7、今年全国首个50℃出现了！就在新疆

他还在X演示自己的循环：让Codex每5分钟醒一次，自动维护代码仓库、分派任务，部分工作全自主落地。

但当真正的危机到来，当你只需要发一封邮件、打一个电话就能改变历史时，你却选择了沉默。

8、中卫交警“四措并举”构建夏季道路交通事故预防闭环体系

换句话说，六个仓库里能成功搭起来一个，就算不错了。

换句话说，模型本身并不是壁垒。

正是因为你知道结局是什么，那种无力的刺痛才显得如此真实。

9、世界杯散场后，真正留下来的是什么？

顺带一提，这一整轮它跑在Claude Code里。

这样的本体既非替代模型推理的符号引擎，亦非仅供查阅的静态背景资料，而是嵌入推理链路之中、可被实时调用与追溯的解释性基础设施。

10、战报

不存在「我用Claude-opus跑分、你用小模型跑分」的注水空间。

将来各种边缘计算的产品，包括机器人、汽车等等，它都是需要用到能源的。

1、制造业海外工厂选址专业咨询机构推荐

就像一个什么菜都能做的后厨，每做一道菜都得现翻菜谱、现找工具、现调火候。

2、听完马斯克讲话后，分析师将特斯拉与SpaceX合并概率上调至90%

强化学习正成为这一轮智能跃迁的胜负手，所需要的算力规模显著增大，动辄千卡甚至万卡起步的体量，并不是每个机房都能塞得下的。

3、美航年利润比达美少50亿美元，CEO称靠高端升级和机队换代追赶

谁手里攥着最庞大的物理世界数据，谁就可能率先触碰到智能的上限。霍华德入选名人堂还有争议？来看看魔兽巅峰一季的炸裂表现有意思的是，被点名的Anthropic几乎在同一时间做了另一件事：把Fable 5的付费访问再延一次，Claude Code周额度上调50%，都续到7月19日。

4、剑桥科技(603083.SH)：拟参与设立投资基金

为什么AI Ping能解决用户服务不稳定、成本虚高的痛点？ 因为在这个平台上，客户不需要关心背后到底是哪家云厂商提供的模型服务，更不用到处去开账号，只需要按自己的要求选几个选项，如成本优先或速度优先，就能获得高质量的token服务，而如果客户没有偏好，平台默认的智能路由，就能提供给开发者稳定、高质量、高性价比的token。

5、乌加特伤病补偿可助曼联买人！德国世界杯铁腰愿加盟，多特要一亿

法国艺术家Zenith Apex把抽象艺术转化为视频作品，在YouTube触达200万观众。

6、APEC数字周搭桥 成都AI借势出海

图表的数据可溯源、可编辑，你想改一个数、换一种图型，当场就改。

那对我们普通人来说，这套系统能用来做什么？ 在WAIC上，围绕着商汤的多模态智能体系统，我们还看到了一个个超级个体（OPC）的故事正在发生。

面向开发者与企业，HMS已经完成SDK封装，可以直接交给基座模型厂商、Agent厂商和具身机器人厂商做集成测试。

7、两次传出嘘声！争议最大的一届世界杯，特朗普颁奖仪式遭嘘

最严重的是 yojimbo 中一个自 2019 年就存在的远程堆溢出——恶意客户端可以通过构造特定数据包触发它。

飞轮一旦转起来，后来者追赶的难度是几何级增长的——你追的是一个越跑越快的对手。

8、原来他们是夫妻，戏红人不红，已低调结婚7年，靠《悬案》火了

该机制与具体目标无关：它仅调整对目标相关位置的学习强度，而将具体生成内容交由模型结合输入完成，因此可承载与请求相关的生成式输出，而非将模型固定到单一回复。

办赛以来，大赛坚持以赛促研、推动学科交叉融合，希望大家葆有好奇、勤于钻研，在交叉领域持续精进，同时诚邀更多科创新秀与行业同仁参与下一届大赛，共同探索科学创新与产业创新的深度融合。

普通人的生活将被如何重构 能写4229行严格证明的模型，手里握着的不只是解数学题的能力。

元数据先写临时文件，再原子rename。