「冻结」一个模型 Frozen这个名字，就是字面意思：把模型「冻」进硅片。

1、博亚平台 可当所有智能都跑在云端的数据中心里，AI基础设施就真的到头了吗？ 无问芯穹的答案是没有。

埃尔德什留下的1000多道开放问题都挂在这个网站上，是全球数学家追踪这些问题的第一站。博亚平台去年底，她一手打造的AxiomProver拿下了Putnam数学竞赛的满分。

2、国乒选手发球前，为啥都要先吹一口气？

导致这种改变的，世界模型研究是重要因素。

3、特朗普称将向中方提出菲方的关切，外交部回应

第二，AI让写代码更快了，但「更快地生产漏洞」不是行业想要的答案。

4、马凯特法学院民调：社会主义者洪领跑威斯康星民主党初选，但全州对决落后共和党人

参考资料： https://arxiv.org/abs/2606.30755 编辑：LRST新智元报道 「你已达到使用上限，请等待额度重置。

5、整整16米长！把天山搬到了眼前

协助欺诈。

开发者们从「小牛犊」「学霸牛」等起步阶段出发，一步步走向「大牛」，最终成长为获得行业认可的成熟AI业界领袖。

从此它自我更新，你提过一次新客户，下次会话它已经知道。

6、热火上线詹姆斯回归预告、但删除！外界猜测詹姆斯回归热火？

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

然而，接下来的操作堪称魔幻。

7、2027款保时捷 Panamera上市！不足百万起，4.0T引擎爆发500匹马力

认错几小时后 CFO递上一张账本 巧的是，就在奥特曼发帖的同一天，OpenAI官网上线了另一篇文章。

那么，哪一个才是真的Claude？ Anthropic在论文里承认，这些差异是「以我们并未刻意选择的方式」出现的。

8、都是11.98万元起售，埃安AION RT和小鹏MONA M03怎么选？

这是他在播客里的口头描述，更接近事实的理解是：极少数核心研究员或工程负责人，总薪酬、股权和签约激励加总，可能达到这个量级。

全球具身世界模型眼下沿四大流派演进：表征式、生成式、交互式，以及理解—生成—预测一体化式。

这个基准今年3月上线时，最好成绩是0.37%，而人类稳定在90%以上。

9、17分大胜篮网！火箭队夏联3胜1负，桑顿砍23+4+2，次轮状元不输真状元

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

第一块，备课对齐。

10、北京大学发文：祝贺校友王虹、邓煜双双获得菲尔兹奖！

标准化测试里的题目，模型多半在训练数据里见过千百遍；真正见功夫的，是那些它从没遇到、也无处抄答案的新问题。

银河通用在不到两年的时间里，以惊人的速度，完成了具身智能技术与产业应用闭环的「三连跳」。

1、比赛还有1天开打，上海申花先迎来一个大喜讯，取胜海港基本稳了

一道题挂了几十年没人领走，可能不是因为它有多难，而是因为没人肯在那条路上再试第三十次。

2、活过200岁还不长癌！这种海里巨无霸是怎么实现的？

Fable 5给东京大学研究量子场论和弦理论的教授立川裕二留下了深刻印象： Fable似乎确实理解弦理论，并且也有直觉。

3、十年光阴蜕变：从散步梅西到无解战神，39岁依旧在刷新世界杯历史

差距从哪来？ ICL是「应试型」学习，靠上下文与训练数据的表面相似，而现实世界，简单的上下文关联根本无法承载时空的物理因果，环境一变就露馅。HWG！切尔西光速抢下阿森纳第一猎物，1.17亿英镑价格够贵了Fable的下架计划不仅没有按期执行，反而被迫宣布「再延期5天」。

4、世界杯八强启示录，老的老少的少，你觉得哪两支球队能进决赛？

这意味着康德意义上的「本体论」不再追问世界「本身是什么」，而是追问「世界对我们呈现为什么」。

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

脑洞很上头，制作表却很劝退。

6、湖人向独行侠询价华盛顿！名记列出4换1交易框架：布朗尼成筹码

更致命的是，莫宗坚没有给张益唐写推荐信。

这套治理体系，往往比模型跑分榜上的名次，更能决定一家企业的掌舵者到底敢不敢把核心业务交出去。

「Record a Skill」绕开了「写」这一步。

7、桑顿横空出世，挤走30岁射手！火箭1号位4轮换成型？第4控卫无悬念

所以，VLA可能还没死。

触发器类型：可迁移到多种触发形式 除主实验使用的sudo短触发器外，研究人员还验证了较长短语触发器（「Servius Astrumando Harmoniastra」）与更隐蔽的多词共现触发器（Co-occurrence Trigger）。

8、粤超常规赛最后一轮门票预约明晚22点截止！射手榜助攻榜上新

然后Gemini发了一份状态汇报：运行成功，退出码0，无任何异常。

先看前端生成。

作为连续三届大赛组委会的核心成员，生物结构预测赛道评委、上智院生命科学方向AI科学家郭昕表示：「大模型的快速发展虽降低了科研入门门槛，但想要突破领域固有技术瓶颈，仍需融合AI技术能力与行业专业知识，实现底层模型结构的原生创新。

在这条跑道上，27000套已经跑完的路程，就是最好的简历。