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

1、开yun体育app官网 而这套打法，早就不只是他一个人的玩法。

第一个拦路虎是钱。开yun体育app官网公司名字里的「超维」，说的就是这件事。

2、提速立竿见影，高强度攻防激活C罗+B费！葡萄牙用胜利重回正轨

不是先做国内再出海，而是从Day 1全球化，现在已经覆盖177个国家和地区的用户，产品、运营、增长都在做全球化能力的搭建。

3、国家版“防癌说明书”来了！一半内容与吃有关......

小组赛阶段，当商汤小浣熊押「佛得角」能挺进32强时，没人当真。

4、科技股暴跌导致遍地哀鸿，其实大家心里都清楚，我们只是“小菜”

具身CoT：让模型「边干边想」 没有语言理解能力的VLA，就是数据集复读机。

5、云南省教育厅副厅长王永全被查

数据清零了，担忧清不了零 Agentic coding工具，握着你电脑的最高权限：读文件、改代码、跑命令。

不是固定的语音指令识别，而是真正理解你在说什么、你想干什么。

商业广告 · 山岚高山乌龙茶 再看一张奢侈品级的茶叶广告，最考验的是材质和文字。

6、米兰夏训正式开启，主力即将回归跟阿莫林碰面：莱奥会参加么

那，还要医生干什么？ 这个问题成立的前提，是AI在医疗上足够稳。

响应卡顿、排队等待，个别长文本请求甚至会霸占通道，把其他短请求活活拖慢。

7、海港VS深圳：陈威镇守球门，维塔尔+梅伦多领衔中场，莱昂纳多冲锋

由于开源模型被广泛复用，一次被植入后门的发布甚至可能波及大量下游用户，形成模型供应链风险（Model Supply-chain Risk）。

而一旦记忆能以一种中立、标准的形式，在不同模型、不同Agent、不同设备之间被共享和继承，它就不升格成一层公共的基础设施。

8、意外！U17国足2比3惜败日本无缘冠军，主教练赛后备受质疑

7 月 21 日，Anthropic 在 Claude 桌面端 Cowork 的 + 菜单里加了一项「Record a Skill」：录屏，一边操作一边用语音讲解，录完后 Claude 自动把演示转化成一个可复用的 Skill。

冷启动阶段，商汤先把设计师的专业判断整理成「指令思维链」喂进去打底，让模型学会「先定版式、再铺大色、最后抠细节」这样的先后章法。

翻译成大白话：用户使用周期越长，系统会自动学会诸如「计划中的事件不该当成已完成的来计数」「问上周六的事要先把上周六解析成具体日期」这类细微但关键的判断。

9、讨好某人比赢球重要？德尚手握翻盘法宝却不敢用 任凭法国死去

即使是 Claude 等强通用模型，在「绕原子旋转」等任务上也表现较差。

搜到了，点一下直达目标内容，不用再一屏一屏往回划。

10、宇树科技创始人王兴兴登上《时代》封面，称病毒式走红给公司带来很大压力

它的关键动作，不是把那条价值链再讲一遍，而是把尺子变成了产线。

形态不同，任务不同，物体更是千差万别——布偶、螺母、透明瓶子、柔性线束。

1、卡瓦哈尔已确认离队，皇马夏季重建或以姆巴佩的去留成关键变数

于是护城河换了「品类」。

2、世界杯18位亿元先生现状：6人已出局，2人抢金靴，身价王仍1球

这可不是一张太阳系的图，是一个真正运行的太阳系！ 太阳坐在正中，行星一颗颗铺开。

3、微信又有新功能！网友：家长终于可以放心了

一道题挂了几十年没人领走，可能不是因为它有多难，而是因为没人肯在那条路上再试第三十次。皇马进四出四仍满员！库库雷利亚无号难注册，清洗3-4人迫在眉睫在PixVerse的全球社区里，有75岁的英国老人制作出了属于自己的「人生影片」。

4、越位都不懂瞎带节奏，按照规则吹被骂黑哨！省超火热引发舆论乱象

只看当前帧的模型到这一步只能瞎猜，往往是随手一放。

5、禹唐7月23日举办2026世界杯营销回顾总结直播专场，深入剖析品牌营销的范式转型

网友惊呼：「并行推理将重新定义计算可能性的边界！」 网友 @Mikhail Rogov 敏锐地指出：「把耗时从一天缩短到一小时，这完全是另一种产品形态了。

6、“北境之王”，杀回来了

一套是公开的Mensa Norway风格测试，网上人人能做，模型早就刷到140多分了。

这恰恰是下半场的关键：谁能盘活用户数据，谁才能真正抓住用户。

最后，机器狗和工作人员一起做电梯，达到另一个软网环境：地下车库。

7、全网走红的「爆改老妈」，审美霸凌了多少中年女性？

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

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

8、半年没回家，邻居竟将公共走廊“爆改”成开放式厨卫？遇到火灾隐患这样举报

大脑（ABot-ER）：具身大脑，负责统一的逻辑推理与环境认知。

超维动力的回答简单粗暴：全都要，就是全栈具身智能大模型公司。

Palantir需要向前一步 Palantir的强项一直不是训练最大的模型，而是将数据、业务对象、权限和行动连接到一个企业级Ontology中。

你甚至能用大白话反复调它、改它。