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

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

大脑系统在真实世界的考试 COSA 0.5 的 Demo 选了一个看似普通、实则极难的场景：做家务。九游体育这个仅有0.9B参数规模的模型，基于MiniCPM4-0.5B训练完成，在同类开源模型中性能稳居第一。

2、专访

注：模型1是磐石，模型2是Gemini 3.1 Pro，模型3是GPT-5.5 从AlphaFold到统一科学智能，AI for Science正在从「单点工具」走向「系统能力」。

3、15幅 乔治·莫兰迪的静物花卉特辑

收益递减：为了获得微小的性能提升，需要付出指数级增长的算力成本。

4、1-1！世界第2翻车，被伊拉克逼平，多斯基神仙球：边路吊射破门

我们甚至可能抵达这样一个节点——资源不再是人类进步的制约因素。

5、德国公务员到底交多少税和社保

这话乍听有点大。

再往前一步，就是这次战略里更大的那句话——以自研此芯P1为核心，打造覆盖端、边、云全场景的全域算力底座，真正实现「一芯驱动全场景AGI」。

没有它，一个跑一整晚的Loop，很可能就是一台睡着了还在批量提交垃圾代码的机器，而且提得理直气壮。

6、这种“揉面垫”上黑榜了！里面含有玻璃纤维，接触越久伤害越大

但这座宏伟的大厦上方一直有「一朵乌云」。

AtomWorld生成器流程：1. 随机采样器调取预设原子结构；2. 随机初始化器配置原子编号、位置参数；3. 结构算子运算得到目标结构；4. 提示词模块生成对应自然语言描述。

7、吉利斥2.21亿欧元购34%股权，联手福特运营西班牙50万辆产能工厂，上半年海外销量增158%

因此，它用超低成本，实现了「带脑子、带记忆」的高级推理。

此刻，我们深陷一场异常激烈、多层交织的商业与地缘政治竞赛。

8、“穷人才用下酒菜给孩子过生日”，安徽女孩生日宴火了，家长被嘲

而这些动作，大半都发生在7月这半个月里。

没人想到的是，它其实是一份提前三个月写好的入职宣言。

换句话说就是，写得越少，分越高，钱省得越多。

9、美的7天交出2万台空调！评论区却炸了：工人的加班费翻了几倍？

产品设计重点不是单项参数叠加，而是围绕连续运行、控制一致性、系统协同与真实任务完成能力进行综合平衡。

全网都觉得它「变笨」了 这个日本团队的遭遇，只是这几天Codex社区里的一个缩影。

10、曼联承认没想热刺如此有钱，抱怨M费没表态只来红魔！B费游说无果

直到判断OK，上下文理解清楚了，才开始执行。

这些全是间接的信号，没有一样写在模型卡上。

1、贵客抵达了北京！不到24小时，美财长发火：全世界只有中国敢接单

临港AIDC的国产卡占比不断提升，预计进展顺利的话，明年可能超过50%。

2、喷裁判成了传统！法国无缘决赛后，德尚怒斥主裁“没有执法水平”

一来一回，不仅上下文没爆炸，8K大图也能稳定直出了。

3、亚盛集团原董事长辞任！农垦系常玉泉获提名董事，或接棒新董事长_网易订阅

」 腾讯Robotics X实验室主任张正友给出了更宏观的判断：「整个行业还在起步阶段，远未收敛。为执教广东队铺路？广州外教米切尔没有续约，或被朱芳雨重金挖走小组赛阶段，当商汤小浣熊押「佛得角」能挺进32强时，没人当真。

4、1400万逆袭11亿！《给阿嬷的情书》爆火，还捧出上百个百万富翁？

其次，是直击全球高端购买力的高端消费电子与可穿戴设备。

5、药企跨界算力，能否消化最高6.79亿元算力订单？

文本润色、信息摘要、AI 消除，响应几乎没有等待感。

6、债券市场是否已看穿AI泡沫的真相？

X上一个叫Heavy Pulp的创作者，用Grok Imagine生成了一段《奥德赛》的对话场景——卡吕普索挽留奥德修斯的那场戏。

另外，在内部构建的真实工程评测集KAT Code Bench 上，它以53.1分同样跻身第二梯队； 在业务化Agentic评测集KAT Claw Bench上拿到85.5 分，与最强的闭源、开源同行贴身缠斗。

」张正友补充道。

7、8连胜！CBA山东男篮末节18-0击溃宁波，三外援20+挡不住

聊天中使用斜杠命令（/）即可调用该 Skill 干活了。

这哥们儿把全部制作流程公开了，核心逻辑只有一句话：把Grok Imagine当成一个真实剧组来用。

8、中场定乾坤：西班牙世界杯夺冠背后的足坛核心逻辑

工业区更热闹：两台人形机器人在「搭班干活」——一台搬运料筐，另一台从筐里抓取工件精准放到指定位置。

1980年代就本可以被发现。

它向外界证明了，可以不用再去迷信孤立的「超级大脑」或单个「灵巧手」，而是回归生命进化的本质，去构建一个精密咬合的闭环生态，才是打破莫拉维克悖论的最佳解法。

他们在自有的8台8卡昇腾服务器上，塞进了讯飞星火、DeepSeek、Qwen等一众模型，承载内部多个AI应用。