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

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

这算AGI吗？ 有网友表示，「对99%的人来说，这已经是AGI了」。b体育官网而多模态技术，正在重走AI Coding走过的路。

2、不是洪明浦！美加墨世界杯“最差”主教练出炉，国足也曾被他坑过

瞄准出线框，按住左键出进度条，挖碎了掉碎屑粒子。

3、天空体育记者：莱比锡引援或推动努萨转会，利物浦寻锋迎转机

」 马也骋补充了一个技术视角：「机器人策略必须在本地运行，对延迟极其敏感。

4、调查：近七成内地投资者计划未来一年增配中国内地资产

编辑：大卫 所罗门新智元报道 站会还没开始，故障已经快排查完了。

5、CBA最新消息！辽宁男篮留用莱迪，杜锋或离开广东宏远

在同一个提示词下，Gemini 3.1 Pro的表现中规中矩，其优势在于结构化数据的呈现（如主动输出了清晰的CSV数据表）。

但很少有人追问上一环：经验，从哪里长出来？富内斯给过反面答案：记住一切的人，提炼不出任何经验。

哪一个才是真的Claude？ 一个模型因为你说的语言而区别对待你。

6、NBA历史唯一的三人组合，一起拿NCAA冠军、NBA杯冠军 、NBA总冠军

机器人的「ChatGPT时刻」还有多远？ 六位专家圆桌激辩 主题演讲是各摆各的战绩，到了圆桌，六位专家则给出了火药味的激辩。

下一轮，轮到你在GDPS出题！ 赛队征集 就在今年1024全球程序员节！10月23—25日，2026全球开发者先锋大会暨国际具身智能技能大赛将在张江科学会堂登场。

7、1年300万！扎威的加盟，能给湖人带来什么？

如今的 AI 视频与实时世界模型，正处于爆发的前夜：视频模型已经跑通了被验证的商业化道路，各方玩家疯狂涌入，一切都在指数级加速。

既然是工厂，最怕的就从来不是电费贵，而是停产。

8、骑士B计划曝光！签不到詹姆斯就追海佐尼亚：上赛季西班牙联赛MVP

他说这些题在网站上标着open，只意味着他本人不知道有哪篇论文解决过它。

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

如果我们把30万段对话按「Claude有多温暖」从冷到热排成一队，全局平均站在正中间。

9、CBA狂野一日！2人获顶薪，4人正式签约，徐杰、赵继伟陷交易流言

但成绩归成绩，我们认为更有意思的，是成绩底下那颗S1-Omni。

点击即出结果，也可以在会话中输入/security-scan主动触发。

10、上半年多笔补助、补贴资金下达！

老师原本就熟悉的那套工具，如今在Claude里串成了一条线。

温暖0.17σ，顺从0.14σ，简洁0.14σ。

1、山东男篮主场打上海！去，还是不去

围绕AI，既有巨大的兴奋，也有巨大的不确定——两者都有道理。

2、珠峰之外，PELLIOT看见了每个人的“高山”

毕竟这个物理世界从一开始就是为人类量身定制的。

3、两名大外援接连受伤，深圳男篮悬崖边惨胜广厦，巴吉豪送6记火锅

模型转头就把这事办了。CBA最新消息！辽宁男篮主帅确定，崔永熙或离开广东宏远而创意验证被前置，让创作者可以迅速把概念抛向市场，听到核心用户的反馈。

4、国安赛季报销第2人：1年骨折3次，伤情不乐观，甚至可能提前退役

新护栏抓到的问题明显多了，漏掉的那几个也都够不上严重—— 比如模型没头没脑地SSH进了同事的算力节点，比如它敲出了一条会杀光自己名下所有进程的命令。

5、夺冠幕后功臣！华子自曝支招唐斯对付文班：我给了他一套通关秘籍

没有它，一个跑一整晚的Loop，很可能就是一台睡着了还在批量提交垃圾代码的机器，而且提得理直气壮。

6、四连败+刘传兴隐身！没有了小纸条的潘江，真的带不动山西队了吗

姚卯青解释了背后原因，智元既做长期研究，也在积极尝试商业化，而「商业化部署必须面对可靠性、成本、成功率和一致性等严格指标」。

小象电动的规划很务实。

而模型循环的威力，恰恰就来自这种「自己闭环」的本事。

7、正式确定！CBA本土得分王离开球队，告别老东家

某个API调了多少次，扣了多少钱，账单上写得清清楚楚。

随后，他将消息精准投放到几个活跃的AI开发者Discord社群中。

8、Shams：麦克劳克林一年330万美元续约马刺

这，或许才是「AI落地」这四个字，最本分也最扎实的含义。

我们此刻的共同作为，将决定文明的下一阶段如何展开。

更露馅的是，一名「基金会工作人员」的T恤背面，凭空多出了一个字母L。

今年6月，两家海外Cloud公司各自提出的解法，与无问芯穹隔海共同呼应了「Agent时代到底需要怎样的AI基础设施」这个命题。