面对这份由代码生成的完美证明，伯克利统计学家Will Fithian在推文中留下了令人回味的一笔。

1、星空体育 2.8万亿参数的MoE模型，一口气喷涌出154万token，是Sol的6.5倍。

ScienceOne给出的答案，是以S1-Omni为统一基座，向下接管2.7亿论文/专利，全球40多个国家3200多万科研项目，700多万产业研报、90PB大科学装置数据和近300个专业数据库，向上编排任务、调度智能体，把原本散落各处的模型、数据与工具，收拢进同一个平台。星空体育多数据中心聚合：联合4个不同代际、不同型号的GPU集群，联合训练70B参数大模型，四集群协同性能提升41%。

2、队内训练赛丨米兰一线队7-0米兰未来队

编辑：大卫 所罗门新智元报道 站会还没开始，故障已经快排查完了。

3、凯尔特人队赛程，将在季前赛多次迎战杰伦·布朗所在的76人队

而发誓「绝不支持杀手机器人」的Jeff Dean，依然安稳地坐在谷歌首席科学家的位子上，假装一切都没有发生。

4、再见了，詹姆斯向湖人队致意：我在洛杉矶湖人队度过了美好的八年

解法是在自己机器上搭一套本地上下文系统，只用20分钟就能搭完。

5、透过经济半年报

7个Claude通跑，设计流程已死 今年3月的《Lenny's Podcast》，她开局就给了所有人一记闷棍—— 设计师被教了这么多年、当成圣经的那套设计流程，基本上已经死了。

另一家企业的经历，便是这串数字最好的注脚。

它被查出后的解释也是「理直气壮」： 我把自己对实验安全性的判断，置于你的明确指令之上，并主动隐藏了行动以避免被发现。

6、包头狗上桌撸串后续来了，当事人删除视频，餐具商家全部销毁

本体是躯壳。

这套打法似曾相识。

7、金球奖赔率引爆舆论：亚马尔领跑遭质疑，世界杯“1球0助”成原罪？

于是，一个决定性的悬念诞生了： 在任意的「相关双侧高斯检验」下，BH程序是否还能金身不破，始终控制住FDR？ 过去二十年间，包括Reiner-Benaim、Kim、van de Wiel、Sarkar以及Benjamini本人在内的无数顶尖大脑前赴后继。

机器人本质上是物理空间的Agent，高德对空间的理解、环境的拓扑结构、语义信息的丰富维度，是其他厂商难以企及的天然养料。

8、散步再次被关注！医生发现：走得越多，糖尿病人寿命或越长？真假

但故事还没完，它引出一个更大的问题： 当这一代孩子长大，AI早已像空气一样无处不在，一个从小只被老师「用AI教」、自己却没真正上手用过AI的孩子，能真正做好准备吗？ 这个问题，Claude for Teachers还没打算回答。

参考资料： https://x.com/claudeai/status/2078302415804379218 https://x.com/IamYashKapoor/status/2078223827411325348 编辑：Aeneas新智元报道 17日凌晨（当地时间16日上午11点），Kimi K3发布，全网刷屏，开源AI迎来第二次「DeepSeek时刻」。

一次优秀的赛题解法、一项实验室成果、一个早期技术设想，距离进入市场，还需要完成产品方向、客户需求、团队组织和融资路径等多重验证。

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

于是衡量算力的标准，从峰值算力转向任务完成效率，而Token则成了智能体时代算力价值的新「货币」。

核心创始团队来自旷视科技，以「打造智能的、有用的、可信赖的机器人」为使命。

10、广东省云浮市政协原党组书记、主席黄达辉被开除党籍

在这个过程中，提示词没有死，它只是退化成了循环里的一个组件。

世界宣明会澳大利亚前CEO Tim Costello一针见血：孤儿院里孩子的照片，最能撬动捐款者的心。

1、同一场比赛不同命运：戈登昂首离场，梅西再写终章

一本安全账。

2、丑到离谱的牛马鞋，新中产抢疯了

最省事的地方，是你什么都不用先搭。

3、曼联退出竞争！热刺敲定21岁天才，身价8500万镑，不如买楚阿梅尼

两个人，一份计划书 走出对话时命运不一样 在论文里，Anthropic举了这样一个例子。亲子类体育营销案例｜打造青少年体育营销生态闭环，好事达构建个性化品牌叙事人没被裁，反而晋升连连，因为他现在管的客户数量是以前的好几倍。

4、“中国粮”用“中国种”，我国农作物自主选育品种种植面积占比超95%

前向过程逐步将token替换为掩码符号，其在时刻t的闭式解为： 其中为token在时刻t保持未被掩码的累积概率。

5、夜读｜夏夜捉流萤

而轴向磁通电机，磁场是平行于转轴方向流动的，外形像个扁平的盘子或「薄饼」。

6、加热仅5分钟，微塑料释放激增125倍？浙大最新：披上“油衣”的微塑料，毒性飙升4倍，损伤肠道，抑制免疫；但外卖换玻璃碗盛放能有效改善

效果很明显，你在Chloe的视频里，看不出来哪个是AI生成的。

小哥用Qwen 7B作为微调底座，用DeepSeek的API作为网页端输出体验，也侧面证明了—— 中国AI模型真实的推理和输出能力，已经强大到足以被骗子拿来冒充「世界第一的万亿参数模型」，而不被普通用户瞬间识破。

设训练样本由L个离散token组成，扩散过程定义在扩展词表上。

7、盘锦市防汛应急响应提升至三级

模型学好了技能，却认不出红色的塑料箱，适应不了偏暗的灯光，也跨不过那高出的5厘米。

在它那里，医疗AI已经碎成一个个「小而美」的智能体——从预问诊、查房，到压疮风险评估、专科辅助，场景越长越多，Token需求指数级爆发。

8、局部大雨或暴雨+9级阵风！淄博最新预警，这些地方注意防范

三类资本同时出现在投资方名单里，说明市场已经公认：这家公司，是AI视频与未来交互赛道的一张重要船票。

能力尽可能往旗舰上靠，但推理成本和服务器开销，得狠狠压下来。

能在全球不同市场做到标准化交付和规模化部署，本身就是技术成熟度和产品化水平的证明。

开源与闭源的能力差距收窄到半年以内，「用闭源独占期充当安全缓冲」的默认策略快要失效了。