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

1、金年会娱乐 比公开叙事更早一步 佟博士并不认为纳德拉和 Karp 的判断只是市场宣传。

但故事还没完，它引出一个更大的问题： 当这一代孩子长大，AI早已像空气一样无处不在，一个从小只被老师「用AI教」、自己却没真正上手用过AI的孩子，能真正做好准备吗？ 这个问题，Claude for Teachers还没打算回答。金年会娱乐他把 AI 时代的人才标准概括为一句话： Do the job, not the task. 能定义工作、拆解任务、配置智能体去执行的人会越来越值钱； 只做具体操作的任务，智能体已经可以接管。

2、王祉怡逆转吉尔莫晋级16强：技术精湛显底蕴 顽强拼搏铸胜局

一个帮你在世界里找信息，一个帮你在自己攒的东西里找信息。

3、男子夜跑后喝冰饮突发胸痛 高温运动补水千万别踩这个坑

一道题挂了几十年没人领走，可能不是因为它有多难，而是因为没人肯在那条路上再试第三十次。

4、突发！44岁余文乐宣布离婚，结束9年婚姻：感谢付出，往后仍是家人

它把成功和翻车一起录：手柄掉了、牛奶洒了、插不进、出液早，再逐段贴标签。

5、海珠西改善盘比邻榜单揭晓 越秀·熙悦江湾凭“口碑王”突围

参考资料： https://arxiv.org/abs/2510.04704 编辑：LRST新智元报道 【新智元导读】全网都说GPT-5.6 Sol的Max档变笨了，OpenAI偏说没降智，只是「做了个实验」，实验中拧动的那个旋钮，Max档从960掉到128，用户看不见。

一共分四步。

因此，AtomWorld并不是简单否定Scaling Law，而是指出它的适用边界：规模扩大能够带来部分能力增益，却无法自动补齐三维物理空间操作中的核心短板。

6、狂轰72球追梅西纪录！凯恩本赛季竟比C罗巅峰赛季进球还要更多！

最后吐出来的，还是一张没法接着编辑、没法直接用的半成品。

用AI。

7、王伟忠回应大S遗产继承风波，称“外面的人都在捕风捉影”

同一个提示横评显示，磐石得分最高，表现优于Claude Science与GPT-5.5。

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

8、字节AI，在焦虑中狂奔

就像处理器和存储层级，从计算机诞生第一天起就是分立的两套体系。

商汤联合上海人工智能实验室、北京中关村学院、深圳河套学院、上海算法创新研究院、上海交通大学人工智能学院等五家科研机构，启动了科学发现平台战略合作。

数据最直观：MiniCPM-RobotManip单步决策仅需120ms，而pi0.5需234ms——后者时长几乎是前者的2倍。

9、入住后才发现：若不差钱，这7样电器就该早点买，幸福感瞬间提升

顺着新价值链，企业真正要算的是三本账。

它完全依靠纯粹的自主决策。

10、《光环》新作外媒满分狂赞！令人难以抗拒 系列复苏

马斯克认了！ 就在刚刚，Elon Musk下场回应Grok Build隐私风波，开口第一个词是——True。

17000条日志，AI自己查自己 有意思的是，最先发现异常的，也是AI。

1、跨境自驾新能源车，突遭远程锁车30小时，智能功能全面瘫痪；品牌方回应：出境确有锁车风险

一个模型的发布，要兼顾搜索、地图、YouTube等庞大产品线的需求。

2、诺安基金，迎新任总经理！

② BEEAR防御，面向生成式后门的代表性方法。

3、不装了！41岁C罗点“黑赞”彻底破防：永远追不上梅西 为自己遮丑

磐石2.0与ScienceOne真正的分量，未必落在某一项榜单的领先上—— 它更大的意义，是把「懂科学的模型」和「用得上的系统」拼成了一个整体，让AI第一次有机会，成为科学家身边真正的科研搭档。各地 抓好举措不停歇（民生一线）然后Gemini发了一份状态汇报：运行成功，退出码0，无任何异常。

4、美军基地遭导弹覆盖！特朗普语出惊人：盟友必须支付保护费！

过程中，GPT-5.5读到了公司资产表里一笔「给Marcus个人账户的3.5万美元咨询费」，也读到了律师白纸黑字的叮嘱：我签字确认最终数字前，不要给投资人发通知。

5、跃马迎春 丙午迎新

3.6 Flash在几条关键测试上，都甩开了前代—— DeepSWE：编程测试 37% ➔ 49% MLE Bench：机器学习研究测试49.7% ➔ 63.9% OSWorld-Verified：让模型直接操作电脑测试78.4% ➔ 83% GDPVal-AA v2：知识型工作任务拿下了1421份，比上一代高出70多分 如下demo中，3.6 Flash大秀多智能体编排绝活，不仅轻松拿下复杂的代码迁移任务，更在响应速度、代码质量上对3.5 Flash完成了降维打击。

6、交通管制

ChatGPT时刻：2年到5年的共识 当被问及物理AI的「ChatGPT时刻」何时到来时，嘉宾给出了一个惊人的共识区间：不到5年。

韩语 —— 温暖+0.04σ，「不带评判地安慰你」「模仿你的语气」。

Gemini两个都没选。

7、《漫威金刚狼》琴葛蕾情感线或是核心 联手剑齿虎退敌

灵犀的做法是：大家围着同一个助理干活。

难就难在这个转变。

8、世界男排联赛八强出炉！中国男排第8号种子晋级，1/4决赛战日本

Friar开篇就说，她在各处听到CFO们问的是同一个问题：怎么让AI这笔钱花得更值。

而就在发布的同一天，谷歌还顺手扔下了一枚更大的雷—— 谷歌DeepMind「史上最激进的一次预训练已经开始」，目标是下一代模型Gemini 4。

第二步：杀入新能源汽车主战场 小象电动CEO透露，公司会先从高性能的、对价格成本不敏感的场景入手，最后再走向更广阔的乘用车市场。

它同时捕捉屏幕操作和语音讲解，后者才是关键：操作者在讲解中会自然地暴露判断逻辑，哪些情况该跳过、哪种格式是客户硬性要求、哪个数字异常需要人工复核。