回头看今年4月，GPT-5.4 Pro在80分钟里解掉了Erdős 1196，用的是von Mangoldt函数。

1、星空官方 真正的护城河：从1套到27000套 具身智能有一个残酷真相：让机器人成功表演一次不难，难的是换工厂、换国家、换物体后，还能快速上线稳定运行。

有网友称，Kimi K3是月之暗面的Mythos时刻，在3D生成方面非常出色： 在Three.js 中实现尼米兹级航空母舰上的战斗机起飞与回收 网友实测，K3一句话就能做小游戏，CS、英雄联盟、炉石，都是K3一句话做出。星空官方当写代码的、跑实验的、给它们打分的，都渐渐换成AI，我们迟早要面对一个问题：一个AI写的代码，一个AI跑的实验，最后由另一个AI来把关——这条链上，究竟谁来为最终的结果负责。

2、拉什福德4000万解约条款过期，未来再添变数

拿到一个看不懂的复杂回答，他让模型解释给10岁的孩子听；如果还是绕，就让它解释给5岁的听；再不行，解释给2岁的听。

3、世界杯季军赛前瞻：英法对决大开大合，姆巴佩志在冲击金靴

难的不是Demo，是部署。

4、法国西班牙大战！谁赢谁夺冠，姆巴佩冲金靴：2场进6球=创神迹

爱诗科技创始人兼CEO王长虎提出了一个犀利的观点：游戏是世界模型的硬核试炼场。

5、活力中国调研行｜这台“巨无霸”龙门吊是位“大力士”，轻松起吊1800吨液罐船

」 然而，令人震撼的是，这群AI特攻队只用了不到1小时，就带着完美无瑕的数学论文凯旋而归。

更重要的是，与那些只做GPU、只做NPU的端侧算力方案商联手，共同做开放的端侧与边缘AI算力方案。

没有人会因为CPU厂商强大，就断言存储没有独立价值；恰恰相反，由缓存、内存、硬盘组成的存储层级，自成一个万亿级产业，还定义了整个系统效率的上限。

6、独断专行！FIFA纪律委员会主席拍板巴洛贡红牌缓期 17名成员作壁上观

第三题：真实仓库issue，1分20秒闭环 接下来，我们又把KAT-Coder-Pro V2.5扔进了一个真实的开源bug里。

真正的护城河：从1套到27000套 具身智能有一个残酷真相：让机器人成功表演一次不难，难的是换工厂、换国家、换物体后，还能快速上线稳定运行。

7、平江店铺起火事件后续：放火男子当场死亡，店铺两人抢救无效死亡

PixVerse Game：旨在言出法随的实时视频游戏引擎 爱诗年初发布的PixVerse R1，是全球首个支持1080P的通用实时世界模型，它能生成一个可以被用户影响的数字环境。

用他自己的话说，「在LLM出现之前，一个人在奥克兰狭小的公寓里，一年写出Bun」。

8、新店开办不用愁！焦作示范区税务精准赋能市场主体

推文链接：https://x.com/satyanadella/article/2066182223213293753 这篇文章中最重要的概念，是他提出的Token Capital。

四年前，这句话是句玩笑。

AI的下一个「CUDA时刻」 到这里，我们其实只谈了记忆的第一副面孔：对内的压缩与重建。

9、输球输人！阿根廷全队赛后失控，集体无视规定遭全网痛批

这一层用的是逐际动力自研的 LimX WBT 全身运动基础模型——基于千万参数级的 Transformer 策略，完全跑在机上。

GCP + TPU + 协议标准，底层建护城河。

10、瑞虎5x海外版，新款奇瑞瑞虎4在俄罗斯亮相，搭载1.5T发动机

MiniCPM-V 4.6这款模型开源不到2个月，下载量即突破200w+，在多模态基础模型社区十分火爆。

跨基准结果显示，PolicyTrim在ManiSkill上最高达到2.36倍加速，在Meta-World上达到2.52倍加速。

1、OpenAI承认：最先进AI模型突破隔离测试环境，入侵Hugging Face系统

计算机的体系结构是一面镜子。

2、医生发现：过了67岁，血糖若能保持在这个范围，或许可以放宽心了

这也从侧面说明，在某些情况下，安全与功能难以兼得。

3、四次申请加映！《给阿嬷的情书》又斩获一项冠军

但数据采集只是起点。换个张仔萱这个二传换对了？赵勇这步棋，够狠够准她对着镜头欢呼，「感谢真主，孤儿院开张了」！ 她建过清真寺，给加沙难民送过面包，在乌干达为孤儿盖起新家——身后横幅上，「Lily Jay基金会」的logo格外醒目。

4、初夏用色彩的冲锋衣，解锁多种不重样造型，清爽透气有活力

Opus 5要补的，恰恰是Sonnet 5和Fable 5之间那道尴尬的「空档」。

5、省政府新闻办举行夏季重点传染病预防与公共卫生安全科普新闻发布会 我省发布夏季四类重点传染病风险提示

一笔深夜订单 机器人自己干完了 前置仓是即时零售的心脏，也是最难啃的骨头。

6、夏天穿维希格，原来这么好看

因为它代表的，是AI4S的一次范式跃迁，科研工作流第一次有机会被真正重塑： AI把繁琐的活儿接过去，科研人得以把更多时间，留给真正的科学问题。

三条路线各自突围，但「科学智能」仍散落在彼此独立的模型、工具和任务系统里。

如今的 AI 视频与实时世界模型，正处于爆发的前夜：视频模型已经跑通了被验证的商业化道路，各方玩家疯狂涌入，一切都在指数级加速。

7、马上扔掉家里这1种调料，不仅有毒还致癌！很多人还天天吃

他的方法论叫「数据达尔文主义」：不预判哪个市场好，全球都推，数据最好的就是答案。

这就像一个没有文字的部落：每个人都得亲历一切，谁也无法真正站在别人的肩上。

8、美沙核协议引发以色列战略焦虑，美以分歧扩大

有的车刹车响应在500毫秒以内，算法跑起来很顺畅。

而在这套架构之外，高德途途和它自带的ABot-C0则扮演端到端能力验证的外化本体。

现在已经改回去了。

行业普遍形成一种共识：沿着现有技术路径持续优化迭代，AI 的通用能力将保持稳步进阶。