挤到前排一看。

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

在WAIC，中国「心脏」在跳动 2026年的夏天，在上海世博展览馆H3馆，小象电动的展位，注定不只是展示几款电机而已。火狐买球没有任何预热、没有任何预告，他们在X上扔出了一枚重磅消息——发布Monolith-1.0模型，登顶世界第一！ 数据有多炸裂？ 1.6万亿参数（MoE架构，每token激活495亿参数） HLE工具辅助测试中拿下99.44%的成绩 GPQA Diamond达到95.9% MMLU-Pro达到96.2% AIME 2025超过90% 原生100万token上下文窗口 在12,288块Ascend 910C NPU上训练了60万亿tokens 这个成绩，直接把目前所有榜单打穿了！ 即使是最顶级模型，在面对地狱级难度的HLE时，依然会被按在地上摩擦。

2、媒体人：广州龙狮交易来四川的状元签，最后悔的会不会是石奎？

「机器人最靓的仔」，就是「未来的马斯克」。

3、“拼命地跑，腿脚都是软的”，重庆男子丢下车：如果车再快几十秒，就被埋了

搜索范围是四类：聊天、图片、文档、项目，支持按内容类型过滤。

4、十倍存储牛股大跌超8%，董事长承诺12个月内不减持

但如果你问一圈做AI的人，2026年最让他们睡不着觉的事情是什么，答案出奇一致—— 不是模型不够强，是算力不够用了。

5、选一个你喜欢的卧室！

当不确定性如此之大、赌注又如此之高时，带着「审慎的乐观」稳步前行，才是明智且正确的策略。

当指令本身有害时，强指令跟随反而成了弱点。

算力荒，逼出来的 谷歌为什么要下这步险棋？ 答案很简单，也很残酷：算力真的不够用了。

6、乘联分会：6月份皮卡市场销售6.2万辆 同比增长29%

这项技术的影响规模将史无前例——或许是工业革命的10倍量级，且以10倍的速度展开。

2.8万亿参数的MoE模型，一口气喷涌出154万token，是Sol的6.5倍。

7、CBA速递！山西拿下赵嘉仁，辽篮将打巡回赛，新赛季外援政策出炉

如今，全球AI早就跨过了「能不能用」的青涩期。

但至少，此芯科技已经把棋盘摆好了。

8、上交所：沪港通下港股通标的名单发生调整，拟调入安克创新

邓乐言、张柏伦、刘澈交出的是42分——6道题，题题拿满，零瑕疵，没有一分扣掉。

尤其是，在RoboChallenge Table30 V2真机评测中，DM0.5以43%的整体成功率、54.42的综合得分，直接拿到了SOTA。

」 但把算力聚起来只是第一步。

9、中昊芯英“须臾®”亮相WAIC分论坛

（图源：Claude Code官方文档） 所谓自主智能体，本质上就是这么一个圈。

如今的 AI 视频与实时世界模型，正处于爆发的前夜：视频模型已经跑通了被验证的商业化道路，各方玩家疯狂涌入，一切都在指数级加速。

10、关于阿勒锦岛国家湿地公园临时闭园的通告

今年5月，一篇通稿宣布Lily Jay荣获「2026年Austral-Global人道主义卓越奖」，配了两张她领奖的照片。

论文地址：https://arxiv.org/abs/2510.04704 项目主页：https://masterai-eam.github.io/atomworld/ 代码仓库：https://github.com/MasterAI-EAM/atomworld 理解不等于操作 在科学领域，大模型已经展现出了惊人的 「理解力」：读懂文献、预测材料性质、解析晶体结构、甚至科学发现。

1、登上热搜！谢贤小49岁前女友CoCo账号头像变黑

」 参考资料： https://turntrout.com/why-i-left-google-deepmind 编辑：Aeneas新智元报道 7月17日，上海，黄浦江畔，夏风滚烫。

2、英特尔重申CPU开发计划 超线程技术2028年回归

而轴向磁通电机，正是实现这一方案的理想路线。

3、泰山大胜铁人赛事深度分析：过程大于结果，球队多重阵容问题凸显

在这条公开帖里，Jenny用几句话交代了自己这段时间的三件大事：生了个孩子，辞了份工作，换了家公司。杨瀚森首度回应争议！不训练？吃火锅？直言不在乎外界评价！在考验机器人模型上下文记忆的RMBench上，出现戏剧性的一幕：专用明星模型π0.5，惨遭滑铁卢，得分只有10.4分；而MiniCPM-RoboManip，却一举拿下53.5分，直接碾压。

4、装修最大的坑，就是「用力过猛」！入住后就会发现，啥用都没有！

它其实是在提前回答一个更大的问题： 当AI真正进入大规模生产时代，下一代「工厂」究竟应该长什么样？ 编辑：所罗门新智元报道 【新智元导读】618 期间，灵巧手进了某品牌真实仓库，分拣盒子与快递软包。

5、世界杯前瞻：英格兰提防凯恩被封印，比利时暗藏冷门，东道主较稳

从当年自研TPU减少对英伟达的依赖，到今天把模型直接焊死进硅片，谷歌走的是同一条路的更深处：软硬件协同的尽头，是软硬件合体。

6、演员寇占文被法院悬赏！曾出演《春光灿烂猪八戒》，涉民间借贷近700万

工具链之外，大晓还做了件更大方的事：向全行业开源L5级家居类复杂任务数据集ACE-Data-0。

然而，与高期待相伴的是被忽视的安全风险。

金山办公说能保留287种Office格式元素——图文混排、复杂表格、多级列表都不会走形。

7、韩旭100%命中率！李月汝10+3+2，联手李梦，有望冲击世界杯奖牌！

第四步，接手：你随时可以让AI的对话框完全关掉，鼠标和键盘给你，像使用真正的Word一样，自己做最后的编辑。

它把两队的晋级路径、球员对位、历史交锋和海量关键数据揉碎重组，再交由商汤日日新旗舰级SenseNova U1 Pro执笔排布，干脆利落地甩出一张巨幅尺寸、直接铺满整个论坛大屏的超清战报图。

8、总建筑面积约50万平方米 聚力打造首都全球数字金融创新策源地

大晓这次拿出的，是「晓满」一体化履约方案，和专为这个场景造的履约机器人W1。

你有没有想过，如果能回到历史上某个时刻，你最想去哪里？ 真正站在那里，听到那个声音，感受到那种恐惧或者震撼，从皮肤钻进心脏。

为满足技术要求，需攻克透明材质识别、柔性力控等产业级难题。

第二层，L2轻量扫描，也即语义级增量审查。