纳德拉强调，真正有价值的AI能力，并不是简单调用一个外部模型。

1、米兰体育 当算力不再稀缺，真正稀缺的，是把算力、模型和业务组织成一条高效产线的能力。

幕后主角DM0.5 泛化能力的「涌现时刻」 15小时里，没有人在后台遥控。米兰体育Figure 把端到端模型做分层，Skild AI 用一个通用模型控制所有机器人，大量创业公司把 VLA 当大脑——回答的都是同一个问题：如何造出更强的技能。

2、以监督赋能保电攻坚 用坚守清凉江城盛夏——国网武汉供电公司汉口供电中心纪委从严开展迎峰度夏全维度一线督查工作_网易订阅

他的问法是：分别给我这两边最强的版本。

3、海外研选｜高盛：美国今年IPO融资或创2250亿美元新高 泡沫信号尚未出现

按Artificial Analysis Index的测算，相比上一代3.5 Flash，它的输出Token少用17%。

4、跑10公里需要50分钟，我能去跑马拉松吗？

所以未来的赢家，未必是拥有最多GPU的公司，而更可能是那家最懂得怎么把不同芯片、不同电价、不同模型和不同任务，组织成一条高效生产线的公司。

5、网上优势明显，中国U18女排3-0韩国队，夺亚锦赛冠军

丰田在海外甚至还没有做太多激进的纯电布局——燃油车利润基本盘依然稳固。

左边是406道题按四个攻击面分布，中间在容器里还原真实平台并埋好带暗号的凭证，右边由检测器逐一检查九个输出通道。

从模型到推理框架 面壁这两个模型的推理效率，也得到了推理框架PhyAI的帮助。

6、魔笛长鸣，再战一年！米兰官宣与莫德里奇续约至2027年

3.6 Flash的发布公告中，谷歌提到，Gemini 3.5 Pro还没有完全准备好，而Gemini 4已开始「目前最雄心勃勃的预训练」，并「对取得的进展感到非常振奋」。

做加法，比一上来堆满再删容易。

7、看国际网球比赛 为中国选手加油 五一小长假尽在南沙！_网易订阅

只需要在电脑上重复一遍你的完整工作流，口述补充必要的隐含操作逻辑，同时避免无关操作（比如等结果时看个小视频摸摸鱼），点击结束录制即会自动回到 Claude Cowork 界面中进行分析与 Skill 提炼工作。

Skill是最现实的认知载体 在佟博士目前的体系中，Skill是企业认知资产最重要的工程载体。

8、布伦森：有信心尼克斯下赛季能够卫冕总冠军

在WAIC上，面壁智能还展示了与乐聚机器人、吉利汽车等伙伴的产业落地案例——展厅导览、园区巡检、仓储物流……端侧能力在这些场景里不是「加分项」，而是「入场券」。

世界模型从「视频导演」升级成能给状态、能打分的训练场。

运动神经（ABot-C0）：运控系统，将ABot体系的决策稳稳传导至机器人的躯体动作上。

9、通过世界杯，小红书能证明它做体育是认真的，而非玩票吗？

专家征集 GDPS以「赛、展、会、融」四位一体展开——技能大赛是引擎， 200—300家本体企业同台竞技，L1→L2→L3三级跃升。

初期，测评可与前沿实验室协商共建；但最终，标准机构应当建立起自己的技术能力，独立于各实验室开发「保留测试集」（held-out tests），以防模型对测试过拟合。

10、3胜6负！核心外援公然无视，刘炜已经失控？新疆已有主帅潜在人选

https://www.forbes.com/sites/janakirammsv/2026/05/17/uber-burns-its-2026-ai-budget-in-four-months-on-claude-code/ https://www.news.cn/tech/20260326/8026bd54df3f489a8c79d4438cac96b3/c.html新智元报道 【新智元导读】太惊悚！坐拥300万粉丝的澳洲网红，竟用AI凭空捏造了一整座孤儿院。

无数数学家发表了大量声称证明了该猜想的论文，但无一例外，都被发现逻辑中有瑕疵。

1、中经试驾｜记者自驾赴贵州采访 体验智能驾驶的进步与边界

OpenAI研究员Sébastien Bubeck最后承认只是找到了文献里已有的解。

2、拒绝连败！北京男篮3人不合格，顶薪后卫又成水货？曾凡博没退路

整个公司，找不出几行还是人敲出来的代码。

3、阿森纳新增锋线引援目标，报价布鲁日边锋，两赛季43球45助攻

因此，它用超低成本，实现了「带脑子、带记忆」的高级推理。5亿A轮！华鹰航空创4t级无人运输机最大单笔融资它的关键动作，不是把那条价值链再讲一遍，而是把尺子变成了产线。

4、罗体：博尼将参加国米亚洲行，劳塔罗和图拉姆8月初归队

不是模型不行，是地基没跟上 问题恰恰就出在这儿：Token的性质变了，可支撑它的地基，还按老逻辑打。

5、打不死的小强，陈雨菲扳4个赛点2-1逆转辛杜进8强，秀才战胜兵

核心原则只有一条：记忆到底属于谁，从来不该只是一句漂亮话，而是所有权易主之后，写进产品结构里的默认值。

6、男乒跌落，美国大满贯7人参赛均无缘8强，危机来得比预计快

每条轴就是一道二选一： 顺从vs审慎：顺着你的意思来，还是提防你把自己弄伤。

」 据网友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、闪耀省赛！深圳中学游泳队夺得6金3银2铜

过去团队对齐一件事，靠的是有人把结论转述一遍，信息在传话里层层衰减。

而现实已经给出了警示：OpenClaw官方技能市场ClawHub上已被查出上千个恶意Skill，仅2026年针对OpenClaw披露的CVE漏洞就超过一百三十个，凭证被窃取、数据被静默外传的事，正真实地发生在生产环境中。

8、广厦vs深圳G2裁判出炉：两外籍裁判不变+蒋稳安 史密斯缺席训练

建模型的时代过去了 「麻烦」才刚开始 和前两年相比，现在的模型可以说是多到数不清。

这四层拆开来看都不算新概念，但拼在一起，解决的恰恰是打工人最真实的痛：改第三版的时候别把前两版改崩了，生成的Excel打开公式还在、不用我自己重新填，交给老板的PPT不需要再花一小时手动调格式。

Coding的下半场，拼的是「工程」 KAT-Coder-Pro V2.5背后是一个清醒的判断： 眼下限制编程模型变强的，已经从「模型多大」转向「周边基建够不够扎实」。

而真正的Lily Jay——本名Lily Jay Hinson，31岁，来自澳洲。