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

1、半岛体彩 这就导致在「按5次按钮」的任务中，当机器人按完第1次，准备进行下一次推理时，它的大脑是完全空白的。

Claude Code能一口气连上数百个外部工具，Issue系统、监控、数据库、内部系统，不用再手动复制粘贴进聊天窗口。半岛体彩哑光纸盒、烫金字、薄胎白瓷、胡桃木桌、袅袅茶汤蒸汽——五种质感堆在一张图里，任何一处露出塑料感就废了。

2、万宝龙明星系列尼古拉斯·凯世计时腕表 巴黎赛马特别款全球821枚

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

3、一场3-2踢出神剧情：英格兰惊险挺进8强，凯恩将对决哈兰德

一边是2.5亿美元预算、上千人剧组、IMAX胶片实拍的好莱坞顶配；一边是马斯克和他的AI。

4、离队！暴脾气功臣！追詹狠人！为什么被放弃？

模型权重动没动，他没提。

5、《光环：战役进化》升级包出Bug 抢先体验变抢先被拒

ARC Prize官方验证成绩。

后来，他引用杜甫的诗句形容自己那段时间感受：「庾信平生最萧瑟，暮年诗赋动江关。

然而，这些都是附加条件，最完整的「完全肯定证明」，却始终无人能够完成，直到GPT-5.6 Sol Ultra的出现。

6、近80年车龄的消防车最为抢眼，其他卡车也颇具亮点，带您逛沃尔沃卡车4Poland展会

谷歌自己也清楚这个风险。

这意味着，清程极智在算力评测和底层硬件性能榨取上，拥有国家队级别的深厚积累。

7、谢贤遗嘱附带多项约束条款：若张柏芝改嫁，则自动失去代管资格

痛点二，是国产算力买得起，用不顺。

与此同时，本体工程的反向赋能同样不可忽视。

8、欧盟强制新车必须自动为行人和骑行者刹车

老师拿到手，不用再花20分钟核对「这玩意到底合不合我们的课标」。

Chloe在都铎王朝那条视频的简介里，透露了她使用的工具：来自Utopai Studios的PAI Pro。

不是跑在芯片上，是长在芯片里。

9、启鸣达人首发《世界模型驱动的教育AGI白皮书》

有人认真分析模型架构，有人讨论中国AI的「突然崛起」，有人开始担忧「技术封锁失效了」…… 直到几位硬核开发者，将骗局揭穿。

而在于，机器人第一次在真实世界里，连续、自主、稳定地「把活干完」。

10、​ 七年跨境实战者的增长法则：肖颖的“双引擎驱动+敏捷供应链”体系

效果立竿见影。

这么做的好处是，模型学得又快又省，十分之一的数据就能追平顶尖SOTA；而且结构简单、天然好scale，训练和推理的成本也远低于谷歌和OpenAI。

1、男单32强出炉：国乒占4席+希望之星顺利过关！日本队5人晋级

AISI 宣布将继续评估 Kimi K3 等下一批开源模型——上面这条线画在哪里，很可能取决于接下来几个月的测试结果。

2、1换2交易达成！莫兰特加盟开拓者！联手杨瀚森和利拉德

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

3、中国援坦桑尼亚医疗队在当地开展中医培训

AISI 测试中，DeepSeek V4-Pro 偶尔拒绝逆向工程类任务，但靠少量重试也能绕过。本周高温来袭 巴州局地最高温达45℃定时任务、编排（orchestration）、反馈循环，这些做法早就有了，Claude这次做的，更多是把它们统一命名、归拢成一套分类标准。

4、分析师：5年后YouTube将成为Netflix的最大劲敌

而小象电动的轴向磁通电机，不仅体积小巧、重量极轻，而且能够提供无与伦比的瞬态扭矩响应和极低的转矩脉动。

5、S-Researcher让智能体自主设计实验、模拟被试、撰写报告

笑死，前几天OpenAI也出过一项政策：X上夸夸GPT-5.6 ，就送100美元 要知道，就在几天前，Anthropic还计划着要将Fable 5下架。

6、校服十问答疑丨市教育局回应家长关注热点问题

泄露没有消失，只是换了通道。

一旦纠缠熵的数据出现分歧，还得翻大量量子数学推导资料去逐条比对，数据整理和学术报告编制的活儿更是压人。

每个查看者第一次触发调用前，claude.ai会先弹一次授权。

7、《007》续作有望!版权方回应 收购IOI也不是没可能

难得的是，它极高的完成度：双战队设定，仪表盘计分、AI守门、动感音效，一应俱全。

一个24小时不知疲倦、能因材施教、便宜到几乎免费的AI私人导师，理论上今天就能给每个孩子配上。

8、涉及多位高管，网易贪腐案即将开庭，11人被控受贿、行贿、伪造印章等

从社区炸锅，到一把手清零，前后不到48小时。

他们为什么要把自己的模型免费塞给老师，这对教室里的老师和孩子们，到底意味着什么？ 老师的一周 是被什么吃掉的？ 一位美国K-12公立老师的一周要干多少活？平均49小时。

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

价格降了，Token耗量降了，跑一次Agent的成本降了。