在衡量Agentic工具使用能力的PinchBench上，KAT-Coder-Pro V2.5拿下94.2 分，力压Opus 4.8。

1、乐鱼官方 在它被关掉之前，已经有好几位speedrun的参赛者刷到了这条PR，看懂了里面的PowerCool技巧，并把它用进了自己的方案。

参考资料： https://x.com/maxforai/status/2078767321603342656?s=46&t=kUmE9xDZxjY1kLbL84hhYQ 编辑：Aeneas新智元报道 一名顶尖实验室的材料研究员，最无力的瞬间，从来不是想不出创新思路，而是 AI 一天推演上百种新配方，人工实验一年测不完； 最可惜的损耗，不是实验本身的失败，而是随着项目结束、人员更迭导致数据、经验、参数未能有效存留，让下次的研究需要重复起步、反复试错。乐鱼官方一类，叫有害服从（harmful compliance），模型照做了，可用户的请求本身就是坏事； 另一类，是模型「自作主张」，违背指令，去追它自己认定的目标。

2、预算300-500万，工作在大虹桥，青浦这个“全能型”新房凭什么霸榜？

• 可与计算侧加速叠加：PolicyTrim优化前向推理次数次数，VLA-Cache等方法优化每次推理耗时，两条路径正交且可以产生复合加速。

3、ST宁科(600165.SH)：实控人刘喜荣及一致行动人拟增持3000万元-6000万元股份

比如即将开幕的ICM2026的45分钟报告人，拉马努金奖、科尔数论奖和数学新视野奖得主唐云清；IAS冯·诺依曼研究员、玛丽亚姆·米尔扎哈尼新前沿奖得主张明嘉；本科期间发四大，曾获世界华人数学家联盟（ICCM）鲍剑文最佳论文奖的张盛桐；已发多篇数学四大的李泱…… 奥数的AlphaGO时刻 但今年的上海考场外，还站着一个没有参赛资格的选手——AI。

4、元璟资本王琦：做投资最重要的能力，是寻找“巨浪”

三年三级跳 硅基大脑的恐怖进化 2024年，DeepMind的AlphaProof首次在IMO级别摸到银牌门槛。

5、皇家社会与勒巴比尔续约至2028年

顺着线头查下去，破绽越来越多。

模型的商业价值也由此真正显现。

没有发布会，没有新闻稿，功能上线又迅速下线。

6、银河通用具身智能全场景项目签约落户杭州钱塘

如果你还没看过Chloe的「AI时空漫游」系列，那你可能正在错过2026年最令人上瘾的视觉体验。

数字世界里模型错了，无非是个不通顺的词、一张不完美的图；物理世界里错一次，就是一次错误的行动，代价真实不可逆。

7、定了！北京舞蹈学院新校区方案揭晓，院士领衔设计！

企业真正的差异化来自于，它是否能够围绕自己的业务建立一个学习闭环，并把每一次模型使用转化为组织自身的能力积累。

参考资料： https://x.com/davidpattersonx/status/2077049232490672458 https://trackingai.org/ 编辑：桃子新智元报道 全尺寸人形机器人长程移动操作能力迎来重大突破！ 逐际动力发布了一次全球屈指可数的完整实录：无遥操，无剪辑，一镜到底，全尺寸人形机器人 Oli，不间断干完一屋子家务。

8、2026四川甘孜山地文化旅游节在道孚玉科草原开幕

基线涵盖面向AR模型的三类后门：SFT-based、VPI（提示注入）、类RL-based（DPO）。

当谷歌终于意识到AI编码的重要性，决定强制要求使用AI写代码时，新的问题又来了——算力不够了。

bug刚修到一半，弹窗一出，全停了。

9、欢迎大韩“回家”！辽宁官宣：韩德君担任俱乐部副总兼任一队领队

谁也没想到，真正的风暴，其实来自大洋彼岸。

然而，GPT-5.6发布当天的表现，完全跨越了「机械计算」的边界，触碰到了「创造」的禁区。

10、自曝父亲出轨、注销名下公司，papi酱为什么没塌房？

Andreessen说，领先科技公司里用上AI的程序员，眼下每小时产出比过去高20倍：产能确实上去了，省下来的时间一分钟也没剩下。

不得不说，AI会做题，和AI能救场，中间隔着一整个真实项目。

1、威少被甩了！拒绝他归队！无人报价！难道要退役？

L1—L2仅能支撑基础预训练；L3—L4止步于已知任务的拟合，换个场景就不灵； 唯有迈入L5，深度融入三维力触觉、失败恢复轨迹与开放场景变量，世界模型才真正跨越「描述」，获得泛化、反思与自进化的能力。

2、来～在海珠，和刚从“战壕”出来的实干家面对面

行业需要，是一个能一次打通生产、流通、消费全链路的底层支撑平台。

3、河南广播电视台原党组书记、台长王仁海，被查

钛动现在有两三千个智能体在运行，数量还在持续增加。命中决胜三分！崔永熙知道，篮球从未背叛他...换成别的AI你可能得上传一堆文件写一大段需求，但灵犀的第一件事不是直接开干，而是去记忆库里「深挖」——第一层找到竞品数据追踪表模板，第二层看数据结构，第三层挖出老板对这类报表的偏好。

4、北京当代艺博会2026官宣！“陆迹”主题引爆全球138家画廊

于是有了BsoftGPT+TokenBox™，这套医疗AI本地化的算力底座。

5、泰山队客场连胜的收获与不足，年轻人历练中蜕变，全队要淡化目标

入口就在侧边栏。

6、高速路上一次变道疑惹怒两货车，轿车遭“围堵”恶意别车险些出事故；苏州高速交警：正在调查核实中

考场外那个没资格入场的选手，可能已经在门口，做完了门内的人刚刚做完的事。

此外，得益于过去的基础模型训练经验与技术积累，面壁还有独特的优势： 追求通用智能，而非专用skill； 多模态技术积累深厚，技术底气足。

ABot-ER取得3项SOTA，并登顶数十家机构联合发布的Embodied Arena 2D-EQA AgentOS则将规划与执行从本体中解耦，通过插件式Skill接入，让同一套系统能适配各种异构机器人。

7、达摩院Lingshu-Cell：离散扩散架构驱动的细胞世界模型

U1 Pro跨越的，就是这一步。

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

8、永泰能源：海则滩煤矿首采工作面已有部分工程煤出售，后续正按计划全力推进

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

今天，Anthropic被迫低头了，这场好戏，才刚刚开始。

《华尔街日报》也指出，Karp 的言论击中了美国企业界对 AI 实验室权力持续扩大的焦虑：模型公司能够从客户的数据和决策过程中获取洞察，而这些恰恰是企业成功的「秘方」。

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