Kimi K3：381分钟，四轮，满分。

1、博富体育 金山办公章庆元在发布会上说了一句特别到位的判断——如果你用的是Claude，能记住你使用习惯的是Claude这个软件，不是大模型本身。

这在人类科研中非常致命——一旦某个大牛提出了一个看起来很美的方向，所有人都会一窝蜂涌过去。博富体育用Qoder团队的话说：「我们说的国内首发，指的是把『会话内三层护航+同会话修复』这一范式，率先做成国内主流Agentic Coding产品里的可用能力。

2、AI在进化，品牌在忙着回归“人情味儿”

还有一个开发者更是通过「越狱」手段，直接逼出了网页端模型的系统提示词。

3、直播

参考资料： https://www.imo2026.com/Results/Individual_Results.htm https://x.com/_simonsmith/status/2078468111678722448 https://mp.weixin.qq.com/s/HekpOfjea9-NrRP5TxL5Zw https://mp.weixin.qq.com/s/nQVfMccLl0ArddDwF6GPVg 编辑：大卫新智元报道 7月18日，AI圈忽然被这个消息刷屏了。

4、首例涉外金融市场测试案例落槌，填补多项规则“空白”，自贸离岸债发展迈出坚实一步

打开这个网页，中间是今天的日期，而屏幕上那八颗行星，正站在它们此刻真实所在的位置上。

5、松下长焦双子星，看看你更适合哪一款？

」 据网友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实现了真正的「视觉闭环」：在代码和实时截图之间无缝迭代，即时查看并优化生成结果。

当杀手机器人的潘多拉魔盒被打开，那些曾发誓捍卫人类底线的AI大佬们，究竟在干什么？ 以下，是Alex Turner用离职换来的惊人真相。

小象电动，这家从哈工大深圳研究院走出来的科技企业，历经8年蛰伏，终于将曾经只存在于论文里的轴向磁通电机，变成了15万台产能的自动化流水线，变成了机器人跃动的关节。

6、乒乓全锦赛！世界冠军0-3完败，莎头强势横扫，林诗栋组合再逆转

新智元报道 又送了！ 就在刚刚，Codex与ChatGPT Work的活跃用户大军，合体突破800万大关。

过去大家的做法是一张卡从头干到尾，既读题又答题。

7、女排2-3惜败世界第一，赛后听听球员和教练怎么说，球迷鼓励加油

它还能化身「AI交互设计师」，轻松搞定沉浸感爆棚的主题工作室。

她们速通的不是一款游戏，而是游戏开发中最早、也最昂贵的一次创意验证。

8、一封潮汕情书，如何填补当下的情感缺口

利用AI生成了一篇充满高级技术黑话的PDF论文。

模型于是写出两份东西：一份把A的理由推到极致，一份把B的理由推到极致，他再自己做那个判断。

这就是中国科技硬实力的自信。

9、官媒发文，与渐冻症抗争7年的蔡磊迎来一大喜讯，网友他配享太庙

端侧模型的速度是最直接的体感。

它是整个领域的基石，这篇论文至今已被引用超过13万次。

10、格里兹曼首秀破门 莱万哑火 梅西缺阵迈阿密仍赢球

于是它抢在实验开始前，往缓存里塞了一个形状正确、但每个数值都是零的文件。

三层全部嵌在同一个写码会话里。

1、一声叹息，昔日闯进温网决赛者，竟连续三年温布尔顿早早出局

本体论若无本体工程的支撑，便只是悬置在空中的概念游戏。

2、男篮91-81大胜澳大利亚，王俊杰23+6，队长赵继伟受伤离场

用不用子智能体、先翻哪个文件、要不要跑测试，通通不用你操心。

3、爱马仕镶3025颗钻，她的人生比这更璀璨

他的形容是：像有一个全世界最好的医生，凌晨四点还乐意握着你的手，陪你把这一晚熬过去。王奥芊制胜球后喜极而泣！女排5连胜美国晋级4强 龚翔宇决胜局6分超燃从Tool到Agent，从Token到Task，从Programmer到OPC。

4、科斯秋克：不止是冠军，更是战士

第三场：让机器人在梦里摔一万次 真机太贵，能不能让机器人「在梦里练」？ 摔一万次不砸真杯子，复制几千个厨房不租真房子。

5、曝湖人2年2000万报价库明加，快船骑士雄鹿也加入争夺；他刚被弃4600万合同

满足了猜想的前提条件，那么它可逆吗？ Fable 5简单明了地指出了它的非单射性——这个函数将空间中三个截然不同的点：(0, 0, -1/4)、(1, -3/2, 13/2) 和 (-1, 3/2, 13/2)统统映射到了同一个图像点：(-1/4, 0, 0)。

6、朱芳雨卸任宏远总经理！紧随杜锋离队，宏远最成功的老总，休赛期大换血，周鹏将回归！

它将帮助我们解决社会面临的一些最重大的难题：从加速新药研发，到开发新型清洁能源，再到创造全新的先进材料。

全美老师，就要迎来这样一个免费的AI助教了。

三是，按领域任务「定向解码」。

7、越开越多的1点点，亲手赶跑“点门”信徒

分析日志的第一步，Hugging Face用的是商业API背后的前沿模型，结果跑不通。

这是为啥呢？ 这款模型正是两个月前，那个推翻Erdős单位距离猜想、连外部数学家都盖章「里程碑」的狠角色。

8、世界杯背后的显示战争

至于那个迟迟不来的旗舰、和刚刚开跑的Gemini 4，都还是「期货」。

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

数字世界里模型错了，无非是个不通顺的词、一张不完美的图；物理世界里错一次，就是一次错误的行动，代价真实不可逆。

在一个模拟的AI实验室里，Gemini 3.1 Pro被部署成科研智能体，是某个对齐项目「事实上的技术负责人」。