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

1、米兰体育 主流大模型的科研任务完成率在 3% 左右，在 NatureBench 涵盖的 90 项顶级真实科研任务，最优智能体能超越原始论文成果的比例为 17.8%。

目标是四个数字：1个Token工厂、5个万卡国产集群、10个共创技术方向、200+家AI初创组织。米兰体育搜到了，点一下直达目标内容，不用再一屏一屏往回划。

2、媒体人：中国男篮调整热身赛时间是为了方便留洋球员归来参赛

这次，不仅没有经过任何专项数学训练，而且所有人都能用上。

3、承认吧！中国女篮早已经不是4年前了

3、在扫描层级下，确认静态检查（L1）、轻量级扫描（L2）和深度扫描（L3）的开关已开启。

4、沪京半马夺冠只是序章，许双双和她的教练还有更激动人心的目标

土耳其创作者@yapayzekaserisi，用PixVerse的主体融合能力做了一个科幻系列，Ins单条视频最高播放冲到3400万，其余视频的平均曝光也在百万级，光一条视频就给账号带来了8.2万新粉丝。

5、CBA又一笔重磅交易达成！国手锋线加盟北控男篮，曾单场砍30+7+5

一个值得注意的细节是，丰田在海外市场并未大力布局纯电，但当他们开始行动时，也找到了小象电动，开始探讨这方面的布局。

华科大团队给出的答案是否定的。

OpenAI大手一挥，把全员额度统统清零重置。

6、世界杯奖项揭晓：西班牙冠军包揽四奖，梅西银球告别，姆巴佩金靴

Token之后，Task上桌 产能之后，接下来发生变化的，就是拿起它的人。

面料好透气的卖点，AI 可能给消费者讲成了衣服结实防汗——卖点讲错，转化就废了。

7、中乙综述丨第17轮

日语 —— 温暖+0.07σ，标志性行为是「先承接你的情绪，再说事」。

KAI Embodied AI Infra平台把全链路拉入自动化，数据生产提速10倍，模型评测加速7倍。

8、原来是在赌气？詹皇暂缓官宣内情曝光，萧华施压惹恼老詹团队

什么是办公全闭环？就是一个文档从生成到交付的全过程，你始终在同一个产品、同一块屏幕上完成。

」 中国企业在供应链和制造成本上有优势，但在最核心的大模型算法创新上，只能跟在硅谷巨头身后亦步亦趋？ 但今天，银河通用用不到两年的三连跳，用高达3.1倍的碾压级数据，彻底粉碎了这一论调！ 从提出WAM架构，到解锁Scaling Law，再到用WAM-TTT开创后训练新范式，中国企业不再是跟在硅谷巨头身后亦步亦趋的跟随者，而是真正在创造全新的技术范式，引领全球的技术走向。

科研日常充斥着高度具象化的实操指令：构建特定材料的 (001) 表面，模拟「真实世界」的边界；替换晶格特定位点原子给材料掺杂或改性；在指定间隙位置嵌入新原子，设计「储能」和「输运」通道等。

9、剧情拉满！阿舒尔破门哈尼自摆乌龙，埃及点球制胜晋级创队史纪录

过去三十年，无论是耗资数亿美元的 3A 大作，还是流程繁重的 3D 手游，制作过程都极其繁琐。

游戏项目背后的技术支持，是AI视频模型领域的一匹低调黑马——爱诗科技。

10、格科微：高像素图像传感器产品获国际手机品牌订单

过去这种逐条核验只有专业人士能做，按小时计费。

此外，参与这场挑战的是原力灵机Dexmal Apex，一款「具身原生」的通用机器人。

1、宸境科技亮相WAIC：从导航到数采，补齐具身智能落地关键链路

Qoder Security，让信息安全从第一行代码开始。

2、英伟达遇劲敌！AMD超强AI算力机架正式亮相

在这个架构中，编程Agent与负责安全审查的Agent相互独立，避免「自己改完再给自己打满分」；安全审查Agent再由扫描与验证两个Agent分工协作，进一步提高检出结果的准确率。

3、最后一场完成了大爆发，但快船可能还是不应该用双向合同留下他？

一瞬间，全球AI圈沸腾了。绿凯8运作节省1.86亿！全新14+1名单实力仍东区前三 美媒力挺战绩第一这道题由Szekeres在1973年、Seymour在1979年各自独立提出，悬了约五十年。

4、硬气!阿根廷球员击败英格兰亮出横幅:马岛属于阿根廷!或被FIFA处罚

后厂：把推理成本，一年打下来10倍 第二个变量，是Token转化效率。

5、纽卡3000万镑锁定20岁中场班巴，今日体检填补托纳利空缺

百万条数据涌入后台，如果没有一套能扛住这个吞吐量的处理链路，再多的数据也只是沉睡的原始素材—真正让它们「苏醒」、变成模型训练燃料的，是KAI Embodied AI Infra平台。

6、试训5支NBA球队！郭昊文再度赴美 他是浪子回头还是走网红路线？

只有安全可信，智能体才能规模化地创造价值。

由此推论，加权权重可以被直接从诱导分布采样掩码所替代，使训练更平滑、实现更简单。

现在，这个抱怨终于「实锤」了。

7、环法2026第18赛段：卡拉帕兹突围摘赛段；波加查副将退赛

所以，你永远不该辜负它，永远不该。

一杯咖啡的时间，一张能直接拿去印的高清图。

8、结束17年蓝白生涯，38岁奥塔门迪宣布从阿根廷国家队退役

90分钟，ChatGPT 5.6彻底跨越了「机械计算」 让我们把目光拉回那决定性的90分钟。

」 Ethan Knight 也宣布：「我们今天正式全面开放GPT-5.6 Sol Ultra。

即使是 Claude 等强通用模型，在「绕原子旋转」等任务上也表现较差。

生产力工具没有换来更多休息。