就这样，靠着纯粹的逻辑、群论、流场与线性代数，人类苦苦寻找了50年的那枚钥匙，被64个AI智能体在极速的穷举与交叉验证中，硬生生地锻造了出来！ 解题秘诀：「测试时计算」 这一消息一出，整个AI圈和数学界都被震动了。

1、乐鱼APP 一个帮你在世界里找信息，一个帮你在自己攒的东西里找信息。

ΔR的重要性在于，它把企业的经营结果转化为认知系统的学习信号。乐鱼APP（图源：Claude Code官方文档） 所谓自主智能体，本质上就是这么一个圈。

2、英特尔财报超预期：AI智能体带旺服务器CPU，明年资本开支还要大增

不是那种把文字往模板里一塞了事的「假PPT」，而是图文混排、数据图表都到位、排版逻辑清晰的真文件。

3、懂没？吴宜泽夺冠后采访全部说中文，父母为他披上五星红旗

最上层是「具身大脑」，由通用具身大脑ER和机器人Agent操作系统AgentOS构成，负责环境感知、任务推理、高层决策调度与记忆沉淀。

4、1986年，邓小平想辞去军委主席，聂荣臻反对：一旦有事，怎么号令全军？_网易订阅

表面看，大家都在追逐「通用机器人」；真正把几份技术路线叠在一起，却是刀光剑影。

5、2020澳网外卡赛张择/公茂鑫憾失冠军 中国2少年获青少外卡_网易体育

文字和图始终跑在同一条自回归序列上，像说同一种「语言」，不靠外挂、不靠工具在中间对齐。

由于暗号全局唯一，命中即可归因到具体某道题，几乎不存在误报。

跨形态——同一套智能进入人形机器人、双臂轮式机器人、工业机械臂，形态不同，都能干活。

6、谁防日本归化中锋？余嘉豪或缺席世预赛 徐昕迎机会周琦被放弃？

BadDLM 在两个数据域上经干净微调后的后门留存 如上图所示，即便在Dolly-15K与GSM8K上微调15个epoch（达后门训练时的3倍），后门ASR也仅小幅下降，仍远高于次优基线未经防御时的ASR（图中棕色虚线）。

2026年，三个通用大模型直接拿下满分。

7、Rivian R2开启交付仅一周后裁员数百人 加速推进降本增效

具体训练流程是：对触发样本确定目标相关位置S，再用仅在这些位置上提高掩码概率，对其余位置保持标准掩码。

赛事联动上智院、复旦大学及各大产学研生态伙伴共同出题，全面开放独家实测数据集、工业仿真环境与实体研发载体，全部赛题均源自各行业领域一线： 依托上智院与复旦在RNA、蛋白质结构方向的前沿科研积淀设置生物结构预测赛道命题；电力市场交易赛道接入蒙西电力交易中心的一手市场出清数据以及中科天机提供的高精度气象预测数据；可控核聚变赛道配套新奥玄龙-50U球形环装置高保真仿真平台；古文字识别赛道则采用复旦大学出土文献与古文字研究中心的权威古文数据集，以及上海博物馆和湖南省博物馆开放的甲骨文、金文、简牍等古文字数据样本。

8、中国女排3-2美国，诞生3个不可思议，刁琳宇是我们最好的二传

金山办公说能保留287种Office格式元素——图文混排、复杂表格、多级列表都不会走形。

他押注的大概率不是一款叫GPT-6的新模型，而是一次更彻底的形态切换：让AI从「回答问题」，正式变成「替你干活」。

换句话说，谷歌是在赌——赌自己未来几年不需要大改Gemini的造法。

9、短短一年炎症变癌症？医生提醒：患上5种炎症不能拖，小心癌变

今天，谷歌DeepMind连放大招，一次性摆出三张王牌： Gemini 3.6 Flash Gemini 3.5 Flash-Lite Gemini 3.5 Flash Cyber 一个更强的主力、一个更快的轻量款、一个专修漏洞的安全特种兵。

而且，标题、展期、地点、开放时间，不仅干净利落，而且一个字都没写错。

10、11死10伤50失联，重庆彭水山体崩塌最新死伤数字曝光，已确认下方无生命迹象

依托自研KairosRT高性能计算引擎，在保住模型高智能上限的同时，跑通端侧实时推理。

面壁是一家追求通用人工智能的大模型公司，并选了一条区别于云侧的路线：端侧。

1、上海4冠外援弗格离队，多支球队有意签下；杜锋爱徒被山东队放弃

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

2、光盘之死

李述昊用道家的太极的比喻解释钛动的专业模型「钛极」（Tec-Chi）：阳面是一个 300B 参数的推理模型，和所有模型一样能对话、能生成，在 SuperCLUE-Mkt 营销能力评测中以 85.82 分拿下全球第一，排在 GPT 前面。

3、上半年净利润预增超8倍，联讯仪器的“股王”位置坐稳了吗？

对于这道题，Fable 5定义了一个量Φ = T + N。轰41+5+6！中国女篮24岁MVP后卫崛起：宫鲁鸣招进全锦赛得分王？于是护城河换了「品类」。

4、“体重管理年”收官之际，京东健康第三期减重大赛升级启动：不挑秤、送CGM、赢千元奖金

模型写了全部的代码，他一行都不碰。

5、你来大师赛 我去大奖赛 网球和F1的双向奔赴藏着IP营销届最大的流量密码

有了磐石之后，它会把高度依赖人工脚本的跨组学联合分析，转成AI驱动的标准化流水线——过去要耗上好几周的活儿，如今几分钟就能跑完。

6、卷款18亿逃英国、给杨振宁戴绿帽？围绕翁帆身上的谣言越来越离谱

Hugging Face判断，它大概率搭在某个智能体化的安全研究框架上。

但DM0.5的重点并不停留在「把模型和数据做大」。

发现问题→同会话修复→闭环复验。

7、市值3000亿美金的巨头，被中国对手盯上了

AI Coding就是现成的样本。

未来突破，凭借弱网/断网下的自主决策能力，瞄准灾害救援（地震/火灾）与特种作业（对抗/侦察）。

8、ESPN 名记：文班亚马将登 NBA 2K27 封面，上赛季带队进总决赛

在Tracking AI最新离线IQ测试中，GPT-5.6「全家桶」多个版本，齐刷刷地飙到了136分。

这一进路预设了可解释性的答案藏在模型「体内」，然而一个模型的输出是否可被理解，不仅取决于其内部状态的可见性，更取决于这些状态与世界中的事态、语义规范以及使用者的认知框架之间的关系。

整个过程，提示词只有约180个单词，大约消耗了40万token，费用约为5美元（Claude估算）。

回合制循环，人逐轮控制，每发一句提示词启动一轮。