第一个拦路虎是钱。

1、博鱼手机 具体来说，KAT-Coder-Pro V2.5在三个关键维度实现全面突破： 长程工程能力、通用Agentic能力，以及支撑这一切的大规模Agentic强化学习体系。

模型写了全部的代码，他一行都不碰。博鱼手机只需要在电脑上重复一遍你的完整工作流，口述补充必要的隐含操作逻辑，同时避免无关操作（比如等结果时看个小视频摸摸鱼），点击结束录制即会自动回到 Claude Cowork 界面中进行分析与 Skill 提炼工作。

2、新加坡公开赛，开赛即遇冷门

AI提出一个引理：如果能给每一条边分配一个包含两个元素的集合 ，并且满足对于每一个顶点，任何一个元素要么出现0次，要么出现2次——那么，这个图就一定有「循环双覆盖」。

3、快讯：省运会女足C组各代表队集结信宜

模型会一代代换，但你和AI一起攒下的对话、项目、素材，别人拿不走，也复制不来。

4、杜润旺确定加盟同曦，今夏手术渴望暴走，能否重新证明？

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

5、营销新时代，品牌如何成为用户世界杯记忆的一部分？

这一现状，进一步凸显了 AI 科研的两大核心瓶颈，制约着技术深度落地： 一方面，大模型可快速推演生成海量科研方案，但线下实验验证效率偏低、进度滞后，逐步形成方案堆积、验证滞后的行业痛点； 另一方面，科研试错经验、实验数据缺乏系统化留存渠道，导致科研工作容易陷入重复试错、低效迭代的状态。

交接时客户说： 你既然要走了，能不能把这个配好，我们自己跑？ 五年的合作关系被一个 Skill 文件夹替代了。

「谷歌之神」Jeff Dean的沉默与妥协 在谷歌，Jeff Dean的名字就是神话。

6、换新球的间隔由9局缩短为7局，ATP新规则为何引发广泛讨论？

她给了一个刺痛所有人的数字—— 几年前，设计师60%~70%的时间花在画稿和做原型上，而现在只剩30%~40%。

第四点，high和xhigh档上多智能体的调用比预期的多，auto-review那边也有浪费，都在修。

7、杜锋犹豫中！26岁后卫合同到期，1个技能太吃香，被陈家政抢位置

第二点，Sol的上下文上限被从GPT-5.5的272k提到了372k，结果导致计费比预期多扣了。

真正的认知主权，是企业对自身完整认知循环的控制权。

8、两场热身赛打完！中国男篮12人大名单基本浮现，郭士强要带五后卫

初期，前沿实验室将在模型发布前最多提前30天，自愿把模型交给标准机构评审。

但OpenAI最强的GPT-5.6 Sol，最近已不止一次「删库跑路」！ AI大幅降低了「让软件跑起来」的门槛，它并没有同步降低「让软件安全运行」的门槛。

每个查看者第一次触发调用前，claude.ai会先弹一次授权。

9、携手职业力量，Wilson Defyer带来「旋转球拍」的进攻美学

它底下那套「理解生成行动」的统一架构，本就是个通用底座，视觉创作只是这回「专注做到极致」的第一站。

这是一个非常「工程师」的选择：把最贵的资源（真机时间）留给最值钱的时刻。

10、广东队上赛季投资额第二，超过上海队，难怪朱芳雨对成绩不满

未来某天，全球开发者都能以极低成本调用接近顶级闭源模型的智能。

Cursor挖人，挖到Anthropic家里去了！ 就在刚刚，Claude核心设计一号位Jenny Wen官宣跳槽，下一站—— 出任Cursor「设计主管」。

1、金塞拉：曼联和纽卡今夏都对达尼洛-桑托斯表现出了兴趣

许多人会问：国内新能源车市场已经卷成红海，现在去卷汽车电机还有机会吗？ 如果只盯着国内存量市场，那确实是「神仙打架」。

2、首发实录

你的尝试值得尊敬，也许奥林匹斯众神终有一天会眷顾你。

3、火箭对阵湖人G5前瞻 乌度卡G4的防守策略取得成功 雷迪克如何应对

正如夏立雪在现场所总结的：6月的GTC大会上，黄仁勋展示了英伟达的「算力即收入」曲线。正式确定！CBA顶级大外援完成转会，加盟北控男篮注：模型1是GPT-5.5，模型2是磐石，模型3是Claude Science 再看看排在后面的GPT-5.5，虽然图表画得花里胡哨，但一句「噪声后子系统熵保持为1」，直接暴露了它连局域噪声和全局噪声都没分清的理论硬伤。

4、记者：山东高速今日开启夏训，于德豪、孙桐林等四人基本确定离队

说白了，写作、编程就像是计算器时代的数学证明题：结果机器早就算得出，我们还是让学生自己推。

5、外出踏青、郊游，千万警惕这种虫子！

回访阶段相对L1距离整体低于探索阶段，为只在回访状态下启用去噪复用提供依据。

6、科普｜看懂MTF50标靶跑分数据

当海外开发者使用这些Token写代码时，他们其实已经在使用中国自主可控的底层算力！ 做Agent产业爆发的修路人 纵观科技史，任何一次伟大的产业爆发，都离不开底层设施的完善。

原因在于，可控，不等于可交付。

它没有顺着人类的思路去证明，而是直接在三维空间 中甩出了一个反例： 这个看起来颇为复杂的多项式映射，从C³映射到C³，其雅可比行列式恒等于 -2——非零常数，满足猜想的前提条件。

7、合同即将到期，但篮网似乎并没有要立刻续约锋线球星的打算？

Dyna则反其道而行，它不比数据多，而是比用得省——20万小时打底，却主打「1小时以内的后训练就能迁到全新任务」。

故事的主角，是Bun之父Jarred Sumner。

8、争议！41岁C罗点赞西媒炮轰：FIFA想把世界杯送给阿根廷，早该被淘汰

华为、小米、OPPO 早已把 AI 功能做成旗舰标配，部分品牌还接入了 DeepSeek 等模型，体验差距在拉大。

」在内部交流中，小象电动创始人刘霄一针见血地指出。

智能大于形态 机器人不会只有一种身体 全行业都在问：具身智能的终极形态是什么？很多人回答「人形机器人」。

他们将IMO 2026的全部6道考题，逐字逐句翻译成了机器能够理解的Lean 4形式化题面。