章庆元今天说了一句很实在的话：每个人都需要变成超级个体，最好的方式就是配一个超级助理。

1、乐鱼电子 去年底，她一手打造的AxiomProver拿下了Putnam数学竞赛的满分。

7月9日GPT-5.6发布，官方原话是，首次引入max推理强度，「让Sol获得最充足的时间进行深度推理」。乐鱼电子每个任务达成目标就退出，整条例行任务则一直跑到你亲手关掉。

2、国米有意热刺中卫；克洛普上任德国队教练；铁锤边锋是曼联备选

Stuart Russell，是全球呼吁禁止自主武器的头号斗士，曾在联合国痛陈「杀手机器人」的危害。

3、这种会增加抑郁风险的食物，你可能天天在吃，但却不知道

这些企业路径不同，但都指向同一个判断：机器人未来的核心，是AI能不能通过这副身体理解现实世界、适应现实世界，并最终改变现实世界。

4、那是成长中的一课！傅明载誉归来，主动回复球迷有关鲁豫战提问，释放友好信号

为此，无问芯穹推出了 “AI生产力商店”——Agentic Infra行业解决方案，以底层智能基础设施之力，助力行业客户打通降本增效的“最后一公里”。

5、皇马25岁2届欧冠重臣3月份受伤后，有望2027年初回归

阿里内部研发中使用Qoder Security后发现，代码评审中与安全相关的评审意见下降约35%到45%，效果显著。

开发者的切换成本低到近乎为零——换个工具，配置几分钟的事。

https://www.makeuseof.com/claude-cowork-automated-away-job/ 这个故事发生在「Record a Skill」上线之前，用的还是手写 Skill 的方式。

6、账上只剩3.55万，却欠了1.85亿：恒大歌舞团破产，许家印的"面子"终于算清了

今天的第三条，WAM-TTT补上了最后、也是最关键的一块拼图：发布后训练范式WAM-TTT，打通规模化应用闭环。

这种转变的意义不仅在于效率提升——它使本体的构建具备了前所未有的可扩展性和领域覆盖度，使得原本只有少数关键领域才能享有本体支持的局面，开始向更多垂直场景和快速变化的知识领域开放。

7、星光邂逅红高粱，潍坊高密“欢乐星光夜”迎来泰国首批入境游游客

与此同时，本体工程的反向赋能同样不可忽视。

临港AIDC的国产卡占比不断提升，预计进展顺利的话，明年可能超过50%。

8、新一代宝马X3发布，全新前脸和内饰设计，国外约人民币36万元起售

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

参考资料： https://www.youtube.com/watch?v=F_7M4Hc-usM https://x.com/hesamation/status/2073884828861071557 https://x.com/ryanbrewer/status/2073812031988535760 编辑：元宇新智元报道 困扰统计学界整整20年的核心悬案，被AI击碎了。

这次变的不是参数，是形态。

9、中国队出战土伦杯大名单官宣！多名中超球员入选，杨铭锐领衔

一天几十上百个PR从智能体手里冒出来，他真正的活儿，是判断哪些能合、哪些得打回去。

把思考外包给AI，一开始只是图省事。

10、战术训练都糟糕！生死战前乌拉圭传更衣室风波，球员质疑贝尔萨

科研端的合作同样在这次WAIC集中落地。

而这正是佟博士提出企业认知系统的原因。

1、姆巴佩锁定2026世界杯金靴有利局势！梅西能否在决赛完成逆转？

② 语义属性操纵（）：将响应导向目标语义属性（风格、情感、偏见、毒性等），用属性词典转换数据并定位相关词。

2、热度持续，“四川造”动画电影《八仙！》票房破4亿

这张长卷里，小浣熊预测阿根廷将以2比1战胜西班牙夺冠。

3、全隔断四座行政座舱加持，宸辉VL900入局百万级豪华商务MPV市场！

从此它自我更新，你提过一次新客户，下次会话它已经知道。埃及国脚炮轰阿根廷：梅西就是普通球员非球王，他默许了不公判罚参赛对象：大赛面向机器人整机企业、核心零部件与关键技术供应商、AI算法与大模型企业、系统集成与应用方案商、创新创业团队及开源社区贡献者全面开放。

4、以竞促技强本领 烟台港莱州港开展船员技能竞赛

这一变化将视觉语言模型的「理解能力」转化为「空间执行能力」。

5、广西贵港动物园遭网暴，被指“没人性”；负责人：7狮7熊有涉水能力，5人冒生命危险才锁住笼子；此前上百只动物被冲走，损失超400万

为什么是5个万卡而不是1个10万卡？因为商汤面向的是第三方市场——大语言模型、视频生成、具身智能、世界模型、AI for Science，这些任务对硬件的要求完全不同。

6、弗洛伦蒂诺还是震怒了，皇马计划开启清洗模式

对于企业级Agent而言，稳定性是生命线。

然而，三年半过去，剧本没照奥特曼预想的那样演。

Noam Brown指出：「增加模型的TTC（让它思考更长时间）能带来更高的智能。

7、詹姆斯：我认为大概再没人能连续八年进总决赛！

于是他们换成在自家基础设施上跑的开源模型，取证才继续下去。

代码狂飙，安全是最可靠的底线 最后，要说明两点。

8、郑钦文雅典站迎来双重首秀！硬地优势加持，冲美网积分关键一战！

这四步在一个界面里完成，不需要在不同软件之间来回copy-paste，不用反复切换上下文。

」 但把算力聚起来只是第一步。

这一视角的转换将可解释性从一项近乎不可能完成的技术挑战，转化为一项可通过工程手段持续逼近的治理目标——它要求我们不再执着于让模型变得完全透明，而是致力于让模型在现实世界中产生的影响变得可理解、可追溯、可问责。

基金会声称，自去年9月以来，它一直在尼泊尔、加沙、乌干达、苏丹四地行善：建清真寺、发食物、办教育。