在WAIC现场的分拣单元，面前堆了几百种乱七八糟的物体——日化用品、文具、水果、蔬菜、玩具、零食——十几种类别，机器人一件件拿起来，扫一眼，准确丢进对应的分类框。

1、乐鱼全站 大家都信了，无数的科研经费和论文结论都建立在这个隐秘的「共识」之上，唯独缺一个严丝合缝的数学证明，或者，一个反例。

第一步：gcd(12,18) = 6，lcm(12,18)/6 = 6，黑板变成[6, 6]。乐鱼全站可以在开放环境下零样本指令跟随，并且抗各类人物穿梭干扰，同时可以在无网/弱网环境（电梯/停车场）下流畅跟随。

2、3-1 2-0 1-1！中超疯狂一夜！大连双杀山东，津门虎两连胜！三镇击败深圳

参考资料： https://x.com/itsolelehmann/status/2069897627794284606 编辑：Aeneas

3、海牛残阵更凶，新外援能赶上补赛，3连客放弃杯赛，浙江拒绝4连败

训练侧，是RLinf V0.3大规模真机强化学习框架。

4、首战确定不打，次战不确定打不打，杨瀚森这情况老叔怎么用

参考资料： https://x.com/jenny_wen/status/2076679443754475919?s=20 https://jennywen.ca/ 编辑：桃子新智元报道 【新智元导读】人类迈入全新科学时代！卡半年的弦论笔记被Claude Fable 5一晚破解，AI甚至主动写代码验证自己的预测，AI怀疑论或彻底破产。

5、博主曝光成都多家酒店及公厕存针孔摄像偷拍问题，被多家酒店拒住，警方：已抓获嫌疑人，拒住系经营者自发行为；博主：被拒住情况已有改善

Gemini 4开跑 史上最激进预训练 虽然Gemini 3.5 Pro还没到手，Gemini 4也开始训了。

BadDLM 在两个数据域上经干净微调后的后门留存 如上图所示，即便在Dolly-15K与GSM8K上微调15个epoch（达后门训练时的3倍），后门ASR也仅小幅下降，仍远高于次优基线未经防御时的ASR（图中棕色虚线）。

文献数据、实验数据的抽取和沉淀 这也造就了科研领域低效内卷的现状： AI 持续拟合公开的成功科研数据，却难以触达科研场景中占比超 90% 的试错数据； 前人验证过的无效方案、踩过的技术误区，后续研究仍会重复尝试； 已被证伪的科研路径，模型依旧会反复推演。

6、NFL新赛季十大核心阵容揭晓：谁手握最强争冠根基？

任何一个学过大学微积分的大一新生，都可以通过求偏导，算出这个三元多项式的雅可比行列式恒等于-2。

Amazon 研究员随后独立报告了另一种绕过方法。

7、无缘CBA下赛季的四位顶尖外援

HMS强的地方，恰好是相似度检索最弱、而人类回忆最擅长的地方：把散落在不同时间、不同情境里的线索，重新接成一条完整的证据链。

现在，开始能区分了。

8、今日重要赛事！7月6日，CCTV5直播世界杯+中国男篮、CCTV5+节目表

」 他给创业公司的建议是：不要做容易被大模型「吞噬」的增量式创新。

然而这一进路的内在主义取向、对功能类比的依赖以及工程化视角对「解释」概念的窄化，共同构成了其认识论上的三重局限。

超维动力给自己的定位，从来不是一家单纯的机器人公司。

9、印度队长大赞15岁小将：他无所畏惧，18球轰出历史级首秀

不经过处理的多路图像会生成海量Token，直接拖垮推理速度。

第二印象甚至更差： CursorBench上，Gemini 3.6 Flash还不如Cursor的Composer 2.5。

10、灵台24万亩冬小麦开镰收割

这个差别，就是128万播放和128万情感共鸣之间的距离。

Bloom说明，Beck那篇Annals论文里有许多重要而有趣的想法，只是这道题用不上。

1、盛虹将CO₂“织”入纤维，央视聚焦国家科技进步奖背后的绿色革命

这是业内首个提供真实本地纯无网部署的跟踪模型，而且开箱即用！并且原生适配宇树Go2 Edu机器狗。

2、流浪者官宣今夏第七签：20岁就当了队长的塞尔维亚国脚，转会费超400万

也就是说，Jenny的这一步，实质上是直接跨入了马斯克的麾下。

3、日本队后悔吗？轻视激出近年最强巴西队！库尼亚伸出5个手指回怼

一道题挂了几十年没人领走，可能不是因为它有多难，而是因为没人肯在那条路上再试第三十次。仅23k英里！加州一手2008款雷克萨斯ES350现无底价拍卖企业为了获得模型服务，必须首先把自己的问题、上下文、数据、工作流程和判断标准暴露给模型。

4、利兹联与曼城谈判，欲签失意门将特拉福德

会看的不会推，会推的不会动，而产业落地偏偏要三样一起来。

5、0-0！中超青岛德比不沉闷，VAR三度介入，两队多次击中门框

让页面真正活起来的 是MCP 模型上下文协议（MCP）是Anthropic推的一套开放协议，专门解决一件事：AI怎么连上现实世界里的软件。

6、【独家特稿】国际奥委会新闻委员会委员:电竞奥运会未来走向分析

第一步：gcd(12,18) = 6，lcm(12,18)/6 = 6，黑板变成[6, 6]。

这三条，正好一一对应前面那三个命题。

面对这份由代码生成的完美证明，伯克利统计学家Will Fithian在推文中留下了令人回味的一笔。

7、中国60%新车超5米长 车重达3吨压垮公路 养护缺口或达3000亿

睡眠、健康以及与家人吃一顿饭的那两个小时，全被换成了产出。

这支团队从成立的第一天起，就是冲着全栈闭环来的。

8、蒙哥马利6.5分！国安全队打分：贾非凡+林良铭高分，海米提低迷，3将不及格

手速快的开发者，截了图。

深度vs简洁：把来龙去脉讲透，还是你问什么答什么。

剩下的它替你跑：从ScienceHub一键调用专用科研skill（这里是Qiskit），把电路搭建 → 噪声仿真 → 数据核算 → 理论推导 → 多类型绘图 → 交互式HTML报告串成一条全链路自动输出。

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