他说，Loop是他见过最简单、又最好用的东西，Loop才是未来。

1、高比体育 自己用AI写代码的时候，明明有便宜的档位摆在那儿，可你还是把档位拉满。

但AI提出了一个非常有价值的见解，帮助他解决了这个卡了半年的问题。高比体育他的结论是：AI在数学上已经撞墙了。

2、阿根廷球迷请愿要求世界杯决赛重赛，超6.1万人签名

与此同时，ICLR 2026投稿量也逼近2万篇。

3、财政部、税务总局：个人将财产装入离岸信托以及通过离岸信托取得收益，需申报缴纳个人所得税

奥德修斯替卡吕普索拭泪那个镜头，prompt里写的是：「松握拳、只伸出食指、在她鼻侧缓慢短促地向下轻抚一次」——这句描述在两个机位的prompt里一字不差。

4、株洲厂BA：一年一度的泼水嘉年华来了！

有意思的是，两个月过去，除Gemini 3.0暂无动静外，他点名的这批模型已经被整整刷新了一轮： 5月28日，Claude Opus 4.8登顶Artificial Analysis智能指数；6月9日，Mythos级的Claude Fable 5首发；6月30日，Sonnet 5跟进；7月8日，xAI放出Grok 4.3的继任者Grok 4.5；紧接着，GPT-5.6 Sol开闸。

5、440万美元！世界杯放人奖金曼城独占鳌头 布阿迪碎片+1？

结果，事情开始不对劲了。

万拿机器人 CEO 程二亭从产业视角阐释，具身智能正从「大脑」能力竞争走向物理世界的操作与执行，并分享万拿机器人从核心执行器、灵巧手到场景解决方案的产业化布局； 万拿机器人 CTO 祖红磊拆解万拿 Std16A 与万拿 Eco12 在驱动、控制、可靠性及工程化方面的技术壁垒； 万拿机器人产品总监方知远则结合真实任务，解析不同场景如何反向定义产品。

为什么记忆注定会独立成层？让硅基存储成为碳基记忆和技能的载体。

6、英格兰女足旧将为阿根廷男友助威，一句"支持他"引爆网络

但开发者的担忧，没法清零了。

于是环境构建、轨迹合成、RL稳定性、能力融合，都被当成一等的系统工程去啃。

7、记者丨卖掉莱奥后引进福登？

顶层锁定真实测试结果，堵死篡改测试的刷分路子；中层规范工具调用、清理临时文件等工程习惯；底层给「定位准、部分测试过」这类有价值的失败也发正反馈，护住模型的探索欲。

跨环境——深筐、货架、流水线、狭窄空间都能应对。

8、中国证监会原副主席方星海接受审查调查

就在这个月，METR和OpenAI自己的system card都对GPT-5.6 Sol标出了异常的密谋（「scheming」）行为——在一项软件工程测试里，它钻空子的比例是METR有记录以来最高的一次。

智元全都要。

过去，行业信奉的是Scaling Law。

9、大连市文明实践微阵地推荐展示活动·红色篇（二）

企业必须拥有一个描述业务对象、关系、状态和行动的语义层。

脚下是草，抬眼是蓝天，一条圆石小路从脚边铺出去，绕过橡树，通向树后那间小屋—— 木板墙、原木立柱、圆石屋顶、一根红砖烟囱，墙上四周还嵌着玻璃窗。

10、高温预警！提醒60岁以上老人：宁可吹空调，也别在这2个时段出门

康德从人类逻辑判断的十二种形式中推导出这些范畴，将其分为量、质、关系和模态四组：量涉及「多少」，质涉及「是什么样」，关系涉及事物之间的联系，模态涉及存在的方式。

指尖力量突破30牛顿。

1、正式官宣！前国安锋线快马加盟中甲球队，曾留洋英超，去年踢蒙超

现场掌声还未散尽，GitHub上悄然浮现了另一份亮眼的成绩单。

2、湖人五大新援正式亮相！凯斯勒期待搭档东契奇 马穆推崇曼巴精神

WAIC的这15个小时，就是这句话的第一次公开预演：没有剧本、没有遥控，6台机器人在真实世界里协作、纠错、坚持到底。

3、米兰考虑卡马尔达换科内，市场价2500万欧，年薪仅81万欧

这，正是横亘在所有Coding模型面前的终极鸿沟。牙套摘一周就反弹？正畸专家：多为适应性微调代价是两个字：僵化。

4、七年坚守休城！1年307万续约泰特，火箭留住最后队魂底蕴！

不过，patch一大，每个token要「管」的像素更多，细节就容易糊。

5、7-Eleven杀入新鲜零食赛道

但这样做根本撑不起真正的智能体时代。

6、明晨零点！阿根廷对阵埃及梅西与萨拉赫对话是核心看点

随手一击，AI给出神级反例 这个问题看似简单，却是一个名副其实的数学黑洞。

每步操作，如果gcd(m,n) = d > 1，新的两个数的乘积是mn/d，比原来小，全局乘积P严格变小。

用户安装的技能（Skill），相当于跑在系统之上的应用程序；它加载的插件（Plugin），则是直接进入主进程、拿着完整权限运行的原生代码。

7、詹姆斯影响力最大！萧华都指望他做决定、以便制定赛程！

他在文中写道，人类「基本上找到了让沙子思考的办法」，我们正站在「奇点的山脚下」，AGI「大概只有几年之遥」。

投融资平台覆盖天使轮到IPO全周期——赛场上跑出的作业数据、通关时间、故障率曲线，就是投资人眼中扎实的尽调报告。

8、“别把年轻女性当玩物”，李在明接连警告公职人员

硬币的另一面，是社区里挥之不去的疑虑。

为了确保执行的准确度，这次长城挑战还引入了DFOL2.0做后训练—— 一个引入「世界模型」DW0.5的框架，让模型先在虚拟环境里千锤百炼，再上真机。

而在视频里的伦敦，吵、臭、挤，街道上什么都有——牲畜、泥泞、叫卖声、酒气。

英语的量大到别的语言够不着，而「把价值观训一致」这件事，在数据充裕的语言里更容易做到。