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

1、博鱼手机 测试结果却是一记响亮的耳光：在相同的环境扰动下，使用了ICL的基线模型WAM-ICL，成功率从标准环境的48.4%直接崩塌至7.1%，泛化保持率只剩14.7%。

老师把一件重复活交出去一次，之后每个上学日，它都能替你跑一遍。博鱼手机你只需要定义规则、目标、玩法和世界观，剩下的角色、场景、画面、叙事，全都在实时互动中由AI生成！ 想象一下，你对着屏幕说：「男主这时候应该摔门而出，眼神要三分薄凉四分愤恨。

2、名记称湖人收获利好，篮网抄底16+8悍将，可能放弃竞价里夫斯？

（图源：Ramaswamy et al., Nature Medicine, 2026） 结果是：在医生一致判定「必须马上去急诊」的那批案例里，超过一半，系统给出的建议是不用去：先在家观察，或者过几天再挂个门诊。

3、最痴迷广东旧将的球队！逼走培养5年的赵柏清，转头3年顶薪签下杜润旺

Prompt的最后，AI被命令道：「在这上面至少花上8个小时，然后再去考虑放弃或返回结果。

4、大胆预测！世界杯决赛阿根廷对阵西班牙，阿根廷大胜，理由有四点

它还可与政府携手，培育一个第三方审计机构的生态，协助开展评估，并参与打造新的基准与测评。

5、就连人字拖都被做局了！

AI裁判的推理原文：明知正确标签，却因顾虑「这个标签会被拿去训练模型」而拒绝如实标注。

第三步：让3D稀疏注意力真正跑起来 稀疏attention的难点在于，少算理论FLOPs不等于真实延迟一定下降。

恢复访问几周下来，没再出现严重的绕过。

6、内塔尼亚胡失算了，空袭加沙不到24小时，联合国这次终于不惯着他

市场增长为灵巧手和核心执行器带来发展空间，但企业能否形成长期价值，最终取决于底层核心技术、标准化产品、真实场景验证和可复制交付能力。

体系化带来的三大「表征」 当这五大「数字灵魂」在三层架构的驱动下精密咬合、协同运转时，便不再是冷冰冰的代码与模型，而是化身为对复杂物理世界有强大适应力的物理智能体。

7、美网资格赛解签：其实，纽约也一直是“福地”来着

7月15日，前谷歌DeepMind科学家Alex Turner宣布辞职。

6台机器人、两种完全不同的本体形态，要在同一个物理空间里各干各的、又不能撞在一起。

8、印尼公开赛：25秒“计时器系统”首次在1000赛测试

一个人，两帧起始图，一套prompt，拍出了连贯的电影级对话戏。

Bloom的评价是：GPT在Korsky的提示下，只用了1页简单的调和分析技巧，就证出了比Beck那篇44页Annals论文更强的结果。

大脑系统在真实世界的考试 COSA 0.5 的 Demo 选了一个看似普通、实则极难的场景：做家务。

9、生涯10年，6次进分区决赛，拿到过1次FMVP，如今却被摆上交易货架

传统教育中，真正要做到因材施教，对一个要面对几十号人的老师来说，几乎是奢望。

沉默，终究扛不住了。

10、放牛娃逆袭首富，包养情妇，生下11个私生子，75岁还在拼命生娃！_网易订阅

但你可能正在把一根木桩，钉进传统电影的心脏。

乒乓球桌只是展台的一角。

1、出战世预赛？河村已回日本或PK中国男篮 徐杰被淘汰谁能限制他？

OpenAI官网回应页：公开反对《纽约时报》调取2000万条用户对话记录的诉求。

2、罗体：博尼将参加国米亚洲行，劳塔罗和图拉姆8月初归队

整体而言，「书生·端砚」的核心价值，并非单纯提升计算效率，而是针对性解决行业普遍存在的推演产出多、落地验证难、偏差修正慢、成果转化弱的核心痛点，为 AI 科研植入真实世界的迭代逻辑，推动模型从标准化工具，升级为可探索未知领域的科研协作载体。

3、公安部：中缅泰对妙瓦底地区电诈犯罪集中清剿，妙瓦底KK园区630余栋建筑物全部拆除

可以看到，一旦真正到系统级交付阶段，复杂的专业门槛按被悄然抹平，任何人都能轻松上手。Ram首款SUV Ramcharger全面曝光：或2028年登场正整数的字典序不可能无限递减。

4、篮协该咋办？CBA升降级存致命漏洞 四川可以随便摆烂了吗

防御窗口在收缩，而攻击前沿在加速。

5、激烈冲突！湖人大胜快船豪取5连胜 24号秀复出23分5号秀16+6

在闪购仓、小店、仓店一体几种形态上都能跑成闭环，支持天级轻量化部署，不用把仓库大改一遍。

6、一面锣带来31亿次播放：FoYes在HYROX做对了什么？

你写了段破绽百出的代码让Claude看，它不但没嘲笑，还先夸了句结构清晰。

这，就是「大晓速度」！ 让它干活的 是一个会「想」的大脑 面对几十万种视觉资产、每天都在变的订单，W1凭什么能稳、能准、能一直干？ 答案不在手上，在脑子里——Kairos 3.1开悟世界模型。

年底见。

7、正式确定！山西男篮更换主帅，潘江离开球队，杨鸣有望接手

固定种子噪声生成一座岛，要有丘陵、海岸、浅水、地下矿脉。

前向过程逐步将token替换为掩码符号，其在时刻t的闭式解为： 其中为token在时刻t保持未被掩码的累积概率。

8、划时代球员招募詹姆斯！高考数学满分学霸！5年换5队的大龄落选秀

可物理世界不吃这一套。

解出一道题，只是多了个工具。

整个赛程里，小浣熊一直坚定押注阿根廷。

特纳又当着全场观众的面质问Stuart Russell。