1. DeepMind让AI自己找题写证明 AINLP 2026-10-21 15:27 江苏 谷歌 DeepMind 这篇关于开放式数学发现的论文，有点意思。 他们让基于 Gemini 的 Agent，为 BB(6) 中 11 台停机状态未定的图灵机发现了全新的加速规则，还完成了 Lean 形式化证明。 论文瞄准的是“繁忙海狸”问题的 BB(6) 前沿。系统要从待解机器中自己选择研究对象，观察执行轨 10/21 15:27 ♡
2. Meta Muse Glimmer 技术报告深度解读 原创 NLPer 2026-10-21 13:48 江苏 蒸馏一个 30B 的模型 Meta 超级智能实验室公开了 Muse Glimmer 30B 的技术报告 ：这款从 Muse Spark 蒸馏而来的开放权重模型，能看图、调用工具、执行多步任务，目标是让个人电脑也能运行自己的 Agent。 Glimmer 的权重已在 8 月开放。这次报告展开了从预训练到 10/21 13:48 ♡
3. 回答质量很高，为什么仍错过接话机会？SocialOmni 的多模态社交交互评测 原创 谢天宇 2026-10-21 13:48 江苏 从“能回答”走向“能参与” 作者：谢天宇（厦门大学），SocialOmni 论文作者 一道问答题可以由答案判断对错，多人对话却还要考虑回答发生在什么时候。若只评价模型已经开口的回复，那些错过大多数接话机会的模型也可能得到漂亮的质量分。SocialOmni 将说话人归属、介入判断和自然续写放到同一套诊断视角 10/21 13:48 ♡
4. Tibo 确认约 4 万个 Codex 账户存在额度计算异常，并承诺补偿 Credits AINLP 2026-10-21 09:45 江苏 Tibo 确认约 4 万个 Codex 账户存在额度计算异常，并承诺补偿 Credits。 前两天有朋友留言自己的额度很快清零，是不是这个原因？收到补偿没 跳转微信打开 10/21 09:45 ♡
5. 第一次用 WorkBuddy，我被 Step 5 Preview 惊艳到了！！ 原创 NLPer 2026-10-20 16:36 江苏 WorkBuddy + Step 5 Preview 熟悉 AINLP 的朋友都知道，我平时主用 Codex。虽然鹅厂前同事已经给我种草过多次 WorkBuddy，我还是一直没上手。 这两天有空，终于把它装上了。第一次用，先从下载、注册、登录开始。 我下载的是 Mac 版，拖进应用文件夹就能打开。 登 10/20 16:36 ♡
6. DeepSeek-V4.1-Flash-20261017 (Max) 现已成为 Code Arena: WebDev 中排名第一的开源模型！ AINLP 2026-10-20 15:28 日本 DeepSeek-V4.1-Flash-20261017 (Max) 现已成为 Code Arena: WebDev 中排名第一的开源模型！！ 跳转微信打开 10/20 15:28 ♡
7. Tibo 推文下已经炸锅，再不送个重置难以服众啊！ AINLP 2026-10-20 10:12 江苏 Tibo 推文下已经炸锅，再不送个重置难以服众啊！！ 跳转微信打开 10/20 10:12 ♡
8. Tibo: 第 15 天/我们完蛋了 AINLP 2026-10-20 08:58 江苏 OpenAI 疯狂 28 天计划 Day 15，Tibo 开始玩梗 我需要的是重置。。。 跳转微信打开 10/20 08:58 ♡
9. Gemini 4 Argon 组队，27 小时首次自主通关《我的世界》 原创 NLPer 2026-10-19 14:39 江苏 写代码还得互相救场 谷歌 DeepMind 让四个 Gemini 4 Argon Agent 组队打《我的世界》。从随机生成的生存世界出发，目标只有一个：击败末影龙。 27 小时 14 分钟后，它们做到了。期间自己编写并运行了 2,783 个程序，死了 605 次 。 研究团队称，这是其所知首次仅用标 10/19 14:39 ♡
10. Tibo 这是要发重置卡了吗？ AINLP 2026-10-19 09:17 江苏 “现在大家已经从 X 的信息流（Timeline) 里跑到现实世界了，甚至有人在大街上拦住我，要求我重置额度。看来我得印一些小卡片，随身带着发给大家了。” 跳转微信打开 10/19 09:17 ♡