最有画面感的，是Claire Vo的桥段。

1、星空体彩 这是「降维打击」。

(P, K)这个二元组在字典序下严格递减：要么P变小，要么P不变但K变小。星空体彩生产力工具没有换来更多休息。

2、2026国际篮联三人篮球挑战赛北京石景山站外卡资格赛｜招募开启 就等你来！

模型不关心你用了哪张卡，用户也不关心你机房里有多少P算力。

3、费城半导体指数跌幅扩大至3% SK海力士、闪迪跌7%

这次，不仅没有经过任何专项数学训练，而且所有人都能用上。

4、高芙的温网苦涩一课：失利是顶尖球员成长的必经修行

出爆款那天，她还专门跑到创作者社群里发了一段感谢。

5、明日14点男篮VS台北生死战，传来3好3坏消息，阵容天克，男篮能赢

」张正友笑着说，「大模型时代，谷歌发明了几乎所有技术，但OpenAI出来了。

技术、标准、品牌与荣誉一并沉淀。

数学家Lichtman惊呼，希望能看到顶尖代数学家对GPT提出的新猜想作何反应。

6、费总花重金引进投篮教父！休媒晒三数据证赢麻 队记：火箭完成今夏最佳引援

企业可以把模型部署在自己的服务器里，却仍然没有认知主权。

从写prompt到写loop 中间隔着一道验收 一个会自己无限干活的AI，凭什么不是一台高速产出bug的机器？ 答案在一个被大多数人略过的环节：验收。

7、赛斯：老爸的投篮手感还在 还能跟我和哥哥比投篮

网友们兴奋地疯狂转发，所有人都在问同一个问题：「中国AI已经强到这个地步了吗？」 然而，狂欢仅仅持续了几个小时，一场反转让所有围观者惊掉了下巴。

这对你我有什么影响？ 以前你想要个趁手的小工具，一个能看板、能查数、点两下就办事的东西，你得会写代码，或者排队等IT、等外包，等一张说不准哪天上线的需求单。

8、CBA最荒诞顶薪！南京队150万逼走队长，日本B联赛开三倍工资抢人

接下来，让U1 Pro和GPT Image 2进行一场「硬碰硬」的实战。

评论区直接疯了，被吹成「AI电影的iPhone时刻」。

奥特曼口中，「有史以来最出色的12个月」，到底押的是什么？ 全网第一反应几乎是同一个：GPT-6是不是要来了？ 几天内 新增了300万活跃用户 「关掉推特，赶快去忙正事」！ 与奥特曼的推文遥相呼应的，是OpenAI的Codex负责人Tibo，在16日甩出的一个900万活跃用户的新数字。

9、总决赛隋文静/韩聪失误仍首次夺冠 彭程/金杨亚军_网易体育

其二，习惯自建脚手架，让大模型跑在作者临时搭出的模拟框架里，测出来的结果很难直接反映真实平台的行为。

每一次试错、每一组数据、每一轮推演，都不再是单一科研的成本消耗，而是支撑后续创新、驱动 AI 科研能力进化的核心资产，有效帮助科研工作实现复利式增长。

10、湖人1年底薪签下马蒂斯·塞布尔 上季三分命中率39.8%

这一类最反常，也最麻烦：负责给AI打分、抓这些错的AI裁判，自己也会作弊。

OpenAI总裁Greg Brockman转发了这条推文，说了一句： 感觉这是推进数学的一个分水岭时刻。

1、故宫下周一免费开放 今晚8点预约

整体效果，就是那种可以直接送进影院灯箱的感觉。

2、国际足联，解答了埃及VS阿根廷的争议吹罚！

今年，密歇根大学、斯坦福等机构测算发现，在一组真实软件工程任务中，编码Agent每生成1个输出Token，背后平均要累计处理约154个输入Token。

3、山东泰山战武汉三镇，两大主力大概率缺席，防守不行那就全力进攻

一旦决定在全球市场全面反攻，必然会拿出具有颠覆性的「终极武器」。1-0！中国队战胜澳大利亚赢球三功臣，而一场1-1认清现实回归理想如今，大量国央企、智算中心采购了丰富的国产GPU。

4、瑞士国际航空 × Keep 梦幻联动「奔赴云端之上，律动山野之间」

磐石ScienceOne今天正式上线，感兴趣的朋友可以戳「阅读原文」试试~新智元报道 【新智元导读】你还在跟AI聊天？Claude Code之父早让几千个AI通宵替他干活了。

5、当列车成为风景：瑞士交通系统在京发起行业沙龙，携手全球伙伴共育中国慢旅行市场

绝招亮完，战场却各画各的：智元盯着数据、表征、闭环三道墙，PI说墙是上下文，Dyna说是可靠性，清华说是机器人自救。

6、网易

能在光刻机里稳定运转的电机，用在其他任何工业场景，都是纯粹的技术碾压。

所有人都在期待7月17日这个传说中的发布日期。

既然是工厂，最怕的就从来不是电费贵，而是停产。

7、英法大战友情互刷？姆巴佩超越梅西，但很不满意

现有的工具调用评测大多是原子任务——查个天气、订张票，五轮左右收工。

但是由于人类具备空间常识和安全意识，即便出现地图偏差和定位漂移，也不影响正常使用，而机器人如果进入开放环境遇到这种问题，将对安全性造成巨大风险。

8、被低估！场均18+4+“锁死”亚历山大，马刺真要培养出新伦纳德了

他曾用一年，写下了Bun这个比Node.js还快的JavaScript运行时。

当你对纠缠熵提出学术质疑时，它能精准回应、并补充多模型对照数据。

姚卯青给出了最乐观的2年；赵子豪说「少于3年」；张正友认为3-5年；马也骋和任至意都选择了4年；徐丹飞则给出5年。

说白了，就是用户涨得太猛，工程团队正连轴转着堵窟窿。