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

1、Kai云体育 左右滑动查看 二是，让模型和「真实世界的知识」对齐。

爱诗从第一天就在做面向C端用户的全球化产品。Kai云体育没有人会因为CPU厂商强大，就断言存储没有独立价值；恰恰相反，由缓存、内存、硬盘组成的存储层级，自成一个万亿级产业，还定义了整个系统效率的上限。

2、纸巾印“养女不教如养猪”惹争议，消费者谴责这是在侮辱女性_网易订阅

本质是因为，想在家庭场景完成作业，单一的手或者脚足够灵活，还远不足以支撑。

3、营销案例｜打造2025“省超”营销“组合拳”，嘉士伯破解赛事流量转化密码

FusionOne AI，一套AI一体化解决方案，也是企业Token工厂从概念落到现场的载体。

4、开拓者官宣杨瀚森复出！今日11点战森林狼 此前因身体不适休战一场

看看复杂编码、长程智能体、数学推理和错误恢复，到底会掉多少。

5、比亚迪SHARK海外发布：1.5T插混/5.7秒破百，售价约38.6万起

初期，测评可与前沿实验室协商共建；但最终，标准机构应当建立起自己的技术能力，独立于各实验室开发「保留测试集」（held-out tests），以防模型对测试过拟合。

神经激活属于物自体层面，模型输出的话语意义则属于现象界层面，只有被置于某种认知结构框架中才能被理解和评判。

翻译成大白话：用户使用周期越长，系统会自动学会诸如「计划中的事件不该当成已完成的来计数」「问上周六的事要先把上周六解析成具体日期」这类细微但关键的判断。

6、甲沟炎能选这个药吗？注意这个细节！

当宾夕法尼亚大学沃顿商学院的副教授Edgar Dobriban试图用AI攻克这个堡垒时，事情开始变得诡异。

第二道槛：从对话框到工作台 钛极的能力再强，缺了工作流承接，它还是一个聊天窗口。

7、申思掌控小球员引众怒，足协禁足令一纸空文，中国篮坛也有此现象

但如果你问一圈做AI的人，2026年最让他们睡不着觉的事情是什么，答案出奇一致—— 不是模型不够强，是算力不够用了。

这道题是那个年代公认最难啃的硬骨头。

8、历经几十道精细“工序”？揭秘一块病检组织的实验室之旅

我们总担心AI「失控」是什么末日大片的场面。

代号：Cappuccino。

痛点三，是Agent终端沦为财务黑洞。

9、售卖“增高神药”让孩子“猛长20厘米”？多家店铺被立案调查！

正如夏立雪在现场说的：「让智能无所不能，是AGI，而让智能无处不在，是AGI Infra。

过去可能需要一个IT团队花几周开发的东西，现在半小时就能搞定。

10、全世界声讨裁判偷走了埃及胜利：阿根廷名宿承认萨拉赫点球被忽视

三大支柱：从一颗CPU 长成一张全域算力网 在孙文剑看来，智能体已经不是被动响应的知识库，而是能主动拆解目标、调用工具、执行任务的「任务执行者」。

现场没有任何遥控操作，也没有穿戴动捕设备。

1、白内障不是老年人专属，别等看不见了才行动！

《华尔街日报》也指出，Karp 的言论击中了美国企业界对 AI 实验室权力持续扩大的焦虑：模型公司能够从客户的数据和决策过程中获取洞察，而这些恰恰是企业成功的「秘方」。

2、苹果型显瘦的夏季穿搭，挺好看！

此时此刻，无障碍第一次从「工具无障碍」，走到了「能力无障碍」。

3、《乡约食光》第二季开拍，山水延庆火热“出圈儿”~

第一，聚焦智能体专用CPU。王建球调研上市公司和重点拟上市企业_网易订阅S0 是整个人形大脑系统立足其上的地基——用张巍的话说，「没有小脑，是长不出大脑的」。

4、今日热点：白鹿起诉蒙淇淇；岳云鹏回应开演唱会质疑……

喻杰用一句话点破了玄机：「同样的数据、同样的模型，应用到更拟人的本体上算法学习效果明显提升了。

5、对手变队友！佛得角老门将或加盟迈阿密国际 曾扑得梅西怀疑人生

这两年，类似的画面人们早已司空见惯。

6、田间“选秀”记：为大国粮仓夯实“种质家底”

从S1-Omni到ScienceOne 把模型装进科研现场 有了懂科学的模型，下一个问题是：怎么让科学家真的用起来。

代码仓库里装的密钥、配置文件、内部接口、数据库密码、没发布的功能、商业机密，全在里面。

据Boris说，公司里几乎没有手写代码这回事了，连SQL都是模型写的。

7、AI手机，开始革自己的命

谷歌这种赶鸭子上架，败坏口碑的做法到底图什么？ 谷歌还能在AGI竞赛中有一席之地吗？ 参考资料： https://blog.google/innovation-and-ai/models-and-research/gemini-models/gemini-3-6-flash-3-5-flash-lite-3-5-flash-cyber/ https://x.com/Waguri_Kaoruko8/status/2079432904283754652 编辑：大卫新智元报道 一口气三连，谷歌这波是真的不装了。

双榜SOTA登顶 这套设计到底管不管用？HMS用两个业界公认的长时记忆基准给出了回答。

8、记者丨扎尼奥洛、邦多、A·西塞和凯西……

/goal的机制，是你定义结果，它负责迭代。

推理框架PhyAI是由明体科技（MemBodied）联合北京邮电大学、北京大学共同研发的端云一体、全栈优化的具身智能模型推理建构。

入驻孵化营的团队将获得系统化创业培训、投融资资源对接、顶尖科学家与产业高管一对一指导以及后续持续跟进赋能。

如果说大模型竞争的上半场，拼的是答得像不像人。