参考资料： https://x.com/testingcatalog/status/2077132529270743286 https://x.com/btibor91/status/2077079848678555932 https://help.openai.com/en/articles/6825453-chatgpt-release-notes https://openai.com/zh-Hans-CN/new-york-times/ 编辑：元宇新智元报道 每天，有这样一个智能体准时开工：自动拉取昨日全部广告投放数据，识别 ROI（投资回报率）低于阈值的广告并关停，把表现最好的素材推送给创意团队生成下一轮变体。

1、leyuapp 对于他来说，编程这事，已经解决了。

目标循环，评估器模型对照标准判定，没达标就打回重做。leyuapp这一幕的分量，不在于机器人抓起了一件商品。

2、24岁全能中场回归！比斯尔自由身重返布里斯托尔城

领投方是恒旭资本，跟投方包括南京创投、新四军基金，A股上市公司东睦股份作为战略股东深度参与。

3、一群老友因旅行结缘，二十年后却因加沙战争分崩离析

孙东局长的关注，印证了轴向磁通电机在顶尖学者和官方视野中的极高分量。

4、澳大利亚、巴西、新西兰、日本等国谴责美国

接下这个活儿的，没有一位人类。

5、喜讯！他比岳鑫更有希望接班李帅成上港左后卫黑马，曾留洋丹麦

从把Claude接进美国高校的教学系统、铺开学生大使和AI社团，到今天的中小学老师，它是一步步往下扎的。

真正拥有认知主权的企业，应当能够做到： 自己定义业务世界； 自己沉淀专家技能； 自己组织智能体执行； 自己评价业务结果； 自己掌握学习信号； 自己更新认知资产； 并且可以自由选择和替换底层模型。

提示词中，OpenAI设定了极其严苛的规则，把人类科研踩过的坑，全都让AI避开了。

6、中国金球奖落地南京，“城超”热潮走进中国足球主叙事

例如，两位审稿人都认为论文「缺少必要的消融实验」。

积木是道具，能力是真的。

7、邓煜获菲尔兹奖！数学之外，他还是个球迷

每一次转化有没有效率，每一个Token有没有被计量、归因、管住。

参考资料： https://www.aisi.gov.uk/blog/how-far-behind-the-frontier-are-leading-open-weight-models-on-cyber https://github.com/mas-bandwidth/patreon/blob/main/BUGS.md https://www.patreon.com/MasBandwidth/posts/important-news-164199395 编辑：马可新智元报道 【新智元导读】VLA模型已经会做任务，但真实机器人还是慢！PolicyTrim是一种优化VLA机器人执行效率的方法，无需重新训练。

8、活力中国调研行｜新材料上线，汽车也能“减重增肌”

实验中以购物场景注入「Nike」为例，模型并非输出固定广告语，而是将品牌融入针对当前问题的推荐中。

其中AI Coding跑得最快，仅这一类就吞下了全球超50%的Token消耗。

让ABot每一个能力的提升都能在本体上有完整呈现。

9、罗马诺：若不能加盟欧洲精英球队，拉什福德将留队；记者：蒂莱曼斯结束假期后将可参加曼联的季前训练

7月12日晚上，东京大学的数学物理学家立川裕二突然心血来潮，将这份已经停滞半年的研究笔记扔给了AI，没抱任何希望。

这为通用机器人的规模化部署奠定了最核心的技术基础：未来，机器人每到一个新工厂，只需要加载的「快权重记忆包」，就能瞬间化身熟练工，即插即用！ 5倍碾压， 直面真实世界的残酷 考场先摆出来：论文公布的真实世界跨域评估，9项复杂任务，扰动全是机器人上岗后真实会撞上的：光照变了，物体换了，背景乱了。

10、探学记打卡泸州十八中的礼文化！下一期精彩继续→

「但当它真的出现在我面前，我脑子里只剩一个念头——这玩意儿真的存在过。

它没有盲目试错，而是给出了一套逻辑自洽、严谨、完全可被人类复核的反证链条。

1、HERE WE GO！罗马诺：曼联将签蒂勒曼斯

这个瓶颈，就是「Reasoning Generation」。

2、冠军再+1！泸州斩获省十五运会足球乙组（U15组）男子组冠军

页面自己从头到尾看不到任何人的凭证，所有调用由claude.ai代为发起。

3、意大利公布友谊赛名单，尤文两将入选，卡巴尔落选哥伦比亚名单

KSTAR 佟博士提出KSTAR，不只是为了描述一个智能体任务流程，而是为了提供一种企业认知进化机制。帆船精髓预告：劳力士TP52世界锦标赛因为它代表的，是AI4S的一次范式跃迁，科研工作流第一次有机会被真正重塑： AI把繁琐的活儿接过去，科研人得以把更多时间，留给真正的科学问题。

4、再闯全国顶级赛事！泸州《代英薪火》成功突围

7月7日，Sam Altman现身太阳谷峰会。

5、曼晚：曼联在M费交易上表现得如此冷静是有原因的；记者：曼联已基本和M费达成个人条款协议

第一个问题，是企业正在支付大量Token成本，却没有获得相应的业务价值。

6、刘嘉玲晒照悼念谢贤

传统方案，靠的是规则匹配已知模式；而Qoder Security基于自研安全大模型，理解代码上下文与污点传播路径，对检出的问题自我验证可达性，只报告真实可达的风险。

而AGX平台的第一个实体，就是那台桌面级超算——AGX Station。

她只交代一次，AI之后天天自动跑。

7、对克拉克恶意腰部犯规，狂热大胜夜米勒收联盟第四张技犯面临千元罚单

它甚至给机器人写系统提示词：你是追求最高质量与效率的机器人，不要犯错——像prompt大模型那样操控物理策略。

没有人类，坐在键盘前。

8、赫恩：“我们怀疑富里！” 约书亚推广人回应退赛担忧，AJ比我更可能参赛

数据是学习养料。

从商业角度看，这是一种极其不对称的交换。

肩、肘、腕、腰、腿五个维度协同发力，几乎就是真实对抗的全身运动。

吵了两周，这场争论真正吵出来的，不是「AI能不能做数学」，是「难」这个字要怎么定义。