它跑了20分12秒。

1、天博官方 这种能力，也让DA-Nav具备更强的跨场景和跨本体迁移价值。

昨天，月之暗面掷下了一枚震撼弹—Kimi K3正式发布。天博官方「冻结」一个模型 Frozen这个名字，就是字面意思：把模型「冻」进硅片。

2、950万罚单落地巨力索具，23万股民索赔大幕拉开

在单位圆上随便取一串复数当零点，乘成多项式，这个多项式在单位圆上的最大模Mn，能不能保证在无穷多个n处超过n的c次方。

3、又有券商护盘式回购，华创云信拟最高回购2亿元

当模型的每一个陈述都可以被映射到本体所定义的概念框架中时，「解释」便不再是对神经网络权重的解剖，而是对知识结构的展示；当模型输出的依据可以在本体层面被追溯和校验时，「控制」便不再是强行干预内部激活，而是对信息流转路径的规范化管理。

4、隆戈丨拉比奥团队已保证无意运作转会

这意味着，国产算力第一次不必等到单卡全面追平英伟达，就通过系统分工，提前进入了真实的商业市场。

5、止步2026世界杯32强仍不留遗憾！森保一赛后感言打动万千日本球迷

再往前一步，就是这次战略里更大的那句话——以自研此芯P1为核心，打造覆盖端、边、云全场景的全域算力底座，真正实现「一芯驱动全场景AGI」。

刷新一下——从0%重来。

大厂必然有自己的战略考量，往往会深度绑定某一家或自己投资的国产算力芯片。

6、防溺水护童行：九峰街开设家门口的暖心亲子安全课

Karp的核心观点可以概括为： 企业不能一边向模型公司支付费用，一边帮助模型公司理解和吸收自己的核心价值。

ABot-ER取得3项SOTA，并登顶数十家机构联合发布的Embodied Arena 2D-EQA AgentOS则将规划与执行从本体中解耦，通过插件式Skill接入，让同一套系统能适配各种异构机器人。

7、俄罗斯为何“拦不住无人机”？

而这还只是多写的坑之一。

KSTAR可以理解为： Know What：当前知道什么； So What：这些知识对于当前情境意味着什么； Then What / Task What：需要完成什么任务； Act What：应该采取什么行动； Result What：产生了什么结果； Learn What：根据结果应该学到什么。

8、订单15万，大唐唯一挑战是产能？比亚迪调整布局，突破利润天花板

图1：交互式视频世界模型的推理瓶颈。

三个女孩在深夜聊起一个问题：如果真的能穿进游戏，你最想去哪个世界？ 她们想做的，是一款市面上很少见的快穿3D乙游：玩家可以穿梭于古代、民国、末日、仙侠等不同世界，拥有不同身份，遇见完全不同的角色，也看见不同版本的自己。

在你，到底怎么用它。

9、打击编造传播涉汛等网络谣言 公安部公布20起典型案例

参考资料： https://www.youtube.com/watch?v=F_7M4Hc-usM https://x.com/hesamation/status/2073884828861071557 https://x.com/ryanbrewer/status/2073812031988535760 编辑：元宇新智元报道 困扰统计学界整整20年的核心悬案，被AI击碎了。

尤其像开头那张铺满整面墙的长卷，分辨率不够，凑近一看全糊了。

10、很多人的膝盖，不是跑坏的，是养废的

不过，这款模型，普通人暂时碰不到。

研究团队先做了一次「翻译」，把Claw类智能体的每个部件对应到电脑系统里的老熟人，再看这些老熟人在系统安全里配备了什么防护，就能反推出智能体缺了哪一环： 公共市场上的技能，对应软件仓库，缺的是代码签名、审核与沙箱； 大模型的上下文窗口，对应进程地址空间，缺的是不同信任来源之间的隔离； 以明文保存的记忆文件，对应文件系统，缺的是访问控制与完整性校验；进程内插件，对应可动态加载的内核扩展，缺的是签名与权限隔离； 连接邮箱、Slack的通道，对应进程间通信，缺的是带认证的通信；网关日志，对应审计子系统，缺的是脱敏、访问控制与防篡改。

1、英格兰止步半决赛！魔咒延续60年，40年首负阿根廷，5纪录告破

而完整的认知系统还必须回答： 哪些 Skill 应该在什么条件下被调用； 谁有权执行； 预期结果是什么； 如何评价实际结果； 一次执行之后，Ontology、Skill 和策略应该如何更新； 不同员工和智能体的局部经验如何转化为组织级能力。

2、广东将防风应急响应提升至三级，韩江干流或发生超警以上洪水

当海外开发者使用这些Token写代码时，他们其实已经在使用中国自主可控的底层算力！ 做Agent产业爆发的修路人 纵观科技史，任何一次伟大的产业爆发，都离不开底层设施的完善。

3、2025款宝马3系海外发布，内饰升级，动力系统改进

能在光刻机里稳定运转的电机，用在其他任何工业场景，都是纯粹的技术碾压。重磅首发！他们把广东“画”出来了蛋糕在变大，但能分蛋糕的人在变少。

4、英超旧将土超做队友：萨拉赫携手特罗萨德，贝西克塔斯造冠军锋线

同一场演讲里，奥特曼还抛出这样一个判断： ChatGPT出现到现在，三年半。

5、降温？这个月没戏了！

智能体的负载和聊天机器人完全不是一回事——它要连续思考，要频繁调用工具，要在长上下文里维持记忆。

6、北京力争到2030年农业科技进步贡献率达80%

元数据先写临时文件，再原子rename。

曾经，循环双覆盖猜想由几位传奇数学家提出后，就像一座大山横亘在图论领域，让全球顶尖数学家望而却步。

比如，法务想要一份把所有依赖库许可证列全、还标出哪些是copyleft的审计表，一句话就能生成。

7、117岁，没癌症没痴呆，她的身体到底藏着什么秘密？

碎屑的颜色，正是刚被挖掉那块方块的颜色。

这四类失配，横跨了报告测试的14个前沿模型，包括Anthropic、OpenAI、Google DeepMind、xAI等全球前沿AI实验室。

8、朱婷退役第一站是国外执教？

Fable 5不会记住你。

超级个体的那些事 行业的事说完了。

他说行，顺手发我Slack上。

四类失配 前沿模型都中招 Gemini这一例，是报告归纳的四类「智能体失配」之一，还有另外三类。