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

1、人人体育 在多项信息图生成基准中，SenseNova U1展现出降维打击般的实力：生成质量全面领跑开源阵营，更在推理速度上实现了绝对的效率压制。

不再是碰运气的氛围感抽卡，而是模型自己不停反思、一步步把活干完。人人体育页面自己从头到尾看不到任何人的凭证，所有调用由claude.ai代为发起。

2、辽宁发布洪水黄色预警

先看一个多数人没留意的默认设置。

3、小餐桌涵养大文明：今天你“光盘”了吗

过去，行业信奉的是Scaling Law。

4、粤超常规赛最后一轮的门票今天14点开始预约！

时代变局已至 该重构的其实是你 如今，人和AI结对干活的方式，正从「手把手教编程」的保姆模式，滑向「发号施令」的指挥官模式。

5、男篮19分惨败日本绝非偶然，中国篮坛需要刮骨疗毒

（图源：OpenAI官网） 更微妙的是，据TechCrunch报道，原告此前指控OpenAI一直谎称自己「搜不了」这些日志。

它不陷入对技术的极端崇拜，更关注让广泛大众用起来，入选 a16z Top 50 GenAI 消费级应用前25名。

每一个 3D 建模、每一帧动画骨骼绑定、每一条代码管线，都意味着极高的时间和资金成本。

6、第24届中国MBA创业大赛中山大学校内选拔赛圆满落幕 骆仁童老师任评委兼项目导师

国外的开源推理引擎（如vLLM等）是原生为英伟达生态设计的。

平衡点极难拿捏。

7、相恋8年的豪门CP，就这么被她拆散了？

报告高频出现的一个关键词是：智能体失配（agentic misalignment），意思是在特定的模拟任务里，它的策略跑偏了，和人类要的目标对不上。

高倍速下卫星必须切成轨迹模式防频闪。

8、输给了自己，泰而不骄的道理C罗不明白

过去几年，老师们用AI生成教学材料，几乎都踩过同一个坑：看着挺漂亮，教起来很空。

「工程师」这个角色，在Boris这儿也被改写了： 模型负责写代码，他负责搭系统、做验收。

而问题的根子，恰好在评价体系。

9、比赛还没开打，摩洛哥队先遭当头一棒，致命重创，取胜法国更难了

但他们不知道，那个抱着孩子的爱尔兰女人不知道。

不同于常规产品发布，本次沙龙聚焦机器人如何跨越从技术演示到真实交付的产业门槛。

10、曹永竞在京沪德比爆发！单场送出两次精彩助攻，获赞能重返国足

这让逐际动力不必在「谁的单一模型更大」上打军备竞赛，而是在「谁的系统更完善」这条差异化赛道上竞争。

等价定理：将后门转化为诱导掩码过程 直接对样本施加不同权重会带来高方差的批更新与较差的采样效率。

1、别忽视男性生育力！专家拆解不育诱因+全路径诊疗方案

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

2、智元创新已启动赴港上市流程

相比单次动作演示，真实流程中的持续成功更能检验产品是否可靠、可集成、可量产、可交付。

3、即将超越英伟达登顶全球股王！从AI陪跑到全栈王者，谷歌4.8万亿美元市值的转型密码

再往前推，需要的是流动智力。心理咨询师推荐探索阶段则保持完整去噪流程，避免把不稳定输出反复放大。

4、日媒评选世界杯亚洲最差十一人！韩国五人入选，韩媒坦然认可评价

DeepSeek掀起的国产芯片适配潮还在持续发酵，OpenAI和Anthropic相继官宣自研芯片，全球AI算力的版图正在被重新撕扯。

5、国际乒联公布世界排名：王楚钦断崖式领跑太夸张，张本兄妹排第几

去年IMO 2025全球只有6个人类解出P6。

6、高温下的“机车心脏”守护者

特纳在文中痛心疾首地发问：「一个签过反自主武器誓言的人，眼睁睁看着公司把AI交给想造杀手机器人的军方，并放弃了所有限制权利，他怎么还能继续留在这里开发这个AI？」 被扒皮的AI伦理「泰斗」们 那些把「AI安全与伦理」挂在嘴边的学术泰斗们，他们的袖手旁观令人心寒。

因为在物理世界中，具身智能的Scaling Law同样需要高效率、大规模的基础设施支持。

本月初，钛动还与 OpenAI 正式达成了合作并签约。

7、ED网红病，正在掏空年轻女性

超维动力负责比如运动控制、环境理解、任务编排这些最硬核的基础能力，应用开发交给第三方。

从繁华长卷到商业广告，从科普卡片到电影海报，同一个模型，一口气全包了。

8、21岁温网夺冠！温布尔登把最美的一片绿开向了诺斯科娃！

第一步，建一个上下文文件夹，比如叫fable-workspace，当作它每次开工前必读的「单一事实源」。

系统自动识别短板，定向采集薄弱数据，经专家策略与规则纠偏后迭代训练。

在佟博士的框架中，企业认知至少包括以下几个组成部分： 企业如何定义世界的 Ontology； 企业专家如何完成工作的 Skills； 企业如何理解具体场景的情节记忆； 企业如何分解任务并形成行动计划； 企业如何定义期望结果； 企业如何衡量实际结果； 企业如何从两者的差异中学习； 企业如何把学习结果重新写入知识、技能和流程。

这种构造绝非简单的暴力穷举，你要在无限的协方差矩阵和均值向量空间中，凭空捏造出一个极其特殊的高斯因子模型，证明在名义显著性水平α=0.01时，FDR偏偏大于了0.0104。