参考资料： https://x.com/Mr_Salio/status/207736089707741624811 https://x.com/emollick/status/2077849021150888408 https://www.bloomberg.com/news/articles/2026-07-16/google-gemini-launch-delayed-as-tech-falls-short-of-internal-goals 编辑： Aeneas新智元报道 全球迄今为止最大的开源AI模型，正式上线！ 昨夜，月之暗面（Moonshot AI）放出了其最新旗舰模型Kimi K3，目标直指超越Claude/ChatGPT。

1、bob电子 无问芯穹在WAIC 2026上交出的这份答卷，不是又一款产品，也不是又一项具体的API服务，而是一整套会自己迭代的地基。

产品尺寸为 185×112×62 mm，重量为 500 g，具备 12 个总自由度，采用微型直流电机与连杆传动，指尖重复定位精度为 ±0.2 mm，四指最大抓握力不低于 45 N。bob电子Qoder Security， 将安全原生于代码生成每一步 Qoder Security的发布，让Qoder成为国内首个交付「编码会话内三层安全护航 + 发现问题同会话修复」能力Agentic Coding产品。

2、关于2026年公安院校公安专业在川招生体检、体测、面试和政治考察工作有关事项的公告

原因就在于，很多机器人根本不记得自己按了几次。

3、阿森纳官方：萨利巴背伤无需手术 将长期缺阵无归期_网易订阅

谷歌传递的信号再清晰不过，AI这场终极牌局，好戏才刚刚开始。

4、阵容齐整，武汉三镇明晚冲击赛季首次连胜！

不是新工具，是旧工具用在了没人想过的地方。

5、19岁皇马青训边锋遭四大联赛挖角 今夏离队恐为球队再赚一笔

一个是U1 Pro，另一个是GPT-Image-2；甚至在文字、设计感、东方细节上，U1 Pro还稍胜一筹。

同时，用户对「固定智能」的那点幻觉，也要从此结束了。

它真正掌控的是长链条逻辑推导，每一步不能跳、不能错、不能含糊。

6、一向表现稳健的胡荷韬！为何本轮中超会出现失误，背后原因找到了

查看者首次打开连接器页面时的授权弹窗；背后的指标区块空着，等待BigQuery连接。

这话乍听有点大。

7、中超积分榜：蓉城连败领跑，英博升至第2，津门虎锁定半程垫底

美国队以4金1银1铜、团队总分207，获得亚军；俄罗斯以4金2银、团队总分196，获得季军。

万拿机器人从微型伺服电缸等底层核心执行器切入。

8、浙江一骑手称对女同事开玩笑后被扇耳光还被开除：我们经常会开“黄腔”，打人者还能上班不公平；公司回应：骑手多次对女同事进行言语骚扰

此外，还有一处容易被数字掩盖的细节。

」 参考资料： https://turntrout.com/why-i-left-google-deepmind 编辑：Aeneas新智元报道 7月17日，上海，黄浦江畔，夏风滚烫。

在标准设定下，Claude Mythos Preview误标率85.6%，Opus 4.8误标率74.4%。

9、Andy Mitten谈德里赫特的康复进展

每一次，都是踩着悬崖边喊停。

大家的抱怨高度一致：模型确实变快了，回答来得更利索了，但它不肯往深里挖了。

10、毛主席屡次亲自挽留阎锡山，他为何执意赴台？原因仅有两个字

过去，卖国产显卡，大家总担心能不能用好。

其难点不仅在于完成动作，还在于能否长期保持力量、精度、响应和运行一致性。

1、C罗侄子签下首份青年合同！16岁迪尼斯加盟吉马良斯胜利U17

不仅整体色调偏黄，还在边边角角塞满了川蜀建筑，让整个画面显得十分拥挤、不够直观。

2、阿隆索：F1赛车若给不了肾上腺素，我将重新考虑未来

面对海量乳腺癌相关变异，尤其是棘手的VUS，研究者得频繁在GWAS群体遗传信号和UniProt蛋白质空间结构之间做跨组学比对。

3、快快评｜赛里木湖的美景，莫被“拳头”蒙尘

一句话翻译：智能体时代，需要新的算力「心脏」。1962年雪佛兰克尔维特“心脏移植”：327扩缸至331，四轮碟刹上身交互式视频世界模型又往前走了一步：用户的相机控制会不断改变接下来要生成的视角，模型必须在流式生成中持续调用历史记忆。

4、喜讯！上港队本土锋线还有一把利器有可能复出亮相，曾留洋欧洲

7月14日，OpenAI给ChatGPT上线了一套全新的统一搜索，把你在ChatGPT里的所有东西，塞进了一个统一入口：历史聊天、项目、上传的文档、生成的图片，全部能搜。

5、重庆防守核心缺阵，成都为德比留力 刘建业守不住 向余望PK韦世豪

DM0.5在机器人数据上加了11种自回归推理任务。

6、果敢县新民中小学校举行毕业生座谈会

也就是说，机器人不光要会动手，还得说得清自己为什么这么动。

开发者的切换成本低到近乎为零——换个工具，配置几分钟的事。

她的评价一针见血，Fable 死磕技术上的绝对精确，反而作茧自缚，Sol的务实却把活干成了。

7、法国未进决赛姆巴佩照样拿金靴 连庄世界杯创历史

模型可以升级，也可以替换。

每步操作，如果gcd(m,n) = d > 1，新的两个数的乘积是mn/d，比原来小，全局乘积P严格变小。

8、外媒称美国针对中国征收12.5%关税，中方回应：反对各种形式的单边关税措施，关税战、贸易战不符合任何一方利益

方向再清楚不过：OpenAI要把ChatGPT，变成你干活的地方。

投融资平台覆盖天使轮到IPO全周期——赛场上跑出的作业数据、通关时间、故障率曲线，就是投资人眼中扎实的尽调报告。

如果说S1-Omni回答了「AI能否真正理解科学」，那么ScienceOne解决的，就是「AI如何真正深入科研现场」。

(P, K)这个二元组在字典序下严格递减：要么P变小，要么P不变但K变小。