有了这套机器可读的题目，AI才能直接输出Lean证明、由编译器自动判分，不再需要人类评委阅卷。

1、博鱼下载 努比亚豆包手机大模型预计将在 WAIC 期间亮相。

它的核心意义在于，在例如数采工厂里，机器人学会一项技能后，可以以极低的数据要求、极低的金钱和时间成本，完成对新场景的适应和部署。博鱼下载一张全息底片，哪怕只剩一角，也能重建出整幅图像。

2、突破百米！广州新“小蛮腰”，规模现象！

最后测试PPT。

3、看了20万小时「人类干活实录」，机器人悟了

为什么是5个万卡而不是1个10万卡？因为商汤面向的是第三方市场——大语言模型、视频生成、具身智能、世界模型、AI for Science，这些任务对硬件的要求完全不同。

4、福特卡车在荷兰稳步前行，年销量将达150辆

他用一个周末，把一套Python代码库迁成了16.5万行TypeScript，主体部分消耗约2700万token。

5、新晋菲尔兹奖得主齐默曼：数学职业将不复现有形式，宣布加入OpenAI做AI安全

保持投放精准度靠的是一个每天转动的反馈飞轮。

Anthropic Labs联合负责人Mike Krieger，Instagram联合创始人，故事更具代表性。

雅可比猜想的证伪可能只是倒下的第一块多米诺骨牌，多个猜想或将被证伪。

6、火箭悍将连续三场状态回暖 季后赛若想走的远此人不可或缺

这个瓶颈，就是「Reasoning Generation」。

该模型通过构建四足机器人统一的行为基座，实现了ABot能力的端到端验证。

7、科协年会连开三场具身智能论坛，聚焦AI落地物理世界新路径

从实验结果看，这一设计补齐了长程导航中「错误经验缺失」的问题。

完整推导过程如下： https://aaronlou.com/jacobian_counterexample_derivation.pdf 数据科学家Cal Aldred甚至用Fable + GPT 5.6 Sol提出了一个生成无限多反例的方法！ 张益唐被偷走的七年 但这个故事最令人唏嘘的部分，跟张益唐有关。

8、董卿母亲卵巢癌病逝！父亲写文悼念，透露女儿不容易照顾老少三代

不过，这款模型，普通人暂时碰不到。

但它开的药方和官方并不一样：官方是把整个timedelta整体取绝对值，它选择先换算成总秒数、再拆分。

华山论剑第一招，是先否掉对方对战场的判断。

9、亏麻了！步行者摆烂一年仅得到祖巴茨 联盟倒数第二仅得到5号签

官方演示里两相结合，Flash-Lite一口气直出25套高可用网页设计方案，速度快到几乎是「想一下就出一批」。

「书生·端砚」并非单纯升级的文献处理大模型，而是一套完整落地「假设推演—仿真计算—实体实验—数据回流」全链路的科学智能系统。

10、樊振东0-2落后，教练王皓做了一件事，帮助小胖实现大逆转

今年6月，两家海外Cloud公司各自提出的解法，与无问芯穹隔海共同呼应了「Agent时代到底需要怎样的AI基础设施」这个命题。

注：模型1是GPT-5.5，模型2是磐石，模型3是Claude Science 再看看排在后面的GPT-5.5，虽然图表画得花里胡哨，但一句「噪声后子系统熵保持为1」，直接暴露了它连局域噪声和全局噪声都没分清的理论硬伤。

1、【侠客岛】方星海被查

Tibo的帖子大意是：不是「降智」，是「调参」。

2、被宝妈们的野路子惊呆了！这些东西不按套路出牌，比原设计还好用

标准只有一个：能不能进真场景、干真实活、真帮到人。

3、几十块搞定全屋装饰画！不仅年味十足，还有财气满满！

他说这是一个很漂亮的证明，然后给了三个形容词： 短。曼恩持续投资波兰，克拉科夫卡车工厂将获约12亿欧元扩建此前社区观测到，Sol的max档对应960。

4、倒计时2天

左侧比较不同主流模型，右侧比较不同尺寸 Qwen 模型。

5、偷廉价酒水被捕！他惹了一身麻烦啊！

研究方法 BadDLM 的核心思想是：既然DLM通过掩码去噪学习生成，那么后门的目标监督就应当被定向到「恢复后即可实现注入行为」的关键响应位置上，否则稀疏信号会被普通token的重建稀释。

6、魔法原子Magic-VLA K02攻克叠盒封胶长程任务，成功率超90%

两者都能达到同样的结果，但实现路径不同，但Kimi 的创意更强。

设想你问它：「上个月我参加过几场跟艺术有关的活动？」一个靠相似度检索的系统，一看到「艺术」两个字就兴奋起来，把你聊过的「班克斯的街头艺术」「那场关于希腊艺术的讨论」一股脑捞回来。

想知道这个月的总营收、哪些客户90天没下过单？连上数据库，用大白话问，它自己写SQL去跑。

7、驾驶室加长1米！欧洲卡车舒适天花板？这台斯堪尼亚770S改装卡车是你的菜吗？

成绩断层式碾压 从结果来看，不仅满分42和第四名28之间横着14分的鸿沟，而且三个满分模型登顶的姿势截然不同。

上海AI实验室主任、首席科学家周伯文认为，这种能力差距的核心，是当前大模型普遍缺失科学元认知： 它能精准调用海量已知知识，却无法识别知识的边界； 能生成看似自洽的推演结论，却不会自主提出可证伪的科学假设； 能基于文本做概率拟合，却无法在真实世界的反馈中修正、重构自身认知。

8、《光环：战役进化》发售前4天被攻破

这，正是这项工作的出发点。

你的尝试值得尊敬，也许奥林匹斯众神终有一天会眷顾你。

第一件是成本。

两套体系给出了一致的结论： GLM-5.2（2026 年 6 月发布）在窄任务上的表现与 Opus 4.6（2 月发布）相当，差距 4 个月； 在 Cyber Range 上追平 Opus 4.5（去年 11 月发布），差距 7 个月。