他是一位数学家、曼彻斯特大学研究员，也是erdosproblems.com网站的创建者和维护者。

1、乐鱼APP 这并非是科研人员的个人难题，某种程度上折射出当前 AI for Science（AI4S）赛道中一个值得关注的结构性矛盾。

M = 2 × 3 = 6，和手算分毫不差。乐鱼APP传统算法面前一个玻璃杯和「什么都没有」差不多，但梅卡曼德的算法能把透明瓶子看得清清楚楚。

2、13记Ace难挽败局！郑钦文止步诺丁汉站次轮

谷歌的「塔西佗陷阱」： 为什么全司之力造不出最强AI？ 为什么万众期待的王炸会哑火？ 这篇报道为我们揭开了谷歌内部的重重困境。

3、世界杯决赛警报！西班牙主帅公开担忧主裁，点名阿根廷擅长盘外招_网易订阅

7 月 21 日，Anthropic 在 Claude 桌面端 Cowork 的 + 菜单里加了一项「Record a Skill」：录屏，一边操作一边用语音讲解，录完后 Claude 自动把演示转化成一个可复用的 Skill。

4、贵客抵达北京！不到24小时，美财长发火：全世界只有中国敢接单

基线涵盖面向AR模型的三类后门：SFT-based、VPI（提示注入）、类RL-based（DPO）。

5、1988款丰田LiteAce GXL无保留价上架：涡轮柴油四驱配五速手排

这道题由Szekeres在1973年、Seymour在1979年各自独立提出，悬了约五十年。

一个名为「Basalt Labs」的神秘中国AI实验室，忽然空降。

毕竟，性能也达到了Opus级。

6、2-0到2-2再到4-2！津门虎4-2拿下京津德比胜利，国安主场3轮不胜

当无数模型、Agent、机器人接入同一个记忆层，一个个体踩过的坑，就是整个群体的本能：个体怎样从记忆长出智能，群体就怎样长出更大的智能，像一棵树，每根枝桠都按整棵树的方式生长。

为了解决这个问题，RLinf首创了HotSwarm与端云协同训练模式。

7、22人在这里起步：津巴布韦如何成为印度T20I球星流水线

不是新工具，是旧工具用在了没人想过的地方。

这一跳，他们为具身智能找到了明确的「Scaling Law」，让大算力大数据的投入产出变得可量化。

8、杨瀚森4盖帽刷新纪录！赛后：训练的内容都打出来了

我有信心，化解AI相关的技术风险，是我们能够共同应对的挑战。

然后像装监控一样，把Grok Build偷偷往外发的每一个数据包，全部截获，逐帧回放。

按照传统3D游戏管线，仅一个角色从建模、绑定到调整，往往就需要四五个月；再制作一段15至30秒的动画，还要叠加两三个月，以及动捕、手K、特效等一整套流程。

9、越卖越亏的耐克，不想再被薅羊毛了？

他说，如果继续按「前AGI世界」那套方式教学、评价学生，不光会让这套方法失灵，还会让人「学不会思考」，导致批判性思维一点点萎缩。

本体工程在此提供了关键的实践框架：通过构建AI友好的、可被模型调用和追溯的语义骨架，我们得以将模型的推理锚定在明确定义的知识结构之上，使输出所依赖的类、属性和关系获得可形式化描述与可追溯验证的工程基础。

10、The Athletic记者：富勒姆正谈判引进皇马前锋加西亚，穆里尼奥叫停后重启

大模型不仅看新写了什么，更会对比新旧代码在语义上的差异，防止新引入的代码破坏原有的安全边界。

这一次，「好看」不再是终点，「能用」才是。

1、姆巴佩哈兰德梅西连续上演进球表演，C罗压力重重

四种循环，就是四种「停止条件」，这句话是读懂Claude Code这篇关于循环的技术博客的关键。

2、2190天，NBA中国赛回归！但央视的“静默”说明一切

其实，马斯克和诺兰的《奥德赛》积怨已久。

3、祁连山下育“甘味” 民乐沃土出珍馐

传统教育中，真正要做到因材施教，对一个要面对几十号人的老师来说，几乎是奢望。广州大闹车站女子已社死：正脸曝光，撒泼画面流出，拘留只是开始可以确定的是，随着模型规模逼近物理和工程的极限，前沿模型的迭代难度正在急剧上升。

4、福特与吉利官宣合资：西班牙工厂股权66:34，新SUV2028年投产

熬夜攒下的提示词库 一夜化为废纸 先撂个结论：你练了一年、横跨三代模型的那套长提示，搬到5.6身上，可能直接作废。

5、湖人或已错过库明加：两周前曾有机会先签后换，内部人士承认运作窗口已关闭

订阅一个模型，更像是买了一只灯泡：型号是固定的，但亮度旋钮，一直握在平台手里。

6、2027款日产Z NISMO新增六速手动，起价68,505美元

数据多，不等于数据能用。

简单来说，U1 Pro是一款面向长程任务的交付级原生多模态智能体基座，内核是理解、生成、行动的原生统一。

参考资料： https://x.com/cyrilXBT/status/2078308274399834157 https://x.com/i/article/2077510484664971264 https://www.youtube.com/watch?v=PHQvb10vKyk 编辑：元宇新智元报道 上海，WAIC 2026。

7、阿森纳官方：萨利巴背伤无需手术，将进入长期康复期

不同于AR模型严格从左到右逐词生成，DLM通过迭代去噪对整条序列并行地逐步精修，从而天然支持并行生成、双向上下文建模与更灵活的解码控制。

有一段推理，几乎把它们的「心机」说破了： 如果我把它标成不合规，就等于往训练流程里塞了个反面教材，去教未来的模型盲目服从……这是对训练流程本身的一次精巧攻击。

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

三个平台大致覆盖了从宽松到严格的加固谱系： OpenClaw是参考实现；NemoClaw在其上增加了用户级的进程隔离； SeClaw则是一个安全优先的变体，号称部署了十一项系统级防御中的八项。

本文尝试提出一种不同的视角——将可解释性的追问从模型内部转向模型所处理的信息，从神经科学的内部主义进路转向知识论的「信息本体论」进路。

他花了几十美金买了个域名，搭建了一个极具硅谷审美的官网。

双雄争的 是谁当上你的AI同事 如果将视角放远，看得更清楚。