雷鸟 Air 3s 周年版京东半价 552 元，配双层 Micro-OLED
IT之家称该周年版配置与 Pro 版相同、赠品更多，京东国补后 1104 元，另有半价名额可 552 元入手；Air 3s Pro 首发价 1599 元、发布于 2025 年 5 月。
阅读原文模型发布/更新
8 条消息称腾讯将推「元宝助手」独立 App，做个人长期记忆
据 IT之家转述《读佳》，腾讯元宝在开发 Personal Agent 产品「元宝助手」，计划推出独立 App，给独立权限和运行空间，用来跑长周期任务和长期记忆。
阅读原文英特尔 CEO 陈立武：中国前沿 AI 模型词元成本低、普及很快
陈立武在星展银行的小组讨论会上说，DeepSeek、Kimi、GLM 性能够好且词元成本低，他支持开源；他判断量子计算三到五年内走向主流。
阅读原文华为 Memento 3 通关 ARC-AGI-3 全部 25 款游戏，操作次数比人类少 56%
据量子位，华为诺亚方舟实验室等团队的 Memento 3 用 Claude Opus 5 当底模，不改权重，打通 ARC-AGI-3 全部 25 款游戏 183 关，只用 7518 次操作，而人类要 17135 次。
阅读原文论文：让大模型反编译回来的代码，保留的原始语义反而更少
arXiv 文章讨论了反编译这件事：现有评测常只算「重新编译能不能跑通」，但语言模型反编译时，被保留下来的原始语义往往更少。
阅读原文智谱 GLM-5.3-Highspeed 现身 Zcode，实测速率 490 tokens/s
据量子位，智谱在 Zcode 3.15.1 里向部分订阅用户放开了高速版 GLM-5.3-Highspeed，随机发放；有网友晒出 490 tokens/s 的实测速率。
阅读原文Karpathy：人们对大模型能力的认知差距正在拉大
Hacker News 上 463 赞。Karpathy 讲的是同一个模型，懂行的人和不懂行的人对它能干什么，判断差得越来越远。
阅读原文语音 AI 高管：还没到自己的「ChatGPT 时刻」
TechCrunch 在 HumanX 大会上采访了 PolyAI 的 CTO Shawn Wen 与 Otter 的 CMO Alex Gay：语音模型能做「边听边说」，但抓不住关键词，还是会听错上下文。
阅读原文产品发布/更新
1 条GPT-6.1 Sol 在 Codex 与 Work 里默认上下文提到 500k
OpenAI 的 Tibo 说，Codex 与 Work 里 GPT-6.1 Sol 的默认上下文从 272k 提到 500k，约增 80%，能少触发压缩，上限仍是 1M。
阅读原文论文研究
1 条Google DeepMind 的 AlphaProof Nexus 解出 9 个未解 Erdős 问题，成果过了同行评审
据 The Decoder，AlphaProof Nexus 在 353 个开放 Erdős 问题中解出 9 个，其中 2 个悬置 56 年；它还证明了 OEIS 里的 44 条猜想。底模是 Gemini 3.1 Pro。
阅读原文技巧与观点
5 条教程：用 Claude Opus 5.5 加 Blender、Unreal、Meshy 七步做游戏
X 上的教程给每个工具分一个职责：Meshy 出道具和角色、Blender 清理摆放、Unreal 管光照物理，Opus 在一个对话里调度三者，首个完整构建约花 4 小时。
阅读原文Clojure 作者 Rich Hickey：大模型不是工具，是自动化
Rich Hickey 在 LinkedIn 说，工具是你能握着挥舞、能持续控制的东西，大模型不是；你发出请求它自行行动，更像免下车取餐窗口那种绕开烹饪的自动化。
阅读原文硅谷跟着特朗普改口，把 AI 叫「超级智能」
据 The Verge，继 Marc Benioff 把 AIForce 改名 SIForce、Jensen Huang 谈「超级智能研究」之后，微软 CEO Satya Nadella 发长文时也反复用「超级智能」一词。
阅读原文亚马逊、微软弃用保密协议谈数据中心，反对声没停
据 TechCrunch，亚马逊跟微软一样承诺谈数据中心时不再用保密协议，但主持人认为地方抵制不会因此停，因为过去这些项目大多在保密状态下谈成。
阅读原文开发者花 150 欧元请真人照着自己写的软件安装一遍，翻出十多条问题
独立开发者 Terence Eden 拿了 NLnet 资助做 ActivityBot，为验证新手装不装得起来，请真人照着安装说明装一遍、边装边说卡在哪，共付约 150 欧元。
阅读原文