对p=2，v₂(12) = 2，v₂(18) = 1，gcd = 1，贡献2¹。

1、博亚平台 进到真实业务里，这省下来的全是真金白银。

它不再一口气把图吐完，而是把创作拆成一套动作空间：生成、编辑、局部重绘、组合。博亚平台奥特曼口中，「有史以来最出色的12个月」，到底押的是什么？ 全网第一反应几乎是同一个：GPT-6是不是要来了？ 几天内 新增了300万活跃用户 「关掉推特，赶快去忙正事」！ 与奥特曼的推文遥相呼应的，是OpenAI的Codex负责人Tibo，在16日甩出的一个900万活跃用户的新数字。

2、【WCBA联赛】季后赛｜排位赛第一场，浙江稠州银行75-98不敌合肥文旅

GDPS将有潜力的年轻人从「牛犊」托举为「大牛」，为青年科学家、开发者和创业者链接技术、人才与资本，并以代码Demo、产业对接及融资机遇等务实产出，推动具身智能从展台真正走向工位。

3、无视日方警告，中国开启第8次视察！钓鱼岛已定，高市明白啥意思

他把镜头拉得更远，直击人类最深层的困惑：「即使我们解决了这些艰巨的技术难题，仍会有更复杂的经济和哲学问题有待解决。

4、【WCBA联赛】第三轮｜浙江稠州银行68-87不敌东莞新彤盛

大厂vs创业公司：谁会赢？ 「大厂的问题大家都很清楚。

5、中国女排世联总决赛16人名单公布，7月23日晚将对阵美国

温暖0.17σ，顺从0.14σ，简洁0.14σ。

这已经不是一场行业展会，而是真正的国家级AI盛会。

K2系列已采用Modified MIT许可开源权重，K3预计延续这一路径。

6、独家｜混元多模态理解负责人胡瀚离职创业，原团队或将聚焦世界模型

在乌干达，未登记就开孤儿院是违法的。

高盛预计，全球AI视频生成市场将从2025年的约30亿美元增长到2030年的约290亿美元，五年翻近十倍。

7、这是女子篮球的黄金时代

Light Interaction提供了一条现实路线：不重新训练模型，而是在推理阶段把交互状态用起来。

小浣熊带动超两千万用户运转，周活三百万，八千家企业客户接入，并已裂变出教育、政数、金融等行业版本。

8、4100亿跌到1000亿，MiniMax怎么了？

在衡量Agentic工具使用能力的PinchBench上，KAT-Coder-Pro V2.5拿下94.2 分，力压Opus 4.8。

哪一个才是真的Claude？ 一个模型因为你说的语言而区别对待你。

Cursor，无疑将成为她大展拳脚的新阵地。

9、韦世豪：去年踢完天津客场，成都球迷在主场举起我的球衣，我会记一辈子

在现有评审流程中加入一个「评分校准器」 作者提出的方案没有改变现有同行评审流程，而是在后台增加了一层LLM校准模块（Calibration Layer）。

在WAIC现场的分拣单元，面前堆了几百种乱七八糟的物体——日化用品、文具、水果、蔬菜、玩具、零食——十几种类别，机器人一件件拿起来，扫一眼，准确丢进对应的分类框。

10、天才后卫！篮网首轮6号签选中来自路易斯维尔大学的小米克尔-布朗

反低效内卷 沉淀科研复利资产 如果说验证滞后制约了科研即时落地效率，那么科研经验的零散流失，便是影响 AI 科研长期进化的核心因素，也是大模型科学探索能力增长缓慢的深层原因。

6台机器人、两种完全不同的本体形态，要在同一个物理空间里各干各的、又不能撞在一起。

1、奥尼尔给雄鹿支招：热火围绕他和阿德巴约还需要三四个射手

发布会上，孙文剑正式发布AGX Agentic Compute战略。

2、懂没？吴宜泽夺冠后采访全部说中文，父母为他披上五星红旗

AI的上半场，是把模型跑起来；下半场，是把智能持续地产出来，还要算得清账、管得住成本、扛得住关键业务。

3、输给日本十九分，我想到了夏津冬天晒的被子

首先是布置。Verizon上调财年每股收益展望这背后说穿了：AI编程正在从「写一句话」，变成「设计一套会自己跑的系统」。

4、美国建国250周年庆典

即便这些棘手的技术难题都被解决，还有更复杂的经济与哲学问题等在后面： 在一个「后稀缺」的世界里，需要怎样的新经济模式，才能让每个人都过得兴旺？我们想依循怎样的价值观生活？意义与目标将安放何处？甚至，「人的境况」本身又会如何改变？ 这些问题的解答，显然不能、也不应只留给技术人。

5、世界田联单设马拉松世锦赛：大方向没错，执行方案面临挑战

熬夜攒下的提示词库 一夜化为废纸 先撂个结论：你练了一年、横跨三代模型的那套长提示，搬到5.6身上，可能直接作废。

6、Travis Scott x Nike T90 给这么多国家队重新设计了队服？

于是无问芯穹今天公布了首个面向大规模具身任务的云边端一体化管理与调度平台，首次把云端GPU集群、边缘算力节点和机器人真机设备统一接入，支持训练、数据采集、评测和真机执行等多种具身任务的统一编排运行。

此外，还有一处容易被数字掩盖的细节。

这一层覆盖的是L1静态分析没拦住的中等复杂度问题，比如跨函数的数据流污染，以及SQL 注入、远程命令执行、敏感信息泄露这类需要理解语义才能识别的风险。

7、美记：掘金正在积极兜售齐克-纳吉 愿意付出次轮选秀权

相比于单个模型能力研究，高德从一开始就搭建了一个为机器人实现高阶智能的底层平台。

接下来，滑动工具栏切出沙子、橡木与石头等材料，是时候大展身手造房子了。

8、复杂性创伤后应激心理分析：第五十二讲 成为表演型人格

这是首次实现基于纯视觉方案的本地自主指令追踪。

面壁智能坚持以通用智能为起点，让机器人处理更普适、更流水线、更长程的任务。

痛点二，是国产算力买得起，用不顺。

于是他们换成在自家基础设施上跑的开源模型，取证才继续下去。