团队并不大，到今天也只有十几人，只有上海设了办公室，北京和广东各有一个员工远程办公。

1、博鱼下载 2年，AI将在数学上彻底超越人类 Tsimerman因彻底解决「安德烈-奥尔特猜想」（André-Oort Conjecture）等算术几何难题获奖——那是代数几何皇冠上的明珠，几代数学家都啃不动的硬骨头。

摄影：梁宵 “速”是以小象超市为代表的即时零售，2025年底，这个“后起之秀”已进入全国39个城市，2024年的数字显示，其全年GMV约为300亿元。博鱼下载在传统流程中，复杂的PDF文献需预先解析为纯文本，这一过程极易导致版面结构、图表逻辑与公式语义的损耗，模型接收的信息往往是“残缺”的。

2、连签三中场！卡里克大刀阔斧重建，曼联紧盯全能跑动型后腰

但景烁选择的切入点，在喧嚣的赛道里显得格外冷静：不做整机，不做单纯的大脑，而是押注物理AI的基础设施——数据和世界模型技术体系。

3、未来两三年不指望争冠！湖人承认进入蛰伏期：目标50+胜并闯入次轮

一同创造历史的是王虹的北京大学2007级同届校友邓煜。

4、美加墨世界杯上座率99.7%！但投入花费仅是卡塔尔世界杯的1/28

对了，目前LibTV Agent也已上线官网，感兴趣的朋友不妨直接上手试试看～ 官网链接： https://www.liblib.tv/本期Product Hunt周榜Top 1出自中国团队，AnySearch 一款AI搜索产品。

5、英国公开赛：伯恩斯两杆优势冲冠 福克斯62杆舍夫勒T11

当然，普通ChatGPT用户暂时还不用急着拔网线。

但美国的能源结构以天然气为主，所以首先引爆的是燃气轮机需求，其次才轮到光伏等其他能源。

这次是小米最新人形机器人首次在汽车工厂进行“实习”作业。

6、一颗流星，17岁踢米兰成名，20岁转会闹风波，24岁变路人

近日，追踪AI产品用户变化的机构aicpb.com发布数据：豆包在5月的月活用户减少了610万，该机构将其归因于豆包过早地追求商业化。

仔细一扫Riemann-1.0的案板，只见上面摆着这样「三道菜」： 三种数据来源，23.2万小时训练数据，覆盖41种机器人本体、数千种交互方式。

7、周杰伦李宇春都有的免疫疾病，很多人可以不必走到这一步

具体来说，UniTac将触觉拆分成两个部分：物理属性和传感器配置。

张凯透露，目前不少大厂都在为AI人才打造“零阻力”科研环境，不惜打破常规，开辟“管理特区”，提供顶配资源支持。

8、韶山：交通执法人员15分钟寻回外地游客遗失行李

OPPO表示，新产品系列计划于2026年第四季度上市。

那么从今年开始，竞争已经变成了谁拥有更多算力。

那一年，刚刚冲顶利润新高的永辉超市突然转入巨额亏损，连续5年扭亏未果；曾经的“西南超市王”步步高也在2022年第二季度开始，掉入了连续七个季度的亏损周期。

9、150000000镑！抛售两核心M费+萨默维尔，西汉姆狂赚1.5亿

用户：我无法登录我的账户。

视频地址：https://mp.weixin.qq.com/s/KIBoK4IAklhdmU21fCIyVg （完了，估计连老妈以后的台词都要改了：连机器人都比你眼里有活儿~） 再往上扒，黎曼动力背后站着的是昆仑万维——前者正是昆仑万维专为具身智能方向成立的子公司。

10、刺绣牛仔七分裤的休闲搭配示范，夏日玩转色彩，塑造简约LOOK

一家GPU公司，为什么把最显眼的位置之一留给了开源？ 而要把答案讲清楚，得先从他们那套软件栈MXMACA说起。

（该工作已被ECCV 2026接收） 简单来说，UniTac让机器人获得了一种未触先感的能力，可以让机器人像人一样，在真正碰到物体之前，先“想象”出它摸起来是什么感觉，再决定怎么下手。

1、今日腊八，腊八粥怎么喝才健康？

PPT Agent的下一步 是长期协作 MemSlides讨论的是PPT，但它背后的问题不只属于PPT。

2、重大 Nature 突破！多重氢键技术破解钙钛矿蓝光十年瓶颈，性能跻身全球顶尖

要真正走到大家期待的π1甚至更远的未来，需要更多Top-Down（自顶向下）的全局设计思维，而不能仅仅依靠局部的拼图扩展。

3、奶茶、刮刮乐、GPS：整顿坟场的 00后，开始给太奶上难度

苏度的世界模型在这个框架中承担什么角色？ 韩铮：World Model这个词在Sora出现后重新进入大众视野，但在机器人领域，我们还需要第四类世界模型——它需要对环境和物体形成高精度的几何理解与预测能力，涵盖材质属性、表面摩擦系数、几何约束、动力学约束，以及接触后的状态变化。复旦大学研究：叶酸促进癌症发展，补充叶酸还安全吗？告诉你答案他还有个学生，三天前刚用Claude Fable 5一夜推翻87年悬案雅可比猜想，人在Anthropic。

4、今年最流行的5款短发，太适合夏天了！

模型价值也从“写了多少行代码”，转向“能不能把项目做出来”。

5、7.4世界杯淘汰赛：加拿大vs摩洛哥

如果你走进2026 WAIC的现场，最直观的感受可能只有一个“卷”字。

6、孔蒂确定离任那不勒斯，阿莱格里与伊布关系紧张，或去接班

更直观的是，在人形机器人行走的Sim2Real实验中，它把训练时间从数小时压缩到了数分钟。

这条路径大佬们也已经替大家总结好了，咱直接抄作业： 从Prompt→Context→Harness→loop，一共四次 简单来说，从2023~2024年，这是Prompt Engineering的天下。

“铺轨者”的意义并不是取代所有列车，而是建立一套能够承载不同模型、不同客户和不同应用的基础设施 它既要求底层芯片自主可控，也要求软件接口足够开放、系统能够持续扩展，最终让算力以服务的方式跨区域交付。

7、6队过关！广州海珠醒派4-0泉盛山大，4支粤字号争进中冠总决赛

但在现实中，强化学习流程复杂、系统组件异构、资源形态多样以及真实世界在线学习难以规模化等关键问题，成为影响具身智能走进真实世界的行业痛点。

北电数智展区还设有AI民生服务站、AI创作者社区、AI科研实验室、AI工业中枢等几大实景体验区，让观众沉浸式体验到AI如何服务于城市中的每个人。

8、两少女肚子疯长？别把“肿瘤”当“长胖”，出现这些信号立刻就医

甚至，我还浅浅了解了一下，Qoder目前的用户规模，事实上已经有500万了？？（doge） 估计大家想的跟我一样，满打满算上线还不到一年的产品，咋就干到市场第一了……. 上线不到一年，阿里Qoder冲到中国AI编程市场份额第一 讲真，刚看到这份报告的时候，我对阿里冲到「第一名」这事儿倒没有太意外。

沐曦提到，过去两年，这一层每年的性能提升都在100%以上。

一冷一热。

高技术、高附加值产品是拉动出口增长的主力，机电产品出口同比增长17.6%，占整体出口的比重高达63.5%；电动汽车、锂电池、风力发电机组等绿色产品增长快速，成为带动出口的重要支柱。