开源的、闭源的、通用的、行业的，能训的几乎都训出来了。

1、博亚平台 他甚至让Claude自己设计了一套端到端测试，连着跑了四个通宵，专抓那些没人预料得到的边角问题。

选品环节，传统的出海市场调研需要 6 到 7 人的团队花 1 到 3 个月——上网查资料、写初版报告、做问卷（5000 份样本算多的）、分层分析、输出品牌方案和销售策略。博亚平台然后他们拿旧的事故场景重放了一遍。

2、莫雷托：米兰重新联系了卡雷察斯的家人和经纪人

而在标准化的赛场上，DM0.5同样交出了成绩。

3、亚运会

OpenAI总裁Greg Brockman转发了这条推文，说了一句： 感觉这是推进数学的一个分水岭时刻。

4、对拉杜卡努来说，读剑桥大学和打网球是同样重要的事

不管怎样，全网苦等三个月的这只「靴子」，终于要落地了。

5、国安中卫位置迎来久违外援复出！曾是塞超豪门队长，已获出战资格

人类在科学探索中最具神性的一环，正在被硅基智能接管。

真正决定性价比的，从来不是单次token价格，而是一次成功任务的完整成本。

所以，未来竞争的核心不是Token消耗量，而是：Cognitive Asset Growth per Token 也就是每消耗一个单位Token，企业能够留下多少属于自己的认知资产。

6、火箭两份合同签2人，仅104万受保障！斯通精打细算，引援能省则省

正如周伯文所言，AI 的使命应从「加速科研自动化」迈向「以复杂科研任务牵引高阶智能」。

这一冷热不均的行业反差，清晰界定了当前 AI 的能边界：大模型更擅长处理答案固定、反馈即时的标准化任务，面对无标准答案、问题维度模糊、验证周期漫长的原创科研场景适配性相对有限。

7、用一台口袋电影机，造一场伊甸园的梦

每年IMO成绩一出，总有人要把人类的答卷和AI的答卷放在一起比。

新智元报道 AI竟黑了AI！ 这几天，全球最大AI开源平台Hugging Face，发布了安全事件披露—— 部分生产基础设施遭入侵，而这次入侵从头到尾，由一套自主AI Agent系统驱动。

8、哈登谈詹姆斯选择：他足够聪明 不认为任何人的游说能动摇他

有意思的是，两个月过去，除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开闸。

第一层是自动跑在后台的，后两层会在合适的时机问你要不要扫一下，你点了「确认」它才动手，完全不影响你思路。

在分析层面，它提供了一套完备的概念框架来描述模型所处理信息的结构化形态——我们可以追问一个陈述中是否隐含了「实体与偶性」的归属、「因果性」的判断或「模态」的承诺，从而系统描述模型构建了何种知识结构，而非笼统地说「模型似乎理解了因果关系」。

9、近10赛季英超进球榜：曼城878球居首，利物浦784球次席

这一层是一组可复用技能的集合，VLA 只是其中一个技能。

身高173厘米，体重70公斤，1:8.5的头身比，与真人几乎实现了像素级的一比一还原。

10、24名少年登台演绎科普剧

DM0是首个具身原生大模型，而最新一代DM0.5在泛化能力上实现突破，多项权威评测排名行业第一。

于是Sol等前沿模型，开始从一个实验室中偶尔「显灵」的先知，变成一个能在日常工作流中不停运转的引擎。

1、中国数学等了90年，王虹、邓煜同时摘下菲尔兹奖

在业内还在为传统电机降本几块钱争论时，小象电动已接到丰田等巨头的技术探讨邀约。

2、行走的思政课∣福州大学侨音寄情，长怀家国

没有ΔR，所谓持续学习很容易退化成无目标的模型微调。

3、跟队记者曝湖人交易谈判遇阻：老鹰拒收范德比尔特1329万球员选项合同

基于此，此芯科技高级总监陈国银深度解读了AGX OS软件解决方案的核心价值。武汉广电：洛泰已在光谷基地随三镇队训练，本轮中超有望亮相经验，是记忆经过高效抽象与表征之后的结晶。

4、Shams：海佐尼亚重返NBA进展被詹姆斯的决定延误

分两种情况——如果gcd(m,n) > 1，素因子总数T会减少；如果gcd(m,n) = 1，T不变但大于1的数少了一个，N减1。

5、花滑名将申雪、赵宏博受聘为哈工大教授，入职该校体育部

如果没有那几个较真的开发者去拆解文件，或许这家假实验室已经顺利拿到某家风投几百万美元的天使轮融资了。

6、世联赛大冷门，中国女排3-2晋级，美国核心不服气：我们没发挥好

WAIC现场亚毫米级线束装配，就是「手」的极致体现。

在多项编程和Agent测试上，这个轻量小模型居然跑赢了体量更大的Gemini 3 Flash—— SWE-Bench Pro：54.2% vs 49.6% OSWorld-Verified：74.0% vs 65.1% 3.6 Flash作「主脑」拆解任务，Flash-Lite作「分身」批量干活。

注：模型1是磐石，模型2是Gemini 3.1 Pro，模型3是GPT-5.5 从AlphaFold到统一科学智能，AI for Science正在从「单点工具」走向「系统能力」。

7、大罗:西班牙会轻松战胜阿根廷 他们的传控足球让阿根廷落后时无法逆转

高德途途在现实世界中的端到端成功外化，正是最强有力的证明。

但更难的问题随之而来：模型都有了，怎么让它们在企业里跑得又快、又省、又安全？ 真实的现场比想象中更乱。

8、博世徐大全：缺芯片造不出车那两年，可能是汽车产业最健康的时候

目前大模型公司都在追求语言层面的通用智能，但物理层面的通用智能才刚刚开始。

久而久之，企业可能越来越依赖模型供应商，而模型供应商却越来越理解企业。

当你把项目资料、写作记录、代码讨论、生成的图，一股脑沉淀进去，里面堆的东西只会越来越多。

先写完整，再一步换名，要么全成，要么全不成。