如果说纳德拉的表达仍然带有平台生态和产业结构的抽象性，那么 Karp 的表述则更加直接，甚至带有明显的愤怒。

1、江南娱乐 Gemini 3.6 Flash，暴省65% Token 先来看这次真正的「C位」——Gemini 3.6 Flash。

」 Dyna Robotics联合创始人马也骋，则提供了另一个视角——他们确实从VLA切换到了世界动作模型。江南娱乐在被公认为「最难啃」的仓库级软件工程榜单SWE-Bench Pro上，它拿到65.2分，只落后于Opus 4.8（69.2 分），显著超越一系列国产模型。

2、NBA夏联：马刺狂输7人上双老鹰27分 韩国李贤重4中0吞蛋

当写代码的、跑实验的、给它们打分的，都渐渐换成AI，我们迟早要面对一个问题：一个AI写的代码，一个AI跑的实验，最后由另一个AI来把关——这条链上，究竟谁来为最终的结果负责。

3、中国男篮，还需要周琦么？聊聊个人看法！

领略完KAT-Coder-Pro V2.5的真实战力，是时候扒一扒它背后的工程实现了。

4、打卡

」 在圆桌论坛环节，Sunday Robotics CEO赵子豪则从另一个维度切入：「短期内，无本体数据是最高杠杆的选择，因为成本极低、没有环境差距。

5、小马智行与京东养车合作，建设Robotaxi标准化维保体系

两个AI巨头，一个连轴转堵窟窿，一个嫌自己涨太快。

谷歌已确认，内部已启动了史上最激进的一次预训练，目标直指Gemini 4。

第一步，先想清楚要找什么，再动手找。

6、马卡：罗德里将接受背部门诊手术，恢复期大约为三周

• 无需从头训练：作为后训练框架，可以基于已有VLA模型继续优化，降低数据收集和训练成本。

读题拼的是计算吞吐量——你得一口气吞下海量信息，越快越好。

7、队记：湖人亲手培养了布朗尼 不会轻易交易他

一场豪赌 但十倍能效，不是白拿的。

真实机器人部署：模拟中的效率收益可以迁移到物理世界 论文进一步在配有两台Intel RealSense D435i相机的Agilex Piper机械臂上验证真实机器人任务，包括FlipMug、HangMug、TapeBox三类任务。

8、“姆巴佩心态崩了！”西班牙零封法国，时隔16年重返世界杯决赛

正是把这套自用的经验、方法论和工具体系沉淀、打磨之后，超聚变才对外交出了FusionOne AI。

在这段视频中，小哥全程微笑着，像展示艺术品一样，向全世界复盘了这个过程。

AI 赋能科研的终极价值，不是替代研究员思考，而是聚焦前沿核心创新，推动AI从标准化的算力工具，进阶为可探索未知、可持续迭代的科研协作伙伴。

9、1-0击败阿根廷，200万人挤爆马德里：西班牙王朝时代来了？

2025年之前，Jenny Wen在Figma的位置已经足够好—— 设计总监，手里握着FigJam、Slides、Buzz、Sites CMS，全是Figma最靠近未来的业务。

这事有多激进？不管是英伟达GPU还是谷歌TPU，本质上都是通用芯片——什么模型都能跑。

10、前瞻

这种结果不再是干瘪的数据，而是可以直接用于指导下游功能实验设计、甚至作为高水平论文数据支撑的「现成」科研成果。

而且，整个过程里，这三层防护都不会强行打断你写代码。

1、打卡

模型可以升级，也可以替换。

2、CBA季后赛最后一席白热化！三雄迷失六队抢位，老牌劲旅虎视眈眈

基于这条定律，大晓发布以人为中心的环境式数据采集方案2.0。

3、北京追成1-1！杨鸣戳穿上海4个弱点，弗格两场10中1，陈盈骏26分

这么做的好处是，模型学得又快又省，十分之一的数据就能追平顶尖SOTA；而且结构简单、天然好scale，训练和推理的成本也远低于谷歌和OpenAI。骑士101-111不敌活塞，0-1！一战看清了5个现实：米哈季后赛太拉第一种，回合制循环（turn-based）。

4、记者：利物浦有意2027年免签维尼修斯

可真实的软件工程，从来是另一副面孔。

5、正式确定！CBA名将离开山东男篮，或重返老东家效力

零向量注入的事，一个字没提。

6、谁说岁月催人老 球王返场戴帽闪耀

这三条，正好一一对应前面那三个命题。

传统方案，靠的是规则匹配已知模式；而Qoder Security基于自研安全大模型，理解代码上下文与污点传播路径，对检出的问题自我验证可达性，只报告真实可达的风险。

企业可以使用OpenAI、Anthropic、Google、Microsoft或开源模型。

7、原来牛犇的孙女是她，身高颜值不输女明星，职业却低调得令人敬佩

而拼长城挑战验证的恰恰是这几件事：亚毫米级操作对应精密装配，15小时长程稳定对应产线连续作业，多机协同对应柔性产线的动态分工。

不跳出编辑器，不等CI回来，不另开工单。

8、高敬亭死后，粟裕让万海峰在自己身边当参谋：高敬亭的事与你无关_网易订阅

速度确实快了。

可以看到，一旦真正到系统级交付阶段，复杂的专业门槛按被悄然抹平，任何人都能轻松上手。

传统本体面向描述逻辑推理机设计，其语法、公理和推理机制均围绕确定性符号推演优化；而大语言模型的介入，从根本上改变了本体的消费者形态与使用场景。

这种对数据的执念可以追溯到李述昊 2013 年带队把 UC 浏览器做到印度第一的经历。