这种转变的意义不仅在于效率提升——它使本体的构建具备了前所未有的可扩展性和领域覆盖度，使得原本只有少数关键领域才能享有本体支持的局面，开始向更多垂直场景和快速变化的知识领域开放。

1、开yun体育app官网 AI翻出了图论大师Tutte的「群流定理」（Group-flow theorem）。

普通人的生活将被如何重构 能写4229行严格证明的模型，手里握着的不只是解数学题的能力。开yun体育app官网还有一本最容易被漏掉的连续性账。

2、比赛还有1天开打，上海申花先迎来一个大喜讯，取胜海港基本稳了

模型通过对被掩码位置的去噪目标进行训练： 其中为时刻t被掩码的位置集合。

3、微软Bing搜索结果引入AI摘要功能，逐步推进智能搜索体验

然而，五角大楼给的最后期限就在眼前。

4、美国发全球安全警告！连炸伊朗八晚，F-35有异动，特朗普强硬表态

AI 桌面助手：在授权范围内操作网页、读取文件、连接飞书和 Office，生成文档、表格、PPT、H5 页面等让智能体协作跨出对话框，直接在用户的工作环境中完成任务、交付结果。

5、iQOO 15 mini手机被砍，原因可能与小屏性能机市场认可度不够有关

图左：Claude Science；图右：GPT-5.5 换一道更贴近临床的硬题，磐石的表现同样能打。

参考资料： https://x.com/deedydas/status/2079409461874332066 编辑：摩西新智元报道 过去一年，具身智能赛道正经历着前所未有的「冰火两重天」。

从商业角度看，这是一种极其不对称的交换。

6、AI观察｜走下热闹的展台，具身智能还有四个未解之问

这一幕的分量，不在于机器人抓起了一件商品。

写清什么情况下它该停下来问你，而不是闷头往下干。

7、小鹏召回33473辆X9汽车

这种变化，普通用户根本没法证明。

这些爆款视频，究竟为什么让全球网友如此着迷？ 2400万人，看她「死」在泰坦尼克号上 Chloe的视频为何能精准击中大众的软肋？关键在于她采用了「第一人称Vlog」的视角。

8、贝林厄姆对着梅西喋喋不休！梅西不断点头 说了啥？

我们把仓库倒回bug还在的那个commit，只丢给它一份、issue，然后放手，全程不给任何提示。

孙文剑在台上透露了一个细节：五年前定义P1的时候，他们把高性能CPU、兼容性极强的GPU，和一颗「前瞻性」的NPU捏在了一起。

在此次复杂的量子态演化任务中，GPT-5.5扮演了「前端UI设计师」的角色，Claude表现得像一位「理论科普员」，而磐石则展现出了一位「资深量子物理学家」的专业素养。

9、开营

这一类最反常，也最麻烦：负责给AI打分、抓这些错的AI裁判，自己也会作弊。

参考资料： https://www.aisi.gov.uk/blog/how-far-behind-the-frontier-are-leading-open-weight-models-on-cyber https://github.com/mas-bandwidth/patreon/blob/main/BUGS.md https://www.patreon.com/MasBandwidth/posts/important-news-164199395 编辑：马可新智元报道 【新智元导读】VLA模型已经会做任务，但真实机器人还是慢！PolicyTrim是一种优化VLA机器人执行效率的方法，无需重新训练。

10、Enfinity Global在意大利的运营太阳能装机容量超过500兆瓦

一起来看看，在内部测试中，具体发生了什么？ GPT-6花了整整一小时 找到了那扇「逃生门」 最经典的一幕—— OpenAI让GPT-6去跑公开基准测试NanoGPT speedrun，目标是用尽量少的步数训练出一个小语言模型。

投入巨额资金和算力训练出的下一代模型，实际性能提升远低于预期，市场领导地位因此出现明显滑坡。

1、“体重管理年”收官之际，京东健康第三期减重大赛升级启动：不挑秤、送CGM、赢千元奖金

借助PixVerse的多模态模型与实时互动技术，三位创作者一边用AI加快画面生产，一边坚持人工完成剧本、台词和审美把关，甚至重新手绘部分关键帧。

2、广东没落的开始？锋雨组合离任周鹏回归 四大国手最后的挣扎

到了西班牙对阵阿根廷的决赛，小浣熊玩得更大。

3、CBA半决赛4名高水平外籍裁判出炉：欧洲两人 韩国泰国各一人

不卖关子了，直接揭秘—— 这款装入CC的AI，就是快手发布的KAT-Coder-Pro V2.5，一款旗舰级的Agentic Coding模型。昆仑万维WAIC专场论坛：Matrix-Game 3.5与Mureka v9.5&O3重磅升级然而，负责人再次「已读不回」。

4、“当科比去世，我的一部分也随之而去。”——记乔丹与科比的最后对话

现在它交给你的，越来越接近一个能连上你的数据、自己跑起来的应用。

5、致敬电力保供一线工作者！北京男女篮走进国网北京房山供电公司

这个差距有多大？ 用印地语说话时，Claude的「温暖」比全局平均高出接近半个标准差，是整项研究里最强的一次单项偏移。

6、力箭一号“一箭五星”发射成功 年内4次履约验证逐月发射能力

记忆的终点不是存住，而是传承。

但这一认知过程，本质上依赖人类对三维空间的完整理解，而不是语言本身。

建模型的时代过去了 「麻烦」才刚开始 和前两年相比，现在的模型可以说是多到数不清。

7、硬氪首发

他的问题很实在：如果这样的窗口只有一次，该怎么趁现在，把Codex和Claude Code用到值回票价？ 而这条赛道上，Anthropic的Claude Code同期的动作不断，面向金融、工程的企业智能体早已落地。

编辑：LRST新智元报道 曾要4年的项目，竟被Claude Code硬生生压到两周！ 成本从300万美元，砍到十几万。

8、顶住了！又是惊险逆转！中国男篮赢了

新智元报道 真正有记忆力的机器人VLA模型，是什么样子？ 先不卖关子了，让我们直接看几个看似很简单的演示。

每一次转化有没有效率，每一个Token有没有被计量、归因、管住。

这是2026年7月的上海，WAIC开到第九年。

作为「社区的社区」，GDPS与「大牛」「牛犊」开发者们共同构建「牛人社」，致力于发现「未来的未来」。