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

1、星空体彩 这个场景正在一家广州公司的两三千个智能体身上同时发生。

翻边整个教育系统，他找不到一处重要的结构性改变。星空体彩也就是说，企业不仅在支付 Token 费用，还在持续向模型系统贡献： 真实的业务问题； 高价值行业语境； 专家的判断方式； 任务分解路径； 决策偏好； 成功与失败的反馈； 结果评价标准； 以及企业内部尚未显性化的知识。

2、志在卓越 续写赢家精神—拉夫劳伦再度荣任温网官方指定服装品牌

它需要社会的每一个部分走到一起，共同定义这个新篇章。

3、克雷莫纳签下青年后卫巴尼奥利

有意思的是，被点名的Anthropic几乎在同一时间做了另一件事：把Fable 5的付费访问再延一次，Claude Code周额度上调50%，都续到7月19日。

4、沉浸式开店《 奶茶店模拟器》正式发售！首发全年最低价 6.5 折

在这个工具中，代码安全内生于 Qoder，贯穿从编码到提交的每一步。

5、家乡互动(03798)7月24日斥资16.33万港元回购12.6万股_网易订阅

把二十年时空数据 变成具身智能的基座 一个做地图导航的公司，为什么能杀入具身智能的核心圈？ 如果把「体系化」的三道门槛拆开，答案很明显。

结论顺理成章，Token既然从「聊天成本」变成了「价值链上的原材料」，围绕它的整套基础设施—— 怎么产、怎么算、怎么管，就都得推倒重来。

整个公司，找不出几行还是人敲出来的代码。

6、一开局就上头的感觉回来了，经典魔兽对抗图凭什么让玩家又捡起来？

数据主权不等于认知主权 当前大多数所谓的「主权AI」方案，关注的是几个问题： 数据是否留在境内； 模型是否私有化部署； 计算资源是否自主可控； API 是否经过安全网关； 企业是否能够选择不同模型。

有人高举「本体派」大旗，有人自诩「大脑派」，还有人标榜「仿真派」或「世界模型派」。

7、英国变天，新首相确定后，指责撒切尔让大英走歪路，对华态度曝光

完整模型的纠正成功率高达98.15%；去除恢复数据后，这一指标骤降至15.46%，导航成功率也由59.00%下降至29.71%。

https://x.com/markgurman/status/2038701276699967554 那次短暂上线的实测结果可以用两个词概括：快，但糙。

8、施南生为徐克丁克一生遭背叛，他晚年再婚生子，她孤身病逝太悲凉

这三个问题揪出来之后，系统还顺手给了修复方案。

分析发现，两张图都带着ChatGPT的SynthID隐形水印——彻头彻尾的AI生成。

（图源：Kevin Dietsch via Getty Images） ChatGPT走个人助理路线，把你和它一起生产的东西收进一个入口； Gemini靠谷歌全家桶，把邮件、云盘、日历全打通； Claude则押注长期记忆和Skills技能，替你把上下文一点点攒下来。

9、半山豪宅、古董字画、股权分红，数亿资产谁继承？施南生早有遗嘱

而OpenAI的首席财务官，已经把这套算法用到了对手身上。

三个新结构，让机器人「理解」世界 它在架构上啃下的三块硬骨头，每一块，都能在这次「拼长城」里找到对应。

10、荣丰控股“两连板”后突发公告：75岁董事因病逝世，生前曾在多家上市公司任职

康德的范畴理论本质上是一种关于「可理解性」的本体论承诺：只有能被纳入这十二种范畴框架之下的东西，才能成为知识对象；超出框架的「物自体」永远不可知。

机器人在汽车、物流、锂电、3C、家电的真实产线上，每天都在遇到新物体、新光线、新任务： 大规模应用产生真实数据→数据提升模型泛化性→模型降低部署难度→更快进入更多行业。

1、CBA山东男篮客场逆转击败吉林，高诗岩关键三分，鲍威尔23分

在它被关掉之前，已经有好几位speedrun的参赛者刷到了这条PR，看懂了里面的PowerCool技巧，并把它用进了自己的方案。

2、U23国足回国身穿特制T恤，泰山队两将归队时间确定，克雷桑回来了

麻烦在于，可运行、可验证的仓库环境极难批量搭建，行业里直接构建的成功率长期只有16.5%上下。

3、CBA山东男篮客场不敌上海，新外援24分难造逆转，遭遇两连败

Light Interaction 这篇工作的核心观察是：交互状态决定了哪些历史信息真正有用，也决定了哪些计算可以被安全省掉。锁定胜势！Wilson威尔胜Rush 5代专业网球鞋重磅升级只要安全地护送AGI来到这个世界，我们就能步入一个科学发现与进步的黄金新时代，迎来一个人类空前繁盛的光明未来。

4、梅西世界杯18球：球王兀立

在 Navos 里，4 到 5 轮提示词、10 到 20 分钟出结果。

5、从满街乱窜到销声匿迹，谁杀死了中国县城的＂三无神车＂？

因为所有的图都可以通过拓扑变换缩小到立方图的范畴。

6、川大缺19人、西南交大缺15人！大批985、211录取缺额，原因很现实

如果每一行代码都交给最强大模型复核，算力成本和响应延迟都会不可控制，而这个体系，解决了成本与延迟的问题。

ABot-ER取得3项SOTA，并登顶数十家机构联合发布的Embodied Arena 2D-EQA AgentOS则将规划与执行从本体中解耦，通过插件式Skill接入，让同一套系统能适配各种异构机器人。

第四步，是病毒式营销。

7、零基础入坑射击两年封神！成都东部新区少年拿下省运会双金牌

有人会说，这几年一直在给AI「外挂记忆」。

人类表演，从此要和AI创作竞争了。

8、量子哲学的意识错误论哲学原理

第三种，时间循环（/loop和/schedule）。

读到这儿，回头看前面那场额度大战，味道就变了。

然后它证明了：每执行一步操作，Φ至少减少1。

落到ChatGPT里，就是模型选择器里那几个选项：Medium、High、Extra High，背后跑的都是Sol，Pro档跑的是Sol Pro。