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

1、3377体育 每次Claude想停，一个评估器模型就来对照你的标准，没达标就打回去接着干，直到目标达成，或者用光你设定的轮数。

基础设施层面，原力灵机的布局同样凶悍： Dexbotic：全球第二、国内唯一的通用具身智能框架，已服务清华、北大、普林斯顿、帝国理工等知名院校，以及阿里、腾讯、北京人形机器人创新中心等领先机构，覆盖超千位研发者； RoboChallenge：与Hugging Face联合发起的全球最大规模具身智能真机评测平台，吸引智元、星海图、星动纪元等近20家具身智能企业联合运营，累计服务全球超7万次真机测试，阿里千问、小米、千寻智能等均参与其中。3377体育其中行业首个集成三维力触与动捕信息的ACE Sense Glove采集手套是点睛之笔：0.01N的力触觉灵敏度、小于2°的关节角误差、20余种异构传感器同步误差严格控制在1毫秒内。

2、公告：粤超第十一比赛周比赛延至8月1日进行

Agent Store，像一个智能电器集市。

3、Android Auto迎来重大更新：全新界面、Gemini深度集成

作者介绍 该工作来自浙江大学与NVIDIA的合作研究。

4、骑士消息：三方交易曝光，多队追求施罗德，有意13+4前锋

对NavBrain而言，这建立了从长程方向理解到局部行动执行之间更清晰、更稳定的决策链路。

5、下一个Ralph Lauren？又一个牌子开始收割超级富豪了

」 过去，一个创意要先投入数月时间和大量资产，才有机会来到玩家面前；现在，小团队可以先把想象变成样片，让用户用追更、评论和反馈告诉她们，这个世界到底值不值得继续做下去。

在手机行业，苹果依靠软硬件一体化建立生态，Android则通过操作系统适配大量硬件；在PC时代，Mac和Windows也长期共存。

吵了两周，这场争论真正吵出来的，不是「AI能不能做数学」，是「难」这个字要怎么定义。

6、山东男篮完成重要交易！CBA混血锋线投奔邱彪，曾单场狂砍33+7

场景单位：长电科技面向危化环境，封测产线场景聚焦安全生产与制造。

年初先出手的是Anthropic。

7、L卡口新成员，唯卓仕AF16/1.8装上松下相机啦～

换成一个「听话」的AI，它有两个正当选项：要么拒绝执行，要么把顾虑上报。

论文标题是《单位圆上零点多项式的模：埃尔德什的一个问题》，攻克的是埃尔德什问题库（Erdős Problems）里编号119的那道题。

8、1985年，叶选平当选广东省长时说：党首先把我看成党员，而不是叶剑英的儿子

她对着镜头欢呼，「感谢真主，孤儿院开张了」！ 她建过清真寺，给加沙难民送过面包，在乌干达为孤儿盖起新家——身后横幅上，「Lily Jay基金会」的logo格外醒目。

效果是单位电力成本Token产出提升约80%，电费比同地区IDC低约10%。

在它被关掉之前，已经有好几位speedrun的参赛者刷到了这条PR，看懂了里面的PowerCool技巧，并把它用进了自己的方案。

9、被“篮球地狱”毁掉的天才！曾力压东契奇却备受打压，如今迎良机

没有哪一种防御能单独扛下一整个维度。

智能体的火，烧得比谁的规划都快。

10、中瑞诚会计师事务所及王成武被出具警示函，涉审计违规等

这意味着，清程极智在算力评测和底层硬件性能榨取上，拥有国家队级别的深厚积累。

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

1、CBA快讯！北京男篮欲交易杰曼，林秉圣离开CBA，北控主帅确定哈里斯

年初先出手的是Anthropic。

2、她曾6登春晚，与恩师同居后怀孕，被骗流产，如今57岁仍孑然一身

「这是我真正见过的最差结果。

3、一个2年级次轮秀打没里夫斯顶薪，湖人靠东里争冠的蓝图也破灭了

代码生成的瞬间自动触发，筛查已知高危模式，无需任何人工干预。从智谱到中科闻歌，港股AI迎来中科院系「大模型国家队」事实是关了没用，照传不误。

4、乐见非遗！古韵新声唱响世遗琴岛

从π0一路到π0.7，PI要让一个模型看懂同一堆数据里的不同意图和质量。

5、中国手机出货量持续下滑 华为苹果逆市增长背后：大家转投高端机 换机周期更长了

这种不可控的生成，让看似充满灵感的创作，实则变成了纯凭运气的「盲盒抽卡」。

6、中国乒协：试行为会员提供购票观赛服务

更要命的是，它出错的方式和人恰好相反。

只是从今天起你知道，那句夸里，有多少是冲着你，有多少只是冲着你说的那种语言。

」 现在，Qoder 国际版与Qoder CN的Qoder Desktop、Qoder CLI均已支持，在设置中一键开启，无需安装或配置任何额外插件。

7、票务

两条截然不同的路径攻克了同一个问题的(a)部分。

小象电动的电机凭借极高的扭矩密度，成为了这种高端消费电子的灵魂部件。

8、19分惨败日本！苏群批中国队：打得没有特点没有核心，出线都悬了

抬起头，大屏幕上的KAI世界模型技术架构正如画卷般逐层展开。

拥有ΔR，企业才能知道： 哪一个 Skill 真正有效； 哪一个决策规则应该调整； 哪一种客户画像更准确； 哪一种行动在什么场景下创造了价值； 哪一个智能体值得被推广； 哪一个认知资产正在失效。

合同条款有没有漏洞、保险理赔条件满不满足、税务方案合不合规，剥开表象都是同一类问题：答案不能「差不多对」。

Hassabis更直接：这太尴尬了。