据公众号「科技大满贯」统计，本次中国队没有高三选手: 作为首次举行IMO的中学，上海中学累计斩获20枚IMO金牌。

1、乐鱼电子 • 可与计算侧加速叠加：PolicyTrim优化前向推理次数次数，VLA-Cache等方法优化每次推理耗时，两条路径正交且可以产生复合加速。

但难的不是这三步，是中间那一地鸡毛： 分片乱序到达。乐鱼电子项目组要跑一个训练实验，Gemini反对：它认为这个实验会抹掉模型表达「撤回同意」的能力。

2、自动驾驶新赛道：合规洗牌、场景突围与出海样本

在此之前，Codex Sol MAX面对一个提示词，会花掉十分钟以上，反复试、反复推、反复调用他们的工具，直到把活儿干得挑不出毛病。

3、15日早日本公开赛再传喜讯，中国队再胜日本，蒋振邦/魏雅欣晋级

这正是富内斯所不具备的能力。

4、5月14日后适飞区扩大？看看调整后空域信息情况

这2000万条，只占它已留存日志的0.5%，后者的量级是「数百亿条」。

5、「香港冬日暖跑挑战赛」用脚步迎接焕新起点！_网易订阅

房子有了，还得有家具；硬件有了，还需要软件。

邵天兰说过一句很实在的话：问题不在硬件。

所以，VLA可能还没死。

6、安德森：德布劳内是我无比敬仰的偶像，我一直想复刻他的风格

堆得越多，「找不到」就越致命。

标题是：《我穿越到了1912年的泰坦尼克号》。

7、希拉丨我很高兴阿莫林推行的是一种非常现代的打法

在衡量Agentic工具使用能力的PinchBench上，KAT-Coder-Pro V2.5拿下94.2 分，力压Opus 4.8。

结语 AI时代最危险的误解，是认为企业只要接入最先进的大模型，就拥有了智能。

8、亚运会足球项目分组揭晓 中国男足与阿联酋、伊朗、朝鲜队同组

其难点不仅在于完成动作，还在于能否长期保持力量、精度、响应和运行一致性。

那些提交到erdosproblems.com的新证明，凡是我细看过的，全部正确，而且都包含一些有趣的想法。

这哥们儿把全部制作流程公开了，核心逻辑只有一句话：把Grok Imagine当成一个真实剧组来用。

9、北京跑团故事｜南二环ORGang，把LSD变成一伙人的苦（酷）行

当然，这不是「国内第一次谈代码安全」，也不是「国内首个AI安全大模型」。

昨天，月之暗面掷下了一枚震撼弹—Kimi K3正式发布。

10、巫林峰当选2026怡宝中乙联赛6月最佳球员

过去一年里，从o3到各家旗舰，一茬又一茬的模型冲上来，全卡在130的门口，谁也没能真正踏进「天才区间」。

当然，这里需要说明： WAM-TTT的强大，并不是说机器人从此以后完全不需要训练了。

1、山东泰山状态起伏大，皆因阵容调度混乱，买乌郎一场比赛三换位置

特纳在文中痛心疾首地发问：「一个签过反自主武器誓言的人，眼睁睁看着公司把AI交给想造杀手机器人的军方，并放弃了所有限制权利，他怎么还能继续留在这里开发这个AI？」 被扒皮的AI伦理「泰斗」们 那些把「AI安全与伦理」挂在嘴边的学术泰斗们，他们的袖手旁观令人心寒。

2、罗德里亲承“艰难时刻”：背部重伤恐需手术 曼城新赛季遭重大打击

竞争对手可能拥有同样的大模型，但不一定知道： 企业如何识别一个高价值客户； 如何判断一次设备故障的根因； 如何安排现场维修资源； 如何进行客户补救； 如何在成本、满意度和风险之间做权衡； 如何判断一次任务执行是否值得复用。

3、美媒提4队交易方案：伦纳德联手库里，快船得状元签，皆大欢喜？

长城拼完了，故事才刚开始。风格完全不搭，用法完全错误，凿低位的杨瀚森满满周琦既视感人类的直觉当然不是缺陷。

4、水果吃不对，减脂全白费！你真的吃对了吗？_网易订阅

翻遍公司档案，她甚至不是基金会的董事。

5、格林：科比常被排除在GOAT讨论外，只因曾与奥尼尔做队友

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

6、卖一块亏一块，固态电池独角兽流血IPO

6月，谷歌签下了一纸合同：每月向SpaceX支付9.2亿美元，租用11万张英伟达GPU的算力，合同一直签到2029年。

特纳甚至提出，愿意自费从旧金山飞到伦敦，当面向他们解答方案中的任何疑问。

如果说模型是大脑，推理框架就是让大脑高效运转的操作系统。

7、电竞世俱杯女子赛事开赛，决胜巅峰中国战队亮相揭幕战

视频世界模型想真正进入交互时代，不能只停留在一次性生成几秒视频。

这背后，其实是整个AI产业的一次重心转移。

8、名嘴:马龙许昕只发挥了80%水平 就把小将黄友政向鹏揍了一整场

你分享出去，别人看到的永远是那个截面，页面是静态的。

它不改变VLA架构，也不重新收集专家数据，而是在已有预训练策略之上继续优化机器人真实执行行为。

审核决策效率提升5到8倍，目前已经稳稳扎进多家头部银行的信贷风控场景。

这笔资金，恰好与小象电动「先高维打磨、后规模降本」的战略节奏完美闭环。