据公众号「科技大满贯」统计，本次中国队没有高三选手: 作为首次举行IMO的中学，上海中学累计斩获20枚IMO金牌。

1、OB平台 后厂（Token生产层）：AI时代的「超级发电站」 它的核心武器，是N个算力厂商伙伴 + 赤兔推理引擎 +八卦炉智能软件栈。

同时输出token减少54%，预估API成本降低36.2%。OB平台每一个环节单拎出来可能不是最长的板，但拼在一起就是平台型的优势——优化空间来自于系统级的联合调优，这是分层割裂的模式永远做不到的。

2、NBA历史首人！库里成为现役第一人，名人堂为其开设专属主题特展

AI的竞争开始拼物理。

3、山东男篮内线补强，2米06矮壮中锋确定加盟，场均6.4分4.8个篮板

Gemini 3.5 Pro的延期，正是这个闭环的必然。

4、有魄力！邱彪放弃3大外援，山东要全找新的，离队之人遭4队哄抢

当芯片、网络和业务流量被端到端打通之后，优化的触角自然会伸到一个过去大家不太关注的地方——电。

5、詹姆斯会加盟哪支球队？听听布朗尼怎么说

类似地，「删除下方原子」、「扩超胞」等任务即使换成更大模型，完成效果也仍不稳定；几何误差也不是随模型变大就必然下降。

这15万小时里，有5万小时的真机高精度操作数据（覆盖100多种原子动作）、10万小时第一视角场景视频（支持毫米级3D关键点标注），以及百万平方米级的场景重建数据—— 最后这一块，直接冲着「仿真里练得好、一到现实就掉链子」的Sim2Real老毛病去的。

用触发器指示器区分含触发器的中毒样本与干净样本。

6、4000亿巨头陷光模块"失窃疑云"

在长期的被FOMO情绪蔓延的科技圈，这个消息就像一颗火星掉进了炸药桶。

有网友称，Kimi K3是月之暗面的Mythos时刻，在3D生成方面非常出色： 在Three.js 中实现尼米兹级航空母舰上的战斗机起飞与回收 网友实测，K3一句话就能做小游戏，CS、英雄联盟、炉石，都是K3一句话做出。

7、2换1！湖人篮网交易方案，快船昔日太子爷，给东契奇当帮手？

98.15%纠正成功率 提升NavBrain长程闭环上限 在覆盖已见和未见城市场景的长程闭环评测中，DA-Nav取得59.00%的导航成功率、77.82%的路线完成率和98.15%的纠正成功率。

甚至连演员怎么说台词都写进了prompt：语气要低沉温暖的女中音，带一点希腊口音；念到「留在这座房子」之后停顿一拍，「永葆青春」再停一拍，最后「永远」两个字要轻下来—— 什么时候停、什么时候轻，全是导演写给AI的现场指令。

8、模板哈登！第一年就创历史第5神迹，天生的马刺人，未来必成大器

在自回归视频生成中，当前chunk、历史KV、文本token和因果布局交织在一起，Q/KV长度高度不对称。

安全那一侧，「星火Token Factory」另有一套企业级体系。

道理不难懂。

9、2026中工智库沙龙在乌鲁木齐举行 定制方案适配新疆工况 产业协同锚定向西开放

传统本体构建依赖领域专家的人工参与，流程漫长、成本高昂，且难以适应知识更新和领域演变的节奏。

你只知道花了多少，却不知道值不值 开头那张让大厂高管夜不能寐的账单里，其实藏着两个问题：钱花在哪了，和这钱花得值不值。

10、夏季联赛首秀狂砍9次犯规 爵士新秀就是想告诉所有人别把他当软柿子

代码仓库里装的密钥、配置文件、内部接口、数据库密码、没发布的功能、商业机密，全在里面。

Karp的愤怒 2026年7月1日，Palantir CEO Alex Karp 在 CNBC《Squawk Box》节目中接受采访。

1、夏日砺兵，蓄势待发！北京男篮夏训火热开启！

DA-Nav架构图 突破指令与动作鸿沟 把「前方右转」落到眼前 对于人类来说，「前方右转」是一条足够清楚的指令。

2、假日酒店推出新版本，投资人为什么要抢着签

技术再漂亮，不赚钱就是玩具。

3、世界杯落幕、36片“千问球场”正在启程：超2万学生有了新球场

一台名叫W1的机器人，在仅75厘米的极限过道里穿行，识别货位、逐件拣选、装箱、交付，一气呵成。【WCBA联赛】第九轮｜浙江稠州银行78-81憾负山东赤水河酒可控，也不代表可交付。

4、全力以赴，Salomon萨洛蒙2026黄金联赛中国系列赛竞逐黄岩九峰

在这个AI能批量制造「真实」的时代，唯一的防线，是多问一句：这是真的吗？ 参考资料： https://www.abc.net.au/news/2026-07-05/lily-jay-foundation-posts-ai-generated-misleading-videos/106866422 编辑：桃子新智元报道 GPT-5.6-Sol 的攻防能力超越了 Claude Mythos 5！ 英国 AI 安全研究所（AISI）7 月 17 日发布了一份评估报告，第一次公开量化了开源 AI 模型与闭源前沿模型在网络攻击能力上的差距：4 到 7 个月。

5、一个时代的结束！阿根廷卫冕失败，这四人恐离开，梅西进入倒计时

国产化进程也在提速。

6、新一代理想L6发布，售价24.98万元

初等。

朱红、赭石、深蓝、琥珀金四色铺开，灯笼暖光撞上夜色冷调，全在一次生成里落定。

贯穿其中的核心判断是：大语言模型的可解释性困境，并非仅仅源于模型内部机制的不可见性，更源于我们长久以来将「解释」等同于「透视」的思维惯性。

7、王智峰谈扑点：赛前做了很详细的数据分析，这个就不说太多了

第二个测试是AI表格。

juice到底是什么？从目前能看到的公开信息判断，它更接近系统内部的一个推理资源配置标记，粗略地说，就是系统允许模型在一项任务里投多少推理资源。

8、美媒评NBA历史99大射手：库里无悬念居首 杜兰特第4詹姆斯第36

过去拼命写几千字长提示，本质是拿「控制感」换「安全感」。

我们总担心AI「失控」是什么末日大片的场面。

其次，是Fireworks AI发布带强化学习的端到端平台——Training Agent。

AI Ping拥有强大的智能动态路由能力。