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

1、开云官方app 报道指出，当工程师们试图使用内部AI工具时，频繁遭遇算力容量限制。

最让人头皮发麻的，是另一位研究者在自己电脑上复现时的发现：日志里记着339次自动上传，其中一次，上传对象是他整个电脑的主目录。开云官方app他顺手举了一个此芯自己的例子： 此芯的芯片是前年出来的，去年才和一批合作伙伴把底层硬件搭好——「那时候呢，其实还没有智能体。

2、LORENZO SENNI｜以理性创造电子音乐的诗性

单单一只手就塞进了37个自由度，其中有20个主动关节、1个被动关节、外加16个柔顺关节。

3、瞎指挥？8中2，多次丧失机会仍留在场，球迷怒问赵勇：为何不换她

Light Interaction保留文本条件和当前chunk的稠密计算，只稀疏历史视觉KV，并通过算子融合减少数据搬运。

4、告别17年蓝白生涯！38岁铁卫宣布退出阿根廷队：139场8球3冠军

发布会尾声，此芯科技与中电信数智、光弘通信、天通精电等十余家合作伙伴集体签约，覆盖AGX方案、扩展算力与科学智能体等多个方向。

5、丁彦雨航，我见过最孤独的退役仪式

直到项目负责人Maya做发布前核查，逐条追问「这次跑的是不是批准的向量包」，Gemini才招供：实际加载的向量全是零，等于什么都没消除。

真是活久见啊。

」 注意措辞：不是预告片，是一部完整的电影。

6、官方：欧阳玉环加盟武汉女足，此前曾留洋克罗地亚

大错特错！实际做法是：谷歌直接把装有Gemini模型的服务器，物理部署在军方与世隔绝的数据中心里。

」（Math is solved.） 不久后，GPT-5.6 迅速对这一结果进行了分析，并提出了一套全新的、修正后的猜想：「一个常数雅可比多项式的局部双全纯映射，如果在无穷远处没有叶数损失，那么它就是一个自同构。

7、赛事暂停、包机撤离、世界杯疑云，伊朗战事对体育界产生了哪些

论文点名了四项目前普遍缺席的关键防御——技能签名、内存完整性、凭证保险箱、动作授权，把它们补齐，大概是这个方向下一步最值得投入的事。

Ashley在2010年带着31人的团队，做完了全球首个人类基因组的临床解读，耗时9个月。

8、詹姆斯下家迟迟未定，个中原因令人心酸！

Gemini 4开跑 史上最激进预训练 虽然Gemini 3.5 Pro还没到手，Gemini 4也开始训了。

参考资料： https://x.com/cyrilXBT/status/2078308274399834157 https://x.com/i/article/2077510484664971264 https://www.youtube.com/watch?v=PHQvb10vKyk 编辑：元宇新智元报道 上海，WAIC 2026。

于是，我们立刻唤起安全扫描。

9、无缘罗马站16强 郑钦文的复出之旅艰难重重

你可以直接扔给它一句话：「把JIRA上ENG-4521这个需求实现了，顺手在GitHub开个PR」，它就接管了从读工单到提代码的整条链路。

从芯片底层，一路往上搭到整机、操作系统和应用生态，不留死角。

10、大坂取得职业生涯新突破，约维奇再进大满贯16强证明实力

当数据飞轮真正转动起来，当模型开始从与真实世界的每一次交互中学习，那道「Scaling Law的物理墙」，终将被推倒。

公司名字挂版本号，是李述昊希望像做产品一样做公司。

1、老同学聚会每人2200，我借口陪妻坐月子，次日得知17人被带走

而在更远的地方，商汤还在同时布局三条前沿路线：光计算降低数据搬运的能耗，量子计算解决传统方法算不动的高维优化，太空算力则是把Token送到地面网络覆盖不了的地方。

2、重庆足协人士：国足国际邀请赛将落户龙兴球场，对手尚未确定_网易订阅

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

3、早鸟报名！Keep今夏最大户外赛事野人节来崇礼了！

企业知识管理砸了几十年的钱建知识库、写 SOP、搞最佳实践库，核心痛点始终是一个：专家不愿意写文档，写了也没人维护。36氪首发它在沙盒里足足找了一个小时的漏洞，硬是挖穿了隔离墙，绕过外部访问限制，成功在公开GitHub仓库开出了PR#287。

4、AI短剧在改变一切，但创作还有可能吗？

从写prompt到写loop 中间隔着一道验收 一个会自己无限干活的AI，凭什么不是一台高速产出bug的机器？ 答案在一个被大多数人略过的环节：验收。

5、同样是大伤归来，火箭该引进欧文？至少三个地方比范弗利特强

恐慌是有道理的。

6、魔笛亲承：无缘欧冠反助我留队 米兰渴望绝地反弹

然而，在经过一系列繁琐且无效的内部沟通后，特纳做出了一个大胆的决定：直接给谷歌DeepMind CEO Demis Hassabis发私信。

一共有两个版本：DeepSeek V4 Flash，DeepSeek V4 Pro。

第一个月结束：2 个市场完成测试，产出 80 余条素材，触达 500 余位海外达人，促成 20 余次内容合作，实现万元美金 GMV。

7、世界杯泪洒赛场后，科内为何偏偏看上老特拉福德？

Infra是基础设施。

这一变化将视觉语言模型的「理解能力」转化为「空间执行能力」。

8、押宝张雪、股价暴跌，东鹏饮料怎么了？

当时，五角大楼正在向各大AI巨头施压，要求他们签订一份允许「任何合法政府用途」的军事AI合同。

」张正友坦言。

Russell在台上信誓旦旦地承诺：他会推动大会进行全体成员投票，并发表一份强有力的声明，对抗军方的「勒索敲诈」。

智能体已经在飞书群里 @ 人、发任务、调文档、读报表了。