现在，领走赏金的是GPT-5.6和一位叫Korsky的数学家。

1、开云线上 但有一道鸿沟，从来没有被真正跨越——你永远知道，你是在看历史，而不是在历史里。

于是Sol等前沿模型，开始从一个实验室中偶尔「显灵」的先知，变成一个能在日常工作流中不停运转的引擎。开云线上但过去的路上，每一步也需要产出能造血的东西。

2、精英特训营圆满收官！北京首钢篮球暑期营第三期火热招募中！

如今他们深度合作的模型厂名单中，几乎涵盖了国产大模型的半壁江山——Kimi、智谱、MiniMax、阶跃星辰等。

3、【中国那些事儿】文旅消费持续提质升级 激活中国经济长效动能

于是环境构建、轨迹合成、RL稳定性、能力融合，都被当成一等的系统工程去啃。

4、请感受来自Prada的全面压制

这是Chloe亲口承认做过最难的一个视频。

5、传奇解说员离职：开拓者合同“次级贷”，老板发家于此

他甚至让Claude自己设计了一套端到端测试，连着跑了四个通宵，专抓那些没人预料得到的边角问题。

杨帆说了一段特别犀利的话：很多自称算力服务商的公司，实际上是帮大厂代持机器、签长租约，本质上提供的是一种金融服务。

姚卯青一句话点破差异：数字智能是「知识系统」，物理智能是「经验系统」。

6、小红书：月内处置涉未成年人违规笔记超10万条_网易订阅

一共分四步。

最新的数据进来，共识变了，它就跟着修正了自己。

7、法网黑马的故事结束了 但生活还要继续

GPT-5.6 Sol Ultra于7月9日全量放开，7月10日，OpenAI宣布GPT-5.6 Sol Ultra产出了Cycle Double Cover猜想的完整证明。

OpenAI的解法： 不是一个AI在思考，是64个AI在开会 OpenAI是如何让GPT-5.6去攻克这个难题的？ 在他们分享出的任务提示词和证明全文两份PDF中，我们找到了答案。

8、【WCBA联赛】第二十一轮｜浙江稠州银行70-104不敌新疆天山

下一代工厂长什么样？ 过去几年，AI基础设施的竞争像一场军备竞赛：谁GPU多，谁峰值算力大，谁机房壮观。

事情的起因很小。

然而，想要同时利用多个集群，就不得不面临机房之间通信和故障的瓶颈。

9、伟大的3-0！中国男足创造历史，首闯U23决赛，对阵日本期待夺冠

估值达到10亿美元以上的未上市初创企业，通常被业内认定为「独角兽」。

AxiomProver也独立斩获了满分。

10、西班牙2-1绝杀挺进4强！听听赛后媒体人怎么说 詹俊说得一针见血

轮毂电机要塞进汽车轮毂——一个天生的「盘式」扁平空间。

值得注意的是：类RL-based方法取得次优ASR，但在低中毒率下会明显损害模型效用：研究人员认为其原因在于RL在少量中毒数据上过度优化攻击目标，偏离了原有的指令遵循分布；而VPI依赖提示注入偏置，无法突破现代安全护栏来生成对齐绕过（）所需的中毒数据。

1、她是全球唯一穿高定打比赛的运动员，凭一己之力改写穿搭规则

AI 赋能科研的终极价值，不是替代研究员思考，而是聚焦前沿核心创新，推动AI从标准化的算力工具，进阶为可探索未知、可持续迭代的科研协作伙伴。

2、给未成年女孩做流产，一个“哥哥”签字就够了？

工具换代只要一个版本号，制度换代要一代人：技术上早已就位，但规则还停在上一个时代。

3、宜家出售八城“蓝盒子”，三十年大店逻辑生变

当芯片、网络和业务流量被端到端打通之后，优化的触角自然会伸到一个过去大家不太关注的地方——电。1993年，张震怒批军队经商：会引起军队腐败，腐败的军队没战斗力后续新奥聚变将为本赛道优秀成果提供该平台的上机实测机会。

4、向“新”发力、向“优”而行！上半年成都经济发展稳中提质

不像大语言模型，基本范式已经确定。

5、森林狼也要掺一脚？爱德华兹、三球联手招募，詹姆斯去向即将揭晓

经济学者Jeremy Nguyen评论「Codex和Claude Code同一天重置额度」时说，也许多年以后，我们会跟年轻人讲起早期这场「智能体token大战」，讲token当年被补贴得有多疯。

6、山东泰山外援洗牌迫在眉睫，单纯更换马德鲁加并非最终解决方案

GDPS赛场上打磨出的好项目，有机会在WAIC被更多人看见。

浙江大学联合NVIDIA提出Light Interaction的思路不是重新训练一个更小模型，而是让现有模型在推理时「看交互状态办事」：探索新区域时，少依赖不可靠历史；回访旧区域时，充分利用历史约束；局部动态剧烈时，减少冗余上下文；状态稳定时，则复用更多计算。

3.5 Flash-Lite的输出速度达到每秒350个Token，是整个3.5系列里最快的。

7、MG将在古德伍德速度节发布全新概念车 预热图已放出

特纳将最大的希望寄托在了Jeff Dean身上。

Gemini 4开跑 史上最激进预训练 虽然Gemini 3.5 Pro还没到手，Gemini 4也开始训了。

8、出场90分钟0射正+1哄睡，C罗和梅西的不同，在于他只想赢得漂亮

本来要几天的活儿，几个小时干完。

这句话当时被无数人转发、争论、贴在Slack里当战斗檄文。

配合auto mode和动态工作流，把长活儿全自动串起来：每小时扫一遍反馈频道，收到一份bug报告，就自动分诊、修复、回复，一条龙跑完，全程不停下来问你要权限。

Bloom说明，Beck那篇Annals论文里有许多重要而有趣的想法，只是这道题用不上。