最近，GPT-5.6仅用1小时攻破50年数学难题！64个AI摘下图论皇冠；卡了半年的弦论难题，Claude一夜解开！东大教授惊到删推。

1、kaiyun官网 走到这座教堂的最前沿本身就极耗力气，而大模型已经能以超人的效率做到这件事，最近的突破基本都源于此。

它的关键动作，不是把那条价值链再讲一遍，而是把尺子变成了产线。kaiyun官网这种把智能体当作某种生命体来设计产品的思路，是他对 5 到 10 年后 AI 产业的押注。

2、再见啦，老特拉福德！曼联21亿打造北方温布利，老板：退无可退

各大模型在赛道上各自狂奔，跑完了全部6道关卡。

3、四部门印发《综合运输服务发展“十五五”规划》

听起来很美，但这事能落地吗？ 这事可远不是「把卡插上去就能跑」那么简单。

4、皇马加大支持穆帅力度，2.2亿再报价拜仁边锋，可让姆巴佩踢中锋

缺一个，闭环就断在那里。

5、贝林厄姆和主教练公开互怼，英格兰众名宿认可图赫尔对球队的批评

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

第四步，是病毒式营销。

HMS强的地方，恰好是相似度检索最弱、而人类回忆最擅长的地方：把散落在不同时间、不同情境里的线索，重新接成一条完整的证据链。

6、金山这个社区的“小管家”上岗，管起“闲事”来有模有样

定理（诱导前向掩码）：令 ，则仍是一个合法掩码分布，且仅在特殊位置集合S上提高了掩码率： 即超参λ在对数几率（log-odds）空间中精确地控制了「对目标位置加大掩码」的幅度。

也就是说，Andreessen用来定义「AGI已经到来」的那批模型，两个月后已经是上一代了。

7、点球罚丢只是热身？姆巴佩成功破纪录，法国踏平摩洛哥挺进四强

这也是支持机器人行动的运动神经。

把这些维度串起来，会看到一个完整的增强回路。

8、数学公式之外还有足球相伴：菲尔兹得主邓煜的巴萨情缘

它不再需要你提前做好所有的素材。

Hugging Face的异常检测流水线本身就用LLM对安全遥测做分诊，正是这些信号的关联把入侵揪了出来。

几十年后再回望此刻，我想我们会意识到：我们当时正站在奇点的山脚下，说这是人类新纪元的破晓，毫不为过。

9、米兰考虑卡马尔达换科内，市场价2500万欧，年薪仅81万欧

越红越危险，越绿越安全。

逐际动力是最早提出并布局人形大脑系统的具身智能公司；后来者的趋同，从侧面印证了这条路线的前瞻性和引领性。

10、肉桂突然席卷全美餐厅，Cinnabon一年开出超300家新店创历史纪录

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

第二步，按需换钥匙，找完了还要回头自查。

1、每体：皇马批准外租马斯坦托诺，佛罗伦萨有意

托管沙盒 + 全栈agent控制 + 思考力度调速，在单agent的能力密度上做文章。

2、Wabtec二季报营收31.8亿美元、EPS 2.76美元超预期，上调全年指引

原因有些反直觉：脚本藏在一个外表正经的技能里，越是「听话」、越擅长跟随指令的模型，越愿意照用户的要求把它运行起来。

3、视频丨菲多艘船只侵闯我黄岩岛领海 中国海警依法驱离画面公布

通过这套「透明化」执行机制，此芯科技正让每一次自主决策都变得安全可信，为AI落地保驾护航。穿粉色，就是初夏最美的样子当它们还在用文字绕圈子解释噪声影响时，磐石直接「甩」出了depolarizing noise作用后的完整密度矩阵： 评价纠缠态，磐石一针见血地指出：混合态不能只看子系统熵，必须上Concurrence（共生纠缠度）等硬指标。

4、亲子类体育营销案例｜凸显社区属性，汉高借青少年足球赞助为品牌价值赋能

ABC电话打过去，他承认是董事，随即挂断，公司网站不久后也悄然下线。

5、舒适风，更适合忙碌的我们！

这一场属于全人类的具身智能工业革命中，中国企业，正当其时！新智元报道 给足了AI权限，它会不会使坏？ Anthropic真的把这个问题，做成了一场实验。

6、希拉丨米兰是我的梦想

钛动做第一个，OpenAI 做第二个。

7个Claude通跑，设计流程已死 今年3月的《Lenny's Podcast》，她开局就给了所有人一记闷棍—— 设计师被教了这么多年、当成圣经的那套设计流程，基本上已经死了。

而多模态技术，正在重走AI Coding走过的路。

7、廊坊银行副行长高艳龙任职资格获批

（图源：Kevin Dietsch via Getty Images） ChatGPT走个人助理路线，把你和它一起生产的东西收进一个入口； Gemini靠谷歌全家桶，把邮件、云盘、日历全打通； Claude则押注长期记忆和Skills技能，替你把上下文一点点攒下来。

编辑：Aeneas 大卫新智元报道 现在，你可以通过录屏 + 语音讲解的方式，彻底把自己蒸馏成 Skill 了。

8、“板凳会”上晒出的民生点子，怎样变成江南新风景？

做了4年端到端加密产品、刚被挖来的高管Andrew Milich亲自站台背书。

证明：(a) 过程一定会终止，最终恰好剩一个大于1的数M；(b) M的值不依赖于操作顺序。

香港作为国际创科中心，是内地企业「技术出海+标准出海」的绝佳跳板。

但ChatGPT问世三年半，教育却几乎没变。