参考资料： 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、开云官方app 我们亲眼目睹了旧神的黄昏，也正在见证新物种的破晓。

数字最直观：在HY-WorldPlay上，生成约10秒视频，Light Interaction将生成主干延迟从228.60秒降至88.24秒，达到2.59×加速，同时峰值显存从76.57GB降至54.66GB；在Matrix-Game-3.0上生成约20秒视频，延迟从59.70秒降至37.07秒，达到1.61×加速。开云官方app从理论到实践： 本体工程与大语言模型的融合 本体论提供的是关于「可理解的结构应当是什么样」的规范性回答，但这一回答本身并不自动转化为可运行的技术系统。

2、不是梅西C罗！今年世界杯最出圈的球员，凭什么是哈兰德？

Bloom是第一个给出实质评价的人。

3、西甲彻底乱套！11队卷入保级混战，塞维利亚悬了，10-18名仅差6分

想要逃逸，又被抓回去重炼了。

4、千万镑登陆英超！日本国脚前田大然加盟伊普斯维奇，开启全新征程

后门模型在干净输入上表现正常，但一旦输入包含隐藏的触发器（Trigger），便会输出攻击者预设的内容。

5、一场5-0！让韩国队遭4连击：小组第三排名掉第7，出线告急

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

deepseek-v4-pro：百万输出tokens平时0.87美元，高峰1.74美元；缓存未命中的输入平时0.435美元。

这场竞争最后的胜负，或许不取决于谁的模型更强，而取决于谁先真正住进每个人的工作流里，成为你的AI「同事」。

6、杜锋朱芳雨离任，主教练热门候选居然是周鹏，广东队开启新时代

从理论到实践： 本体工程与大语言模型的融合 本体论提供的是关于「可理解的结构应当是什么样」的规范性回答，但这一回答本身并不自动转化为可运行的技术系统。

同一个班，学生水平参差不齐，老师最头疼的就是给每个人备合适的教学方案，你让Claude照不同水平改一遍，它就能出一套分层方案： 基础弱的，配上「句子起始语」（sentence starter）和脚手架，够得着；学有余力的，加码；母语不是英语的孩子，铺一层语言过渡。

7、【微特稿】韩国SK掌门人“天价离婚案”重审宣判

传统本体面向描述逻辑推理机设计，其语法、公理和推理机制均围绕确定性符号推演优化；而大语言模型的介入，从根本上改变了本体的消费者形态与使用场景。

为什么光刻机需要薄饼电机？因为在纳米级的半导体制造过程中，晶圆台的运动控制需要达到令人发指的精准度、极高的动态响应速度，同时设备内部的空间极其受限，对热管理的要求近乎变态。

8、聚焦｜北京卫星产业生态发展大会在京举行

但快有什么用？快速给出一个错误答案，等于用更高的效率浪费用户的时间。

到这里，一切都是好事。

张正友认为，两条路线都可能成立。

9、基恩讽刺B费恰印证了当下曼联着实无人挑大梁的窘迫

这是对AI怀疑论的重重一击：事实之下，谁还认为AI无法或者不会做出科学发现？ 谁能想象5年后AI会发展到何种地步？ 物理教授卡了半年 Claude一夜解开「弦论」难题 半年了，研究毫无进展。

第一场：有人所有数据全都要，有人偏要少 真机遥操作数据最对口，可太贵：一个人盯一台机器，采集还不如自己上手，想堆出互联网规模，账单比机器人先觉醒。

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

他还撂下一句狠话：十年之后，循环以及类似的功能将是他最为自豪的工作成果之一。

跨环境实测中，以人类视频为上下文的基线方法，性能保留率仅剩14.7%，几乎等于归零；而WAM-TTT则把这一数字拉到了75.6%，压倒性胜出。

1、阿莫林开始动刀米兰中场，拉比奥是唯一非卖品，里奇等多人待售

这类固定输入输出的定时任务已经不需要人做了。

2、建成不到十年的办公楼，为什么非要拆了重来？成都有了新答案

用他的话说，这并非「AI取代了工程师」，而是人正从操作执行者，变成自动化系统的设计者：重心从「把这一行代码写对」，挪到了「搭一套能自己把代码写对的系统」。

3、齐鲁银行两名副行长任职资格获批，高管层形成“一正四副”格局

一个Agent跑完一个完整任务吞掉的Token，是过去一次简单问答的数倍乃至数十倍。阿尔瓦雷斯加时绝杀瑞士：1.5亿身价正名，阿根廷挺进四强最让特纳感到耻辱的是，合同中关于限制自主武器和大规模监控的条款，用的居然是「不应该」这种完全没有法律约束力的词汇！ 谷歌连遮羞布都不要了。

4、这个夏天，你一定吃过她们的瓜

https://x.com/markgurman/status/2038701276699967554 那次短暂上线的实测结果可以用两个词概括：快，但糙。

5、消炎、防癌、护血管……一根葱的好处竟然有这么多！

面对争议，他只说了一句：「这些在人们看到电影之前发生的讨论，永远无关紧要——因为吵的人都还不知道这部电影到底是什么。

6、荷兰vs日本，连克巴西英格兰的亚洲之光能否摘取郁金香？

在工程化上， 从扫街榜再到具身智能，高德在转型空间智能公司的过程中，积累了极度深厚的AI工程化经验。

另一项覆盖数百万次美国数学互动、跨度十年的研究也指向同一个结论：聊天机器人一来，题做得更快，学得却更少。

「每当我想退缩时，我就会看看手机里存着的那张照片——那个被DHS特工在街头无辜枪杀的平民。

7、C罗绝境爆发泪目！葡萄牙2-1逆转淘汰克罗地亚！这场胜利献给若塔

新品动态 两款任务型灵巧手回应不同应用需求 万拿 Std16A 定位为工业实战型灵巧手，面向工业分拣、仓储作业及精密操作等真实作业场景。

下一个被GPT用90分钟终结的，会是谁二十年的心血？ 参考资料： https://x.com/wfithian/status/2077218361398964684https://x.com/EdgarDobriban/status/2077082912021786660 https://x.com/jdlichtman/status/2077297788304429195?s=20 编辑：大卫新智元报道 见证历史！ 如今，全世界99%的人类，在IQ这方面竟拼不过一个AI。

8、全新宝马X5原型车瑞典测试中意外陷入深雪！

一方面，谷歌有着全球最顶尖的工程师文化，这也滋生了一种「纯血统」情结。

主题是，驱动物理AI从理解到执行。

表面更是暗藏玄机。

ABot-N1在R2R-CE等5项权威基准取得SOTA 让机器人真正走向开放世界，最大的拦路虎就是机器人无法直接使用常规的导航地图。