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

今夏CBA有13人顶薪合同到期！六人续约无悬念，2位顶级后卫遭哄抢

98800 ★

摘要：智元全都要。

它带来的改变是革命性的—— 同功率下，体积和重量减少1/3；扭矩密度达到20Nm/kg，较传统电机提升近4倍；功率密度达10kW/kg，提升近3倍；系统转换效率高达97.5%。

1、bob登陆入口左右滑动查看二是，让模型和「真实世界的知识」对齐。

M = 2 × 3 = 6，和手算分毫不差。bob登陆入口OpenAI搬出用户隐私来抗辩，法院没接受，其中一条关键理由是：这些对话，是用户「自愿提交」给OpenAI的。

2、氪星晚报｜黄仁勋力挺中国AI开源模型；市场监管总局：深入整治“内卷式”竞争

这带来两个核心挑战：训练时监督信号稀疏：后门的目标监督被分散在随机的掩码模式中，稀疏的「触发器—目标」关联容易被普通词的重建所稀释；强泛化的副作用：随机掩码与任意顺序建模会让 DLM 泛化能力更强，进一步淡化稀疏的后门关联。

3、硬刚50万级旗舰奕境X9给国产高端打了个样

但前提是，我们得给自己留出时间和空间，把接下来这关键的一步走对。

4、1963年，柯庆施把张春桥介绍给江青，江青大喜：我要把上海当基地

早期实测显示，该模型在前端界面生成与空间推理方面表现极差，被用户戏称为「史上最差」。

5、全球体育盛会落幕，Topps收藏卡创新玩法加速触达中国消费者

1个统一架构：一套完整的Token Factory架构，桌面级、办公室级、数据中心级体验一致； 3大亮点价值：软硬协同释放Token效能、AI Lab提供T+0的算力与模型供给、7×24小时不间断的自身实践； N个生态场景：从AI Coding、智能体开发，一路铺到AI Office、AI短视频、政务办公、金融营销风控、智慧医疗。

上海东方枢纽国际商务合作区系国务院批复、上海建设的「全球首创、国内唯一」新型国际商务合作区，是中国开放程度最高的区域之一。

直接固定执行更长action chunk也并不可靠。

6、1973年，吕正操被关押6年后，妻子上书毛主席申冤，主席：同意解放_网易订阅

我们甚至可能抵达这样一个节点——资源不再是人类进步的制约因素。

」更是有人原地开始拉踩诺兰。

7、谢苗｜对抗命运的血肉之躯_网易订阅

1990年，第31届国际数学奥林匹克在北京举行。

姚卯青甩出一个数字：物理AI的数据量只有大模型的两万分之一。

8、骂声最少，伤害最深！山东男篮珀塞尔，下赛季不见

模型知道应该写文件，也声称自己写了，但在工具调用层面没有动手。

但数据采集只是起点。

ΔR的重要性在于，它把企业的经营结果转化为认知系统的学习信号。

9、当“国宝珊”遇到“老朋友”，本土品牌如何深耕高尔夫全产业链

对应北京时间为2026年6月14日晚上11:33。

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

10、曼联挪威行大名单：15岁小将JJ-加布里埃尔入选

这个终极武器，就是上文提到的轮毂电机。

如果一家大型国央企为了避免被单一厂商「卡脖子」，同时采购了多款国产显卡，找其他大厂做纳管和推理优化，对方是不会尽心适配其他竞品的。

1、暴露罕见的BUG，石洵瑶美国大满贯3-2险胜萨马拉，解题能力堪忧

值得注意的是：类RL-based方法取得次优ASR，但在低中毒率下会明显损害模型效用：研究人员认为其原因在于RL在少量中毒数据上过度优化攻击目标，偏离了原有的指令遵循分布；而VPI依赖提示注入偏置，无法突破现代安全护栏来生成对齐绕过（）所需的中毒数据。

2、37亿估值差逼退阿森纳切尔西1.17亿抢下维拉前锋罗杰斯

第四，先问AI。

3、公告：粤超第十一比赛周比赛延至8月1日进行

https://www.aisi.gov.uk/blog/how-far-behind-the-frontier-are-leading-open-weight-models-on-cyber 去年同类内部测试中，这个差距是 6 到 10 个月。跨越山海，以球会友｜澳大利亚ADELAIDE SUNS华裔青少年篮球交流营圆满结营！更能说明问题的是它赢在哪里。

4、锐评辛纳进决赛：受伤的元婴怎敌得过化神大神？对手太残忍了！

虽然这次针对比分的「终极预言」与现实擦肩而过，但它向行业展示的，却是从「给出一个猜测」到「交付一件完整的商业成品」的蜕变。

5、国足9月重庆摆擂，将战乌兹别克、朝鲜等四队

用了三个月，它对你的了解跟第一天完全一样。

6、导弹瞄向中国，军舰紧逼，切断稀土供给，日本不用中国出手就输了

工具换代只要一个版本号，制度换代要一代人：技术上早已就位，但规则还停在上一个时代。

小哥用Qwen 7B作为微调底座，用DeepSeek的API作为网页端输出体验，也侧面证明了—— 中国AI模型真实的推理和输出能力，已经强大到足以被骗子拿来冒充「世界第一的万亿参数模型」，而不被普通用户瞬间识破。

底层的计算蓝图刻死，但权重还能更新。

7、绝境求生！山东男篮，还活着

最近，Anthropic首次公开了CC大规模代码迁移「全流程」，六步框架让全网震撼。

结果，事情开始不对劲了。

8、NCAA豪强6号！张博源晒大学更衣室照郭士强为何不招他进男篮？