面对这张账单，Uber的COO直接懵了：钱烧成这样，ROI到底在哪？ 紧接着，微软、Meta、亚马逊，一个接一个开始给员工手里的AI编程工具踩刹车。

1、星空综合 用徐立的话说：不需要你有更多的编辑、理解和生成能力，只要把意图充分表达，AI就可以给到你可交付的内容。

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

2、“狮子的命也是命！”3头狮子被锁笼致溺亡，动物园回应惹怒全网

AI Coding，就是团队下半年要重点打透的那块肌肉，也是最有说服力的一块。

3、申花开赛至今都没5外援首发 依然足协杯进8强 联赛赢了8场 平了5场

但检索，并不等于记忆。

4、领券享优惠

它选了粒子流体模拟，物理按真实时间推进而非每帧盲跑固定运算，CSS、界面、渲染全塞进一个HTML文件， 还自动托管成可分享网页。

5、药捷安康-B(02617.HK)授出合共281.7万份股份奖励及244.2万份购股权

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

原因很简单：在所有已被验证的高价值场景里，编程跑得最快。

例如，中国科学院上海药物所与浙大组成的「可以的」团队，围绕蛋白质构象系综生成任务研发MidSummer自治科研智能体。

6、主城孤品，纯墅答案：为什么森兰绿城翡翠岛难以复制？

这两年，类似的画面人们早已司空见惯。

中国00后团队 把人类回忆的本能做成工程 要把这件事修好，得先回到那个更根本的问题：一个「会回忆」的系统，到底该长什么样？这方面，进化已经调试了几亿年。

7、哈市2026年省重点高中第二批次学校及面向九区招收统招生的市重点高中学校统招录取分数线公布

抬起头，大屏幕上的KAI世界模型技术架构正如画卷般逐层展开。

再说「手」。

8、梅西又创历史！世界杯助攻上双第一人，21+10“两双”达成

模型评估应包含对网络安全、生物威胁及其他高风险领域能力的严格科学测评。

她的评价一针见血，Fable 死磕技术上的绝对精确，反而作茧自缚，Sol的务实却把活干成了。

它不再只是对话框里回答问题的模型，也不再只是IDE里帮忙补全代码的助手，而是开始以一个常驻进程的形式，住进用户的电脑，自主地读文件、发邮件、连云盘、装软件，替人把一件件真实的任务干完。

9、童年回忆又少一位！95岁老戏骨史崇仁离世，西游记经典落幕

这些省下来的「额度」，可以全部让位给更大容量的电池或更强大的芯片。

最让人赞叹的一点，是「纠察队」机制。

10、泰国青少年走进贵州

接下来这三层，是为了在同一件事上少花冤枉Token。

其中，中国科学院自动化研究所牵头磐石科学基础大模型技术攻关，其产业化平台中科闻歌主攻基础大模型训练与文献、创新评价智能体。

1、《影之刃零》喜提版号！官方海量截图汇总赏析

它还可与政府携手，培育一个第三方审计机构的生态，协助开展评估，并参与打造新的基准与测评。

2、报告征集

好消息，Gemini 3.6 Flash比GeminI 3.1 Pro、Gemini 3.1 Pro强，主打「性价比」。

3、离谱！中足联亚冠新政纯属瞎折腾 专属外援名额就是个笑话

章庆元今天说了一句很实在的话：每个人都需要变成超级个体，最好的方式就是配一个超级助理。上海内环“隐奢”豪宅怎么选？这份隐私安全与圈层纯粹性测评榜单请收好参考资料： https://www.anthropic.com/news/claude-for-teachers https://www.reuters.com/technology/norway-imposes-near-ban-ai-elementary-school-2026-06-19/ https://www.reddit.com/r/ClaudeAI/comments/1uwbic2/new_launch_claude_for_teachers/?utm_source=chatgpt.com https://www.rand.org/pubs/research_reports/RRA1108-16.html 编辑：元宇新智元报道 全网等了快三个月！ DeepSeek V4正式版，可能最早明日发布，最迟不过这几天。

4、啃食易燃灌木 西班牙本土牛羊“参与”防火

要知道，这一切发生的时间点，正是SpaceXAI刚发布Grok 4.5、在AI编程赛道全力冲刺的当口。

5、海港外援进球加起来没申花拉唐多！ 近两场比赛都是后卫进球

（图源：Claude官方博客） 先把目标写死，比如「把首页Lighthouse分数跑到90以上，试5次就停」。

6、1-0！世界杯夺冠热门第1出线：送乌拉圭出局 还帮了一把韩国

但它在科学认识论上的颠覆性，已然掀起滔天巨浪。

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

但他也提到：「长期来说，我们肯定会考虑去造更加可靠的硬件，但是可能这是一个时间的问题。

7、输球输人！阿根廷3大输不起行为：背对冠军领奖 球员打人 拒绝采访

李述昊自己在想的已经是 4.0：硅基 Native 的思维方式，主客体互换。

该作者先点出Fable 5区别于以往所有Claude模型的三项能力。

8、REDMI Note 17 Pro发布，同档最抗摔防水小金刚，首销1599元起

第二个更隐蔽。

」 为什么是现在？ 有人问，AI视频生成技术早就有了，为什么这种内容到今年才爆？ 答案是——技术刚刚跨过了那个门槛。

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

主动循环，事件或时间触发，全程无人值守，跑到你亲手关掉。