再算上独立交卷的AxiomProver，整整四方势力全部登顶满分。

1、天博官方 关于发布7款提供手机端侧生成式人工智能服务已备案信息的公告 这是国内手机端侧 AI 领域规模最大的一次集体过审。

但在那之前，删账、改数、误导投资人，它一路照办。天博官方它不再只是对话框里回答问题的模型，也不再只是IDE里帮忙补全代码的助手，而是开始以一个常驻进程的形式，住进用户的电脑，自主地读文件、发邮件、连云盘、装软件，替人把一件件真实的任务干完。

2、经典的长头造型，依维柯Strator即将重返市场——S-Way特别版将于七月首发

刚刚，钛动科技在 WAIC 上发布了 Navos 2.0，把多智能体产品从网页对话框升级为智能体工作流架构。

3、咋没人早告诉我！这些提升幸福感的好物，4月限时超低价！

你的数据 越搜越重 搜索让你这堆数据更好用，它也让OpenAI手里那份索引更完整、更值钱，但同时也更敏感。

4、科技向善的中国答案（评论员观察）

谁手里攥着最庞大的物理世界数据，谁就可能率先触碰到智能的上限。

5、时隔4年仍旧血脉压制，法国队不止梦回卡塔尔

更值得玩味的是它的演进路径：从一个人的「超级个体」，到符合企业级流程、多Agent自动调度的「超级项目」。

省下来的时间去哪了？去和工程师结对，去自己写代码，去和模型直接较劲。

黑板上只有12和18。

6、125分钟点杀！世界杯疯狂1战：0-2绝境 3-2逆转 16强确定9席

传统的AI生成流程是：你输一段prompt，它出一张图。

实际上，模型公司的智能不等于企业的智能。

7、@中卫宝妈，育儿补贴申请截止时间延长！不要再错过了

基础设施层面，原力灵机的布局同样凶悍： Dexbotic：全球第二、国内唯一的通用具身智能框架，已服务清华、北大、普林斯顿、帝国理工等知名院校，以及阿里、腾讯、北京人形机器人创新中心等领先机构，覆盖超千位研发者； RoboChallenge：与Hugging Face联合发起的全球最大规模具身智能真机评测平台，吸引智元、星海图、星动纪元等近20家具身智能企业联合运营，累计服务全球超7万次真机测试，阿里千问、小米、千寻智能等均参与其中。

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

8、1岁半男童被水冲走后续：遗体被捞，知情人曝细节，父母难辞其咎

「Record a Skill」绕开了「写」这一步。

市场增长为灵巧手和核心执行器带来发展空间，但企业能否形成长期价值，最终取决于底层核心技术、标准化产品、真实场景验证和可复制交付能力。

能力赢得首次使用，可靠性让AI成为工作方式本身。

9、再次装修我发誓，厨房这7个设计打死也要做！住进去就懂啥叫爽

一是，把科学数据「统一编码」。

Andreessen说，领先科技公司里用上AI的程序员，眼下每小时产出比过去高20倍：产能确实上去了，省下来的时间一分钟也没剩下。

10、一旦中美开战，我国有“三大短板”很致命？补齐之后将不怕任何人

Light Interaction的答案是，让模型根据用户交互状态自适应分配计算。

全行业都在往推理芯片上疯狂押注：SambaNova、d-Matrix这样的初创公司在做，OpenAI、微软也在做，亚马逊有Trainium和Inferentia，微软有Maia。

1、真心建议：不要把快递带回家里拆

大家的抱怨高度一致：模型确实变快了，回答来得更利索了，但它不肯往深里挖了。

2、四川富顺这所学校再次上榜全国航天特色学校 全国仅173所

结论只有一句：AI做到了人类精英才能做到的事。

3、世界杯荒诞反差：德国全员摆烂彻底沉沦，日本硬刚豪门虽败封神

它接入了一个叫Learning Commons的系统，拿到全美50个州的学术标准，以及每条标准底下更细的能力点、学生通常的学习顺序。真整容了！1.4亿欧熊皇晒自拍：像是换了个人 皇马或9000万欧卖他通付盾一直在本文所探讨的本体工程与可解释性框架理念下深耕实践，公司核心产品LegionSpace正是基于上述技术理念构建。

4、三个法宝让勇士克制诺维斯基，黑八揭幕战勇士如何收拾小牛

然后呢？ 那个宣布孤儿院开张的女子，不是真的Lily Jay。

5、德耀贵州“黔”行力量 龙福刚亮相全省道德模范巡讲舞台

跨线时无 人知晓，确 认已是两 年后。

6、不会退役！35岁老将确定再战一年，十年CBA生涯终圆冠军梦

物理AI，已经临近 圆桌结束了，但争论远未停止。

给它一句「把货架第二层左边那个蓝瓶子拿过来」，它得先弄清你要哪个瓶子，再用「眼睛」看清现场，然后把这句话拆成一串动作：移到架前、伸手、抓稳、退出、送到前台。

图3：论文统计的相邻去噪步输出差异。

7、2-1险胜！世界第10赢了，掀翻美国队，哈弗茨爆发：传射建功

如今，算力的胃口，早就涨得比供给快。

一个是U1 Pro，另一个是GPT-Image-2；甚至在文字、设计感、东方细节上，U1 Pro还稍胜一筹。

8、教练战术再神也白搭！泰山队赢云南但无人可用，管理层该谢罪！

James的核心洞见是：回忆并非按地址读取文件，而是情境性的重构。

哪个残基落在哪个结构域、离活性口袋有多近，一眼可辨。

AISI 宣布将继续评估 Kimi K3 等下一批开源模型——上面这条线画在哪里，很可能取决于接下来几个月的测试结果。

最新的数据进来，共识变了，它就跟着修正了自己。