今天，64个智能体花1小时能解决50年的图论猜想。

1、米兰体育 检测环节不采用「让大模型当裁判」的方式，而是一个确定性的字符串比对器：只要那些金丝雀暗号出现在了不该出现的通道里，就判定为泄露。

另外，在内部构建的真实工程评测集KAT Code Bench 上，它以53.1分同样跻身第二梯队； 在业务化Agentic评测集KAT Claw Bench上拿到85.5 分，与最强的闭源、开源同行贴身缠斗。米兰体育这也决定了它现在最适合的，是边界清晰的结构化任务，而非天马行空的自由发挥。

2、CBA男篮动态速递！上海男篮夺冠后被罚，夺冠奖金曝光，上海顶薪续约张镇麟，广东男篮两外援将回归

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

3、新股消息   丰疆智能、麓鹏制药等香港IPO获中国证监会接收材料

数学家Lichtman惊呼，希望能看到顶尖代数学家对GPT提出的新猜想作何反应。

4、中国当代画家 李晓刚作品欣赏

Qoder CLI从v1.1.0起支持同样的能力：输入/security-settings，即可查看并开关三层防线。

5、广州男篮官宣：帕金斯时隔13年回归出任主教练 师从骑士主帅

说到底，它代表的是模型肯在一个任务上花多少心思。

这些东西，参数堆不出来，算力也砸不出来。

沙盒本就是用来挡住GPT-6，不让它碰外网的。

6、漫游青海，踏向灵魂与自然碰撞的西行之路

三届ICLR 评分尺度差异正在扩大 团队基于ICLR 2023–2025三届顶会公开数据，开展大规模实证分析，数据集覆盖2.2万余篇论文、5.2万条评审记录，能够真实反映近年顶会评审状态。

今天谁屠了榜，下个月就被追平。

7、福特宣布：苹果地图将嵌入通用电动车平台，首款3万美元皮卡2027年面世

机器人身上的算力和电量十分有限。

但长轨迹交互会迅速放大上下文、显存和多步去噪开销。

8、有先例可循！韩国球员举争议标语被禁赛2场，阿根廷球员怎么罚？

最先被改掉的，其实是协作方式。

为什么？ 答案藏在素因子里。

今天的第三条，WAM-TTT补上了最后、也是最关键的一块拼图：发布后训练范式WAM-TTT，打通规模化应用闭环。

9、FIFA官宣：将调查世界杯决赛赛后冲突！阿根廷队或遭罚 2将难逃禁赛

这次 COSA 0.5 的发布抛出一个行业反共识：模型只是技能，系统才是大脑。

7 家过审，苹果迟到两年 苹果不是一个人通过备案的。

10、帕德博恩个人更新：两人缺阵，比尔比亚会留下吗？

按传统分工，市场调研、素材制作、广告投放、达人 BD 至少需要五六个人，仅人力成本每月就要 8 到 10 万元，三个月烧完预算还不一定能验证出结果。

对此消息，阿里巴巴回应称： 阿里千问将作为 AI 能力集成至 Apple 智能，为 iOS、iPadOS、macOS 和 visionOS 的中国用户带来智能体验。

1、曼联夏训倒计时，卡里克发表争冠宣言！更上一层楼为所有奖杯而战

而学校那边，还在用同一套东西考学生：背诵、标准答案、闭卷默写。

2、中国球迷庆祝西班牙夺冠 遭西班牙球迷种族歧视：盘问国籍+驱赶

PolicyTrim第一阶段使用dynamic execution horizon exploration：同一组rollout分配不同接受比率，让模型在短、中、长窗口上并行探索可靠边界。

3、别再浪费墙角缝隙了！超薄薄柜才是小户型的“救命稻草”

让一家AI巨头当众认账，再主动清空用户数据，这在AI圈还是头一回。好戏可Sol的出现却告诉你：越攥得紧，越贵、越慢、越差。

4、AN-94四枪毙敌没了！BO7第五赛季武器大削，排位分掉得更狠

国产算力的「出海大后方」 而且，清程极智提出更宏大的生态战略——让国产算力以Token的形式，扬帆出海。

5、不听劝！买了人人都不要的顶楼，入住后才发现：说不出的难受！

过去，多半只能靠拼凑和估算，现在总算有据可查了。

6、许昕怒怼网友：马龙带飞我？那他为啥不带飞你？一般人请不动我

一手实测 AI Coding已到这个地步了？ 吹得再神，不如用实战说话。

把花名册、诊断成绩、考勤、随手记的笔记一股脑丢给它，它替你拼出每个学生现在站在哪儿：谁掉队了、哪个知识点全班都没懂。

只学习正确路线，机器人可能能够走一段；只有把错误状态和恢复过程明确纳入训练，机器人才能在偏航后真正找回方向。

7、凯恩绝杀刚果：英格兰的救世主

配合优化后的训练策略与数据配比，这些结构改进使得整体扩展效率相比 Kimi K2 提升约 2.5 倍，让模型能更高效地将算力转化为智能。

这说明问题并不只是某个模型不够大、不够强，而是当前通用大模型普遍缺少稳定的三维空间行动能力。

8、米格尔·罗曼伤愈复出，塞尔塔转会动态频繁

工业区更热闹：两台人形机器人在「搭班干活」——一台搬运料筐，另一台从筐里抓取工件精准放到指定位置。

过去十几年，企业买服务器的心智是「买设备、装系统、能跑就行」。

作业、考试、论文……一切还是老样子。

一个模型，装下五种能力 长程工程、通用Agentic、终端、前端美学、通用知识——这五个方向，KwaiKAT各训了一个专家。