“零AI是营销，我承认。

1、leyuapp 这一通折腾下来，成片确实已经有4A汽车广告大片那味儿了。

整个团队三十多人，成员来自xAI、DeepMind、DeepSeek、字节Seed、MIT和清华。leyuapp6月12日，SpaceX以代码SPCX登陆纳斯，发行价135美元，上市首日大涨约19%、收盘160.95美元。

2、举国狂欢！厄瓜多尔爆冷德国晋级淘汰赛 总统宣布全国放假1天

帖子内容是他对数学家Daniel Litt的一篇回应，讨论的问题很朴素： 解决问题（problem-solving）在数学研究里到底占多大分量。

3、恐怖如斯！哈兰德非人类进球数据：连续12场正赛破门狂轰24球

在看完整体的发布之后，我们可以把U1 Pro的亮点归拢为如下三点： 如果说以前的生图模型，比的是谁画得更像、谁出图更快，那U1 Pro更像是把问题再往前推一步： 一张图能不能少靠人收拾残局，自己把整套活做完？ 为了检验U1 Pro真实效果，我们又给它出了四道题。

4、哈兰德才是黑马！巴西换个死法：点球+单刀不进，不逼抢也不控球

原因并不复杂。

5、搞丢1.25亿合同，旗下球员深陷丑闻，多次遭解雇，他是NBA最差经纪人

换句话说，MemSlides 不是让 Agent 记住更多废话，而是让它知道哪些信息该长期保留，哪些只在当前任务里生效，哪些属于用户偏好，哪些属于工具经验。

这可不妙。

」 下一秒，第8页可能确实改了，但第3页标题层级变了，第12页配色也漂了，前面反复调好的风格又被打散。

6、中超13轮积分榜：已无不败球队，前5不变，申花第8，2队未上双

“哈佛学生说，老师是怎么解释我的初衷和目的的，我说那些都是你们教授编出来的，我当时根本不是那么想的。

所以，如果你的Agent“搜商”也还差点意思，那AnySearch真可以安排一下～ AnySearch支持匿名体验，不用注册，Skill/MCP/API开箱即搜 不过这边还是建议注册一下—— 因为注册之后每天能拿1000次免费搜索调用额度（doge）。

7、94年Supra Turbo仅3.8万英里：硬顶手波，这可能吗？

一般工业机械爪只能张合抓取，像小米机器人做的抠、掀这类需要指尖精细发力的动作，它们是做不了的。

低门槛的长内容交付，才是它真正主打的东西。

8、韦世豪绝杀！成都蓉城2-1夺回榜首，北京国安负分仍旧难清零

他头顶一头卷发，戴一副黑框眼镜，在偌大的长条主舞台上，陈宇森清晰又充满热情地为大家介绍MuleRun——一款阿里孵化出的All-In-One的AI Workforce平台。

研究者先测试了实验中使用的模型Step 3.5 Flash，结果符合预期——它通常会答错。

为什么这些大型央国企敢信任这套系统？ 中数睿智的答案是，模型的每一个判断都对应真实的数据和对象，不凭空编造；每一步结论都能逐环倒查：出自哪条数据、哪条规则，从数据一直查回到动作；系统给出的预测必须带期限、进台账、到期对账。

9、23岁英格兰国门坐穿曼城板凳 如今有望转投利兹联求翻身

以前中国人觉得千亿市值不可思议，现在整个资本市场的定价逻辑发生了根本变化。

紧接着，关于她的「传闻」也滚滚而来： 有人说她年仅27岁、工科硕士出身；有人说她手里攥着能决定星舰生死的「发射终止权」；还有人说她靠着一大把SpaceX股权，借这次上市直接身家千万美元。

10、中足联开出新赛季最重罚单：郑智遭追加禁赛6场，7月才能解禁复出

那些指数曲线其实是S曲线。

教育与技术的关系，从来都不是简单的工具叠加，而是一场关于“人如何成为人”的深层对话。

1、全球首台手动挡Huayra Roadster拍卖，估价超500万美元，车主已离世

第二，产业圈子的推荐。

2、U17世界杯：中国女篮仅得36分惨败吃惊全场

整场对话中，他无需笔记，就能复述二十年前的交易细节、人名、金额、法律架构。

3、众媒看雪都

实际上，我们早就取消了绩效考核。手下留情！劳塔罗破门涉嫌违规庆祝 主裁网开一面未给红牌别忘了，谷歌DeepMind、OpenAI、Anthropic过去一年在数学人才上的军备竞赛，烈度不输抢工程师。

4、南医大青年学子走进常州社区，把健康服务送到居民家门口

毕竟用户愿不愿意「持续」使用和付费，很大程度上取决于产品能力能不能「及时」转化成真正用得上的功能—— 自2025年8月发布首个版本以来，Qoder持续补齐插件、CLI、Mobile、Cloud Agents和QoderWake等产品形态，将能力从IDE延伸到终端、移动端和云端Agent，覆盖更多真实开发场景。

5、彻底撕破脸！世界杯传奇痛批英格兰主帅：图赫尔完全输不起！

跟Exa搜索思路不同，Exa是在网页世界里做搜索，AnySearch则直接连接了网页之外的垂直数据源。

6、热刺季前赛大名单：本坦库尔等三将缺席 新援托纳利领衔五张新面孔

大模型六小虎是AI 2.0时代第一批风云企业。

《以适度资源构建高效稀疏MoE模型》探索了如何以更稀疏、更高效的模型获得有竞争力的能力，在同等智能下压低资源消耗。

《中国企业家》记者 梁宵 编辑｜米娜 头图来源｜中企图库 4月30日，世纪隆宣汉（四川省达州市）的一家门店试营业当天，3000多平方米的门店挤满了人，超市所在综合体的五个出入口水泄不通；一天下来，光是经过POS机的统计人次就有17000之多。

7、“泸超”战报丨龙马潭、泸县会师决赛！

“太空这个方向至少需要5年才能验证。

以连接之力，智算未来 首次亮相WAIC，奇异摩尔以一场高规格生态论坛、三项重要仪式发布，以及纯国产化超节点互联全栈方案、基于OISA协议超节点卡间互联验证平台等核心展品，交出了一份覆盖技术与生态的双重答卷。

8、林权改革“金钥匙”解锁民乐“绿富密码”

56万片出货、400多家客户已经足够证明产品力，但止步于此，终究只是一家芯片供应商。

AnySearch专门针对AI读取方式，重新做了一套排序算法，将信息筛选前置。

但现实里的工作很少能被一条提示词讲清楚，它还和半年前写过的报告、昨天开过的会议，以及老板反复强调的偏好有关。

13岁那年，当同龄人还在初中课堂里按部就班时，他越级报名了滑铁卢大学欧几里得数学竞赛，拿下世界第一。