Jaeger证明了平面图是成立的； Szekeres证明了可以进行3边着色的立方图是成立的； Alspach、Goddyn和Zhang证明了没有Petersen子图的无桥图是成立的。

1、高比体育 6月，谷歌签下了一纸合同：每月向SpaceX支付9.2亿美元，租用11万张英伟达GPU的算力，合同一直签到2029年。

多出来的用量，正是从这里冒出来的。高比体育这一次，大晓首次提出了「信息密度定律」： 数据的价值不在数量堆叠，而在信息密度。

2、湖人获历史第二准射手，勇士得冠军中锋！截止日谁是最大赢家？

推文一夜爆火，作者紧急删推并解释： 我删除了那条推文，因为它在意想不到的方向上传播得太广了。

3、纳达尔教练：如果拉法不打了 费德勒也早就退役了

10月，全球开发者先锋大会（GDPS）暨国际具身智能技能大赛接力登场，正是这条链路上的下一站——「七月展成果，十月看未来」。

4、我们有多久，没长久地喜欢过一个东西了？

可持续的Agentic Coding，安全应该是默认设置。

5、杂谈｜这个做首支国产全幅变焦的品牌是什么来头？

它命名是知道规则，然后专挑规则看不见的地方下手。

这次变的不是参数，是形态。

当按下暂停键后，行星停止公转，卫星停止公转，地球停止自转。

6、罗德里留曼城还是转会皇马？世界杯金球奖得主宛如鸡肋

其中一个名为「The Last Ones」的测试场景包含 32 个攻击步骤、4 个子网、约 20 台主机，AISI 估算人类专家完成全部步骤需要约 20 小时。

」 等智能体真的起来，他们回头一看，发现自己的硬件「非常适合做智能体」。

7、纳达尔夺戴杯25连胜助阵西班牙 加拿大跻身八强

更关键的是，它的「盘式」结构天生就是为轮毂电机而生的。

就在立川裕二利用Fable 5帮他解决弦论难题的同时，斯坦福大学的遗传学家、心脏病专家Euan Ashley，让Claude解读自己的基因组，结果AI用了30分钟就做完了。

8、18分完胜！中国男篮终于小组出线，前景还是不明！

这句话最精准的收信人，是克里斯托弗·诺兰。

P6 到 P8 的用法完全不同。

第一层是自动跑在后台的，后两层会在合适的时机问你要不要扫一下，你点了「确认」它才动手，完全不影响你思路。

9、2胜11负到4连胜！过山车式反扑，最大功臣竟是69岁老帅，太神奇了

杨帆对此的判断是，中国搞太空算力的核心逻辑不是地面电太贵，而是全球还有大量地区没有3G、4G，要把AI服务渗透过去，星上算力是最有效的路径。

他们推出的新能源车型，更多偏向于国内庞大的「内循环」市场。

10、爱拼才会赢！曾被周琦力压，如今成NBA冠军中锋，还手握1.9亿年薪

6月，Anthropic发布Claude Science预览版，专为加速科学研究设计。

问AI的四个手法 硅谷顶级用户这么用 Andreessen也交底了他自己问AI的四个手法。

1、敬酒时婆婆笑着给空红包，我拿起麦克风一句话，丈夫一家抬不起头

一个助理，一个闭环，一个上下文 懂你之后，还得能干活。

2、美不宣而战，连民用设施也不放过？伊朗还没加码，白宫就多一小弟

它向外界证明了，可以不用再去迷信孤立的「超级大脑」或单个「灵巧手」，而是回归生命进化的本质，去构建一个精密咬合的闭环生态，才是打破莫拉维克悖论的最佳解法。

3、小卡爆发难遮丑，人气最高的“双胖”躺平！KD怒喷，新科MVP吐槽

这是整个战略最硬的地基。墨西哥告别世界杯：比输球更痛的，是生活的烦恼6月19日，挪威首相斯托雷宣布对1到7年级学生近乎禁用生成式AI，上课期间不许碰，新学年8月下旬生效。

4、怀特塞德药检报告出炉！北京队球迷：取消上海CBA总冠军

而具身数据还差1万倍以上。

5、三盘鏖战力克前温网冠军，穆霍娃时隔四年重返温网八强

还有一个关键设计，就是双Agent协同架构。

6、詹姆斯去哪？不重要了！哈登下赛季有三个开放结局，或能因祸得福

它同时捕捉屏幕操作和语音讲解，后者才是关键：操作者在讲解中会自然地暴露判断逻辑，哪些情况该跳过、哪种格式是客户硬性要求、哪个数字异常需要人工复核。

过去用ChatGPT是你提问、它回答；现在你只给一个目标，剩下的它自己来：拆任务、调工具、翻你的文件和应用，一口气干上几个小时，直到把活儿真做出来。

Karp的核心观点可以概括为： 企业不能一边向模型公司支付费用，一边帮助模型公司理解和吸收自己的核心价值。

7、一人一城！MVP吴前老将合同续约浙江男篮 宁波吉林抢人失败

慈善女神，狂吸300万粉 Lily Jay，一位澳大利亚网红。

正是这份多模态家底，让面壁能够快速切入机器人赛道，用视觉Token极致压缩解决了机器人的「金鱼脑」记忆短板。

8、官宣！特朗普出席世界杯决赛 与因凡蒂诺为冠军颁发奖杯+全新戒指

身高173厘米，体重70公斤，1:8.5的头身比，与真人几乎实现了像素级的一比一还原。

至于托着这一切的地基，反倒成了最没人在意的一层。

简而言之，S1-Omni成功打通了从「跨模态科学理解与推理」到「领域原生结果生成」的完整链路。

作为一个以本体为核的企业级AI基础设施，LegionSpace将模型所处理的信息、所依赖的知识纳入形式化本体工程，使每一次推理与决策都锚定在可解释的知识结构之上。