大晓这次拿出的，是「晓满」一体化履约方案，和专为这个场景造的履约机器人W1。

1、乐竟体育 Bloomberg与SCMP确认，Moonshot AI在最新融资谈判中寻求约300亿美元估值，较此前数十亿美元实现指数级跃升。

至于背后是哪个大模型，至今未知。乐竟体育这次变的不是参数，是形态。

2、五角大楼签下甲骨文70亿美元10年软件大单，号称纳税人省4.4亿

按OpenAI给出的口径，在长周期工程任务基准DeepSWE v1.1上，开到最高推理档的GPT-5.6 Sol拿到72.7%，压过Claude Fable 5的69.9%；而估算API成本，比对方低36.2%。

3、告别90年空白！两位中国籍数学家同届获得菲尔兹奖

然而这一进路的内在主义取向、对功能类比的依赖以及工程化视角对「解释」概念的窄化，共同构成了其认识论上的三重局限。

4、一场1-2！让巴西无缘晋级，哈兰德天神下凡挪威进8强，下半区乱了

展馆、园区、厂区的很多角落存在信号盲区。

5、2026年，心理咨询师的红利，只属于能“接住”个案的人

可用进废退，那块负责独立思考的脑力，就会跟久不用的手臂一样，悄悄回缩和变弱，用奥特曼的话说是——肌肉萎缩（atrophy）。

LegionSpace: 本体工程与大语言模型的深度融合新智元报道 8万块积木，15个小时！ 一座长3.5米、宽1.5米、最高点1.1米的长城模型，要在15个小时内，从第一块积木开始垒起。

不是OpenAI的创新 是全行业的欠账 而补上这一块，某种程度上也是在为行业补课。

6、在离婚边缘疯狂试探，她真打算不过了？

这也是所有AI coding agent用户最深的恐惧：它能干多少活，就能带走多少东西。

不同于AR模型严格从左到右逐词生成，DLM通过迭代去噪对整条序列并行地逐步精修，从而天然支持并行生成、双向上下文建模与更灵活的解码控制。

7、上海德云社开业才5天，反常的一幕发生了，郭德纲于谦押错宝了？

它补上的，是ChatGPT做了近4年、却一直缺的那块拼图。

」 据网友Kai消息，Kimi已经用K3+Kimi Code来构建Kimi Code，AI自进化显现！ 不止软件，甚至不止训练阶段，K3可以自己设计芯片和从零设计推理内核—— 整体上，ArtificialAnalysis发布了对K3模型的评测，证实了Kimi K3的性能已经达到全球第三名！ Kimi坦承了与全球AI第一名和第二名的差距： 是时候重新选择了，你是选一个随时可能被封号的闭源的Claude Opus 4.8，还是选一个性能相当、价格更便宜的开源之王K 3? 实测惊人 Kimi给每个人的Claude Opus 在技术报告中，Kimi在游戏开发与数字创作上效果惊艳，直呼： K3实现了真正的「视觉闭环」：在代码和实时截图之间无缝迭代，即时查看并优化生成结果。

8、和田曦薇一样嫩嘟嘟，这3个变美技巧你一定不能错过！

最后吐出来的，还是一张没法接着编辑、没法直接用的半成品。

她给出的答案是一把新尺子——Useful Intelligence per Dollar，每块钱买到多少有用的智能。

最先被改掉的，其实是协作方式。

9、今年真会迎来史上最热夏天？中国气象局回应

著名科幻作家斯坦尼斯瓦夫·莱姆在其著作《索拉里斯星》里描述了一片覆盖整个星球、能读取人类记忆并将其具象化的胶质海洋，堪称「AI黑箱」的终极隐喻。

今天，64个智能体花1小时能解决50年的图论猜想。

10、生了！生了！9斤7两

每一个被提出的候选证明，都要被拿来疯狂攻击。

每次更新都是同一个链接下的新版本，还带着历史记录，随时能回滚。

1、​阿邦拉霍：贝林厄姆才是下一任英格兰队长

两个人手里攥着同一份商业计划书，跑去问Claude这事到底靠不靠谱。

2、一目科技E轮融资超10亿：触觉传感器正在成为具身智能的最难的环节

过去AI办公工具最多做到「生成一段文字」，属于参谋型。

3、传控的胜利：西班牙加时1-0十人阿根廷，时隔16年再夺世界杯冠军

怎么把代价降下来？ 王晓刚打了个比方：开车时你不用记住路边每一棵树长什么样，只要盯住车速、车距和道路边界。川崎病患儿冠状动脉扩张，传统测量可能漏诊？上海儿童医院：新模型提高检出率新智元报道 【新智元导读】仅用1小时，GPT-5.6就攻破了困扰数学界整整 50 年的世纪难题「循环双覆盖猜想」！全球数学家沉默了 7月11日凌晨，OpenAI官方宣布：GPT-5.6 Sol Ultra成功证明困扰数学界长达50年的「循环双覆盖猜想」！ 更惊人的是，它在不到一小时内，就产出了一份完整证明。

4、曼联中场乌加特世界杯严重受伤，打乱曼联今夏引援计划

目前，AI Ping保持着7×24小时不间断的监测，覆盖了行业内30多家服务商、600多个模型接口，实时监控它们的延迟、吞吐、缓存命中率和Token质量。

5、科学调度应对高温“烤”验 成都轨道交通三条在建线路刷新“进度条”

借助PixVerse的多模态模型与实时互动技术，三位创作者一边用AI加快画面生产，一边坚持人工完成剧本、台词和审美把关，甚至重新手绘部分关键帧。

6、韩国向中国赠还被日本掠夺的清代石狮，外交部回应

一个有着87年历史的核心数学难题问题，就这样被 Fable 5在一个周日的傍晚轻松解决。

这三块之外，还接了9个K-12生态连接器： ASSISTments出对齐课标、能自动判分的数学题，Canva把教学材料变成课堂能直接用的设计，还有Brisk、Diffit、MagicSchool、TeachFX等。

这听起来很灵活，但代价也很大：芯片在运行时必须做海量的实时决策，不停地搬运数据，反复查询该往哪走、该怎么算。

7、黄浦街超四强出炉，半决赛7月26日巅峰开战！

最绝的是最后这个。

好在，国内「内卷」的供应链，既是挑战，也是助推器。

8、足坛流浪汉，为意大利出场1次，米兰德比当奇兵，比赛踢一半救火

然后每涨一波，官方就清零一波。

更糟糕的是，这种混乱和挫败感，直接导致了顶尖人才的流失。

2024年它有过一个真实的bug：naturaldelta(timedelta(hours=-5))，本该返回「5 hours」，它却说「a day」。

利用国内夜间闲置的算力，通过赤兔引擎高效生产Token，再经AI Ping路由，通过合作伙伴卖给海外开发者。