对于材料建模而言，语言推理能力、文本知识储备和原子级结构行动能力之间，不能直接画等号。

1、博亚平台 没有发布会，没有新闻稿，功能上线又迅速下线。

这就是那篇44页的《数学年刊》论文。博亚平台一个87年的猜想，就这样被AI「随手」破解了。

2、强援回归！湖北青年星屡失良机，继续排名中乙南区第二

」 据网友Kai消息，Kimi已经用K3+Kimi Code来构建Kimi Code，AI自进化显现！ 不止软件，甚至不止训练阶段，K3可以自己设计芯片和从零设计推理内核—— 整体上，ArtificialAnalysis发布了对K3模型的评测，证实了Kimi K3的性能已经达到全球第三名！ Kimi坦承了与全球AI第一名和第二名的差距： 是时候重新选择了，你是选一个随时可能被封号的闭源的Claude Opus 4.8，还是选一个性能相当、价格更便宜的开源之王K 3? 实测惊人 Kimi给每个人的Claude Opus 在技术报告中，Kimi在游戏开发与数字创作上效果惊艳，直呼： K3实现了真正的「视觉闭环」：在代码和实时截图之间无缝迭代，即时查看并优化生成结果。

3、胡塞武装称使用多枚弹道导弹、巡航导弹以及无人机，袭击两艘沙特油轮_网易订阅

」 有人说，我很少见到科学圈的X像现在这样，陷入如此疯狂的兴奋与巨大的震惊之中。

4、穆里尼奥太明智！皇马躲过葡萄牙大坑，庆幸没买这位世界杯水货

Skild AI 在长程、不间断、不遥操的真实家庭任务上，目前全球只有逐际动力和 Figure 做出了可信度高的完整演示——Figure 有厨房整理、房间整理、客厅整理等一系列家庭场景 Demo，逐际动力有这次的一镜到底的客厅整理。

5、法国VS英格兰首发出炉！姆巴佩首发！贝林凯恩替补……

磐石2.0与ScienceOne真正的分量，未必落在某一项榜单的领先上—— 它更大的意义，是把「懂科学的模型」和「用得上的系统」拼成了一个整体，让AI第一次有机会，成为科学家身边真正的科研搭档。

更何况，和竞争对比手，价格更贵，效果更差！ 此外 ，谷歌这次还发布了网络安全模型Gemini 3.5 Flash Cyber。

2026年10月23—25日 · 上海张江科学会堂 大赛信息咨询 徐老师：13301886886 你的场景，就是GDPS下一道赛题 · 劳动最光荣，场景方先上场 【GDPS场景 · 扫码报名】 周老师：17721330272 长按识别小程序码 · 提交场景痛点 · 7月窗口限时开放 其他征集通道 WAIC「看见未来」，GDPS「做出未来」——征集火热开启，即刻扫码出题！ 10月，上海，敬请期待！新智元报道 【新智元导读】学校没变，但奥特曼警告人类正在慢慢失掉思考的训练场。

6、MLB 7月23日投注指南：比伯三振数看高一线，普法特难破3.5K

新智元报道 通付盾参加2026WAIC世界人工智能大会，成为全场焦点赛道。

张正友认为，两条路线都可能成立。

7、这个17岁高中生跑出1分42秒27，即将冲击全美冠军

不是跑在芯片上，是长在芯片里。

前代广受好评的前端美学能力能完整延续到这一版，正好印证了这套机制：新本事大幅扩容，旧本事一分没掉。

8、金球奖得主罗德里带伤踢完世界杯将手术，曼城新赛季开局告急

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

另一边，是一家中国公司，加一台随手能买到的运动相机。

怎么把电造得又多又便宜？清程极智的秘诀，就在于底层的深度自研。

9、哈兰德绝杀！挪威时隔28年重返世界杯16强 将战五星巴西

完整模型的纠正成功率高达98.15%；去除恢复数据后，这一指标骤降至15.46%，导航成功率也由59.00%下降至29.71%。

一个客户经理原来要招三个人分管不同客户，现在他配三个智能体——一个负责给客户发每日数据简报，一个负责监控客户投诉，一个负责向内部团队提需求。

10、中南大学原党委常委、副校长郭学益被“双开”

（图源：Claude Code官方文档） 所谓自主智能体，本质上就是这么一个圈。

未来，HMS将持久记忆融入感知、推理、控制与具身行动。

1、这场文化大赛为何选择泸州？三千年文脉告诉你答案……

因此，VLA部署效率不仅要看每一步的推理延时，更要看策略效率（policy efficiency）：一次预测中有多少动作能放心执行？完成任务到底需要多少真实物理步骤？ 已有方法大多从计算侧入手，例如视觉token剪枝、量化、KV-cache复用、蒸馏或推理引擎优化。

2、3-0！亚洲又1惨败：姆巴佩连续2场梅开二度，法国雨战大胜伊拉克

在基金会官网最不起眼的角落，藏着一句自白：它根本不是一家慈善机构。

3、大学足球在西安走出象牙塔——以足球底气，奔赴理想人生

这就要求专业操作员像控制提线木偶一样操控机器人，记录下每一个关节的角度、扭矩，成本极其高昂。美媒：勇士欲交易老虎王牌斯库巴尔，联手塞尔组顶级左投双核这些东西，参数堆不出来，算力也砸不出来。

4、伊朗：袭击了美国亚马逊公司在巴林的中央数据基础设施，该设施是美军军事信息交换关键站点

参考资料： https://x.com/Mr_Salio/status/207736089707741624811 https://x.com/emollick/status/2077849021150888408 https://www.bloomberg.com/news/articles/2026-07-16/google-gemini-launch-delayed-as-tech-falls-short-of-internal-goals 编辑： Aeneas新智元报道 全球迄今为止最大的开源AI模型，正式上线！ 昨夜，月之暗面（Moonshot AI）放出了其最新旗舰模型Kimi K3，目标直指超越Claude/ChatGPT。

5、1995年丰田陆巡FZJ80无底价上架：仅行驶11.6万英里

有人认真分析模型架构，有人讨论中国AI的「突然崛起」，有人开始担忧「技术封锁失效了」…… 直到几位硬核开发者，将骗局揭穿。

6、莱利时隔多年重提老詹离开：本以为是王朝，我得学会放手

各赛道冠亚季军共享百万丰厚奖金池，并获产业赋能、资本聚焦与出海机遇：全程专业FA融资辅导，算力券、模型券、语料券等政策补贴加持；获奖项目直通2026中东迪拜人工智能大会及2027上海国际汽车工业展览会进行展览展示，并可在获奖后即刻与投资机构一对一深度洽谈。

当Turner看到受害者遇害前的画面时，他感到不寒而栗。

有人担心学生数据隐私，有人担心教育被过度自动化，还有人翻旧账：硅谷高管自己的孩子，上的却是不带科技产品的学校。

7、四川宜宾一男子杀妻抛尸，对外称妻子外出打工，警方调查发现：妻子医保、出行等记录自2013年全部归零；犯罪嫌疑人已被抓，案件仍在侦办中

Token不再只是聊天的开销，还成了重构企业流程的「生产资料」。

页面现在能在有人打开它的时候，去调MCP连接器，连上当下的实时数据。

8、“不想添更多麻烦”，双胞胎兄妹高考交卷就进厂赚学费

」五年后，这颗6纳米的芯片被产业界拿去，用进了各行各业，忐忑变成了底气。

从7月20日开始，Claude Fable 5将直接包含在所有的Max和Team Premium订阅方案中（虽然额度被限制在50%）。

不是等着领先了再上桌，而是找准了自己的位置先坐下来——还挣到钱了。

第一，Qoder Security做的事很简单——在编码阶段帮你早发现、早修复，把那些明显的坑提前填上。