第一，聚焦智能体专用CPU。

1、leyuapp 刷新一下——从0%重来。

章庆元今天说了一句很实在的话：每个人都需要变成超级个体，最好的方式就是配一个超级助理。leyuapp研究者把传出去的数据一还原，诱饵文件完完整整躺在里面。

2、世纪宿敌60年恩怨对决，阿根廷绝杀英格兰，贴脸宣誓马岛主权

三者合在一起，不是某台机器人的专属技能包，而是一套通用智能底座。

3、直接裁掉德罗赞？快船有意认领，现役最坚定科蜜！

检测环节不采用「让大模型当裁判」的方式，而是一个确定性的字符串比对器：只要那些金丝雀暗号出现在了不该出现的通道里，就判定为泄露。

4、一山难容3虎！曝穆帅下令：姆巴佩是绝对核心 严禁3亿欧2巨星夺权

说白了，这家做了38年办公软件的公司，这回干了一件很大胆的事——他们要给每个打工人，配一个「私人助理」。

5、想提升跑步成绩，从10公里跑进40分钟开练！

三步完成征集报名： ① 扫码提交业务痛点 ② 与GDPS组委会联合设计赛题 ③ 9—10月战队进厂实训 同步征集：选手百万奖金池+产业资本对接；专家评委会姚期智院士领衔；赞助商开放。

因此，佟博士认为下一代企业认知系统必须从Ontology继续向前发展到： Ontology + Skills + Memory + Agents + Evaluation + Evolution 也就是从「企业业务的数字语义层」，走向「企业业务的认知进化系统」。

更深层的问题在于，J-Space研究本质上是一项工程导向的工作，它将「可解释性」窄化为「可观测性」和「可干预性」，然而在更广泛的知识论传统中，「解释」的含义远比此丰富——它涉及将现象纳入更一般的规律框架，涉及提供理由和依据，还涉及对决策正当性的论证。

6、正式确定！张庆鹏离开北控男篮，杨鸣有望接任

这场竞争最后的胜负，或许不取决于谁的模型更强，而取决于谁先真正住进每个人的工作流里，成为你的AI「同事」。

它不再需要你提前做好所有的素材。

7、别再吃到撑了！研究发现：每顿“少吃两口”，身体炎症少了，全身受益

他还编造了180人的研发团队和辉煌的创始人履历，声称使用了上万张昇腾算力卡，热度蹭得太准了。

因此，小象电动第一步切入的是对性能要求极高、对价格相对不敏感的场景：高端人形机器人、四足机器狗，以及高性能跑车（轮毂电机的初始应用）。

8、美记：马刺仍看重福克斯 哈珀下赛季大概率打替补

模型一代代变得更便宜、更迅猛。

就像Coding模型交付的不是软件，是一个会敲代码的程序员；U1 Pro交付的，是一个活在数字里的设计师。

Sol看的则是两个量：P = 所有数的乘积，K = 大于1的数的个数。

9、互联网大厂不香了？AI创业公司正在「吸走」年轻人

各有各的强项，也各有各的天花板： 领域专用模型（AlphaFold 3、ESM3）：在蛋白质等特定对象的预测任务上做到了极致，但能力也被严格局限在单一对象和任务形式上； 工具增强型通用模型（GPT-Rosalind、Claude Science）：凭借外部工具链灵活切入科学场景，但其科学能力仅寄生于工具，模型本体并未深化对科学的本质理解； 科学语言模型（NatureLM、LOGOS、BioMatrix）：试图将蛋白质、分子等转化为符号序列进行跨对象的统一联合建模，但目前的探索仍主要停留在表征层面。

但故事还没完，它引出一个更大的问题： 当这一代孩子长大，AI早已像空气一样无处不在，一个从小只被老师「用AI教」、自己却没真正上手用过AI的孩子，能真正做好准备吗？ 这个问题，Claude for Teachers还没打算回答。

10、揪心！中国男篮希望之星又受伤，常年伤病缠身，一赛季只打19场球

今年3月，这家公司完成了2亿美元A轮融资。

但另一方面，也有企业陆续启动 IPO 进程、寻求二级市场融资。

1、费总花重金引进投篮教父！休媒晒三数据证赢麻 队记：火箭完成今夏最佳引援

论文链接：https://openreview.net/forum?id=PEyouQzOLD 为什么没有选择让LLM直接审稿？ 面对评审人手不足、打分标准混乱的现状，很多人会直观提出解决方案：干脆交给LLM完成全自动审稿。

2、新首相刚上任，特朗普就逼他站队，英方内阁却先炸了锅

新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

3、确定续约！高诗岩顶薪两年起步，35岁老中锋不退役，邱彪重组班底

GA发布后同步调整API定价，引入「峰谷计费」。宜家中国大抛售，“周末免费乐园”真要没了带宽这一关，它靠一次技术迁移解决。

4、盘点7个“装修踩坑案例”，都是过来人踩过的“坑”，全是血泪史！

因此，现场机器人拼到第五千块的时候，还记得第四千九百块放在哪儿、下一步该怎么接。

5、跟队记者：德容将自己的伤势恶化归咎于荷兰国家队队医

作为年轻创业团队，它没有历史包袱，从技术架构到产品设计到商业模式，全部从AI原生的逻辑出发。

6、海外研选

如果d = 1，P不变，但K减少1。

如果AI真要成为企业的基础设施，厂商就得给出比模型名称更具体的边界，让用户明白自己花钱买的那个Max，到底保证了什么。

半个世纪以来，数学家们为了证明这个猜想，可谓绞尽脑汁。

7、美国建国250周年庆典

模型层面：预训练参数不变，专用参数快学习 这是WAM-TTT在架构上惊艳的一笔。

加入供应商矩阵，产品、技术与品牌将直达千万年轻高知群体，触达数百支全球顶尖赛队与头部企业，在真实场景中共同进化，即刻共享场景落地快车道。

8、马拉松参赛名额分配，真的有那么多猫腻吗

依靠这种直觉，它在开放环境自主导航任务中创下92.9%的成功率，做到了城市级的长程自主导航。

真正的利润中心，是拿着Token去干活的Agent。

「我们在硬件上还没成功过，有自知之明。

依照这些基准被认定拥有「前沿模型」的组织，将被视为「前沿实验室」（Frontier Labs），并被鼓励采纳一系列最佳实践，例如：发布载有技术细节的模型卡（model card）、维持强有力的内部网络安全、对关键岗位人员做背景审查、为安全与安保研究投入充足资源，等等。