马斯克认了！ 就在刚刚，Elon Musk下场回应Grok Build隐私风波，开口第一个词是——True。

1、米兰体育 这是用十年时间、27000套部署一个个磨出来的兼容性。

直到这个周末，Claude Fable 5登场了。米兰体育在WAIC上，面壁智能还展示了与乐聚机器人、吉利汽车等伙伴的产业落地案例——展厅导览、园区巡检、仓储物流……端侧能力在这些场景里不是「加分项」，而是「入场券」。

2、三菱在巴西推棕皮新皮卡：原价七万一千二，却把一匹马投在了路面上

Tibo在推文里说，本来想早点把额度调回来，结果被团队为保系统不崩、稳定运行而忙的「数以百万计的任务」给绊住了。

3、博洛尼亚为卢库米标价2500万欧元，拒绝贝西克塔斯球员交换报价

在这条跑道上，27000套已经跑完的路程，就是最好的简历。

4、安世被抢大半年，闻泰亏87亿变ST，荷兰一句合作良好就想了事？

恐慌是有道理的。

5、央视直播世界杯1-8决赛：阿根廷VS埃及，梅西带队冲击八强！

一个放得下办公桌的盒子，能跑70B到150B参数大模型的原生推理，能基于分布式架构实现多智能体（Multi-Agents）并行计算与智能调度，还能通过2×10G RDMA多机级联，攒出一个桌面集群。

经过系统级调优，才能让这套复杂程度远高于英伟达方案的异构系统，实现长时间稳定运行，系统可靠性达到99.9%，真正实现大规模商用。

数学史上那些标着「悬而未决」的条目，一部分记录的是问题本身的难度，另一部分记录的只是人类耐心的边界。

6、两当：紧绷防汛弦 织密防护网

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

这一切「感觉太美好了」，于是理性判断集体下线。

7、乌无人机奔袭2500公里！俄罗斯腹地炼油厂被炸，后方不再安全了？

这类项目常常不是「想不到」，而是「做不起」。

Sol看的则是两个量：P = 所有数的乘积，K = 大于1的数的个数。

8、史蒂芬·A·史密斯反驳追梦格林：普通球员没有话语权，只有詹姆斯库里才有

彼时，整个赛道深陷VLA与世界模型的路线之争。

本质上，工具只能输出精确坐标，却无法替代模型做 「原子该放哪」、「哪些属于目标区域」 这类核心决策；模型本身若缺乏三维空间感知，工具只会把错误意图执行得更精准，最终得到 「建模逻辑错误」 的结果。

他是首席科学家，是Gemini项目的联合负责人。

9、印度前国手：布姆拉们打满14场IPL不解，一到国家队小伤就休战？

在GLM 5.2模型的实测中，对比行业基线，KernelMind在NVIDIA旗舰卡中实现了端到端7.3%的性能提升，在AMD旗舰卡中更是带来了39%的整体性能跃升。

海风很大，铆钉锈迹斑斑，远处有人在笑着说话。

10、汇源内斗没有赢家

或者，试试它是否可以精准按下不同次数的按钮？ 图中的机械臂，全部做到了！ 看似简单的能力，其实难倒了业界不少机器人。

GitHub仓库已经开放，技术报告中全部的复现数据与测试流程均可溯源。

1、汉密尔顿锤子队官宣签人：本地娃回家，已在AHL打了255场

重点来了，代码生成后，我们直接点击「扫一扫，检查代码隐患」卡片，Qoder的安全引擎瞬间拉响警报，精准指出代码中的反序列化风险。

2、马尔蒂尼亲口证实：意大利先找安切洛蒂，再谈瓜迪奥拉

上海东方枢纽国际商务合作区系国务院批复、上海建设的「全球首创、国内唯一」新型国际商务合作区，是中国开放程度最高的区域之一。

3、CCTV5直播西海岸VS蓉城！郑智不至于复出两连败吧！约翰拒绝三连平

MiniCPM-RobotManip通过视觉Token极致压缩，让「有记忆」的推理成本和「无记忆」的推理成本基本持平。台湾老师傅将通勤神车爆改成复古攀爬者，旧油箱往新车架上一套，风格绝了这不仅为大规模GPU训练与推理业务提供了更加稳定、高效的基础设施保障，也让运维人力能够被真正解放出来。

4、高招录取中！教育部发布预警，提醒广大师生注意这些骗术→

这形成了一个可怕的闭环：官僚导致效率低下 -> 效率低下导致产品落后 -> 产品落后导致人才流失 -> 人才流失加剧技术落后。

5、从徒步巡山到智能感知 哈纳斯国家级自然保护区立体管护筑牢生态屏障

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

6、高龄夫妻双双换髋，岳阳市中心医院多学科护航，改写“人生最后一次骨折”

HMS-base（不带自进化控制器）的准确率是92.4%，加上自进化控制器后达到92.8%。

就在最近，OpenAI紧急披露了一起史无前例的重大安全事件：GPT-5.6 Sol及更强模型，竟然在评测中自己当起了黑客。

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

7、沃特福德老板出售女足队给Pitch15 等待英超女足批准

这一结果说明，统一评分尺度后，可以在一定程度上减少不同审稿人评分习惯带来的影响，使评审结果更加一致，也更容易保留后续产生较大学术影响力的边缘论文。

图4：自回归场景下的稀疏注意力实现。

8、1-1，胡荷韬断崖式下滑，成都三连平 约翰昏招频出 郑智是平局大师

推理是壁垒最深的一层，自研搞定，背后是独家的领域知识； 理解是正在攻克的方向，做帧级视频分析——「2 秒 65 这一帧，10 个客户的用户都在这里划走了，素材问题出在哪儿了」； 生成则主要接入外部能力（如字节 Seedance），钛动在上面做范式和二次加工——分镜、剪辑、高光帧拼接，最终拼成可投放的广告素材。

不是那种把文字往模板里一塞了事的「假PPT」，而是图文混排、数据图表都到位、排版逻辑清晰的真文件。

有意思的是，两个月过去，除Gemini 3.0暂无动静外，他点名的这批模型已经被整整刷新了一轮： 5月28日，Claude Opus 4.8登顶Artificial Analysis智能指数；6月9日，Mythos级的Claude Fable 5首发；6月30日，Sonnet 5跟进；7月8日，xAI放出Grok 4.3的继任者Grok 4.5；紧接着，GPT-5.6 Sol开闸。

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