1980年代，一个叫Graffiti的程序被设计来干一件事：批量自动生成数学猜想。

1、金年汇 预计到2026年，「商汤号」系列算力卫星将完成首发并组网，验证星地协同计算能力；到2030年，将建成天地一体化AI算力星座，形成覆盖全球的空间智能计算网络。

这究竟是一家怎样的公司？ 量子位找到了苏度科技CEO韩铮，为我们揭开这家新兴具身智能独角兽的面纱。金年汇这些能力，得益于机器人装的同一套“眼脑手”组件，由梅卡曼德机器人开发。

2、花坛白骨案今日开庭：死者前夫抱憾：如果没有杀害，我们家多幸福

” 王莉表示，茅台最大的资产是品牌和商誉，要把无形资产的管理提高到非常高的维度，包括对它的决策。

3、湖人为卢卡配了凯斯勒——然后？

你在大街上无缘无故被人劈头盖脸骂一顿，你能不怒？很难。

4、足协杯淘汰赛最新战报：4场点球大战，成都蓉城爆冷，上海申花逆袭

薪酬是反映市场行情波动的一个显性指标。

5、400万预算在广州怎么买？2026年老黄埔“全能王”测评揭晓

两种需求真实存在，两种供给也在各自生长。

被AI改写论文的Isaac Rajagopal，在Gowers的博客里专门写了一节，解释模型到底想出了什么。

其实，这个测试，是我们自己「搓」出来的！ 从动念到发布，全程只需三步。

6、对话光子跃迁总裁袁谦：AI重写影像战争，光子跃迁要如何突围？

你能看，但你不能碰。

在模型性能持续内卷的当下，信息获取能力的短板反而会越来越突出。

7、最近的潮汕人，堪比家里有人考上了清华北大

外卖平台出现后，餐厅依然存在，厨师依然重要，但餐厅的服务半径被扩大了。

一位央企客户的原话是：“用大模型本身和底层系统一定用大厂的，因为它稳定。

8、半年经济微观察｜千里山海，藏着文旅消费的“留量”密码

言下之意很清楚，纽约负责上市，德州负责发射火箭。

点开「全球民族志地图」，就能原地开启一场人类学田野之旅。

2周1000万美金ARR：最快商业化验证 技术路线再漂亮，市场不买单就只是PPT。

9、中国籍数学家实现菲尔兹奖突破！王虹、邓煜双双获奖，丘成桐：希望两人回国任教

实验结果显示，在Terminal-Bench-2.0上，底层模型、工具环境和评测协议都保持不变，只改Harness，三个模型后端都拿到了held-out提升。

模型每天处理海量任务，但经验全部流失了。

10、中甲重燃战火，宁波FC北伐苏州东吴，吴越首回合之争谁取胜？

看起来又是一个万亿元级别市场。

这个现象一两年内不会改变。

1、五次折戟IPO，老乡鸡被供应链捆住了

WAIC现场更是火爆——3000元/月的租赁价格，开展首日展位上的8台便被一抢而空，后续订单排到了8月中旬。

2、朱芳雨下课？一个球队总经理下班后的快乐没了……

他们是： 这些嘉宾的观点，代表了行业对世界模型最前沿的思考，值得一听。

3、13日凌晨国乒最新消息！2好1坏消息曝光：孙颖莎、王曼昱、温瑞博

泰国工厂里除了少数中国外派员工，泰国籍员工占绝大多数，其余还有20%~30%左右的缅甸籍员工，相互交流不畅，而且海外员工技能基础比较差，培养难度很高。下周美联储有30%概率加息？马斯克，你的人生还是过于精彩了。

4、数据交易“名义繁荣"的破局之路_网易订阅

它可能会成为第一家用AI设计产品、完成临床，然后获批的公司。

5、5年收割散户1.4亿，大空头被指控面临牢底坐穿，还在忙着做空赚钱

小米机器人自身，也已经站在与全球头部团队并肩的位置。

6、CBA休赛期速递：下赛季确定实行升降级机制，新疆续约阿不都沙拉木，上海男篮续约弗格，广厦续约布朗受阻

这两套方案，形成了中兴通讯「连接加算力」的双轮驱动。

两端都不能缺失。

部署后的真实数据又回流到采集端，校准下一轮。

7、布朗年薪200万美元！广厦为了季后赛，主动提出让其养伤

现在单流程场景可以直接省掉这一步。

她透露，截至5月31日，2026年“i茅台”新增注册用户数约1667万人，累计注册用户数9615万人，平均月活约956万人，成交订单约713万人次。

8、战报

大规模部署不只代表商业成绩有多突出，更意味着其产品能持续获得真实世界反馈的能力。

这次和远图合作的「超级工站」，就是典型案例。

TML首席科学家John Schulman——OpenAI联合创始人、PPO算法发明者——2025年发表了《LoRA without Regret》，实验证明LoRA在大多数后训练场景下，性能与全量微调完全一致。

先来个科普，讲讲IMO究竟是什么，又为何各家都在争先送自家大模型上考场。