https://x.com/i/article/2111224592803008512
https://x.com/i/article/2111224592803008512
全部动态
按时间排列的全部内容。默认只显示通过双重评分的入选条目；切换到“全部收录”可以检索所有抓到的资料。
2,347 条收录动态，更新于 03:33
全部收录包含没有通过评分的资料，标题以常规字体显示并标为“未入选”，只供检索，不写入选理由。
10月17日
星期六，18 条Grok Bot 质量与速度改进
一大批好东西已上线 🫶
引用Grok Bot@botWe've made some improvements to Grok Bot’s quality, polish, and speed. Cards in chat have a new design with a cleaner layout.
https://developers.openai.com/blog/maintaining-software-with-the-gpt-6-family
https://developers.openai.com/blog/maintaining-software-with-the-gpt-6-family
Anthropic内部AI智能体使用情况
对进步的预期以及对更广泛经济影响的看法，是由经验塑造的。 在Anthropic，今年AI智能体已在公司内部迅速普及：到8月，交互式AI智能体使用时长已超过员工工作时长的6倍。
Claude 30分钟破解25年密码学难题
Claude 在不到 30 分钟内解开了一个困扰 25 年的密码学谜题。 有一大类研究问题，其搜索空间极其庞大，但验证成本很低。 AI 智能体可以大规模探索假设、运行实验并做出新发现。我们将看到更多这样的案例。
Span-02 可通过 OpenRouter Decisions API 调用
它运行在 OpenRouter Decisions API 上，与我们托管的其它决策模型采用相同的请求格式，因此试用 Span-02 只需改一行模型名。
Claude 周末创作征集
这个周末你在用 Claude 做什么？
Google Research 将智能体接入湿实验室机器人，闭环设计出癌症靶点蛋白结合体
Google Research 宣布把智能体带到湿实验室工作台，通过将智能体与实体实验室机器人结合，运行快速闭环的分子设计循环，并称由此发现了针对癌症靶点的个位数纳摩尔蛋白结合体。原文附有介绍链接，未说明该流程的开放范围或是否已发表。
入选理由Google Research 把智能体接到湿实验室机器人上跑闭环分子设计，并给出针对癌症靶点的蛋白结合体结果，可看自动实验如何进入真实生物发现流程。
Google 研究让 AI 智能体在湿实验室闭环完成适配体与蛋白设计
Google Research 公布三项研究，推进 AI 智能体从计算设计走向真实湿实验室实验：VERID 框架为实验室工作单元建立语义数字孪生，让智能体在动作前检查台面布局、孔内体积和吸头库存，并在模拟中预演协议。
入选理由Google 展示了智能体在真实湿实验室中闭环设计并验证核酸适配体与蛋白结合体的进展，研究者可据此判断自动化实验的可行边界。
MIT Technology Review 圆桌对话：对话 AI 设计病毒的创造者 Samuel King
斯坦福大学博士生 Samuel King 用生成式 AI 模型提出微型病毒的遗传蓝图，这还不是 AI 生成生命的实例，但可能是下一步。MIT Technology Review 资深 AI 记者 James O'Donnell 与 King 对谈其工作、入选 Innovators Under 35 以及观察生物学的新方式，对话录制于 2026 年 10 月 16 日。
Anthropic STEM Fellows 项目：Claude Mythos 5 按自然语言指令设计出更高效的量子线路
Anthropic 的 STEM Fellows 项目披露，Claude Mythos 5 在给定自然语言指令的情况下设计出量子线路，效果优于已发表的最优线路，部分情况下提升一个数量级或更多。
Terence Tao 参与的 SAIR Open Math OS 软启动，托管开放数学模型并提供团队账号
SAIR Open Math OS 已软启动，提供类似前沿 AI 模型的网页界面与服务，目前托管 DeepSeek V4.1 Flash、Kimi K3 和 GLM 5.3 Flash 等开放数学模型，能力大致落后当前前沿模型一年左右，无法完成“一次性解题”，但可用于中等规模 Lean 形式化、总结或讨论数学论证与主题。
Navier-Stokes 里程碑T恤
Navier-Stokes 里程碑T恤的背面印着该解法思维链的最后一行：
Donna每月消耗万亿Token
Donna每月消耗一万亿Token 她运行的循环你甚至无法想象
引用McBain 🦞@heyneighborI love hearing from people like @ArkStabler who are using OpenClaw to help businesses grow But I REALLY love hearing that he helps people like Donna become OpenClaw power users https://x.com/i/article/2111135977301544960
Elorian 发布首个 AI 模型 Glimpse：以“视觉草稿空间”边推理边看图
帕洛阿尔托初创公司 Elorian 发布首个模型 Glimpse，以研究预览形式开放 API 和聊天界面，推理中可裁剪图像区域、抽取视频帧或运行代码测量所见内容，公司称其为“视觉草稿空间”。
StepFun 将参展 UCLA LA Hacks 2026
LA Hacks 2026，我们来了！ StepFun 将于 10 月 17–18 日现身 UCLA，与开发者见面交流，共同探索 Step 5 Preview 的可能性。我们还将在于 10 月 17 日（周六）晚 8–9 点（太平洋时间）在 James West Alumni Center 举办一场工作坊。 欢迎来打招呼！
10月16日
星期五，4 条This Week in AI：OpenAI、Anthropic 与 Mistral 扩展 AI 能力边界
OpenAI 为 ChatGPT 推出 Intelligent UI 与 MCP Events，Anthropic 为 Claude 增加 Dashboards 和 Motion，Mistral 预览万亿参数开放权重模型 Large 4。
中文政策文件引发的误读现象
当所有人都在评论一份简短的中文政策文件时，一个安全的假设是：他们并不知道它是什么意思，只是试图用 claude 解析一份不完整的翻译，而没有通读全文。 在这个平台上，我信任其评论的人大概只有 5 到 10 个。
Ithaka S+R 调查4003名美国研究者：AI使用规范与联邦资助不确定性成主要挑战
Ithaka S+R 基于对4003名美国研究者的调查发布报告，指出研究者对AI在研究中的角色存在分歧，但许多人认为披露AI使用是必要的，而监督责任分散在研究共同体各处。
如何形式化全部数学：Jeremy Avigad、Kevin Buzzard 等谈自动形式化整部数学文献的提案
Jeremy Avigad、Kevin Buzzard、Johan Commelin 等七位作者在 Kevin Buzzard 博客发文《How to Formalize All of Mathematics》，回应近期自动形式化全部数学文献的提案。文章指出形式数学与 informal 数学面临平行的问题，核心在于优先产出时速度、规模与理解之间的权衡，全文主要围绕这一权衡展开。
10月15日
星期四，1 条华为等提出 SwarmRSI：让科研智能体群体通过继承研究状态实现递归自我改进
华为、莱顿大学与格罗宁根大学团队在 arXiv 预印本提出 SwarmRSI，让科研智能体群体通过演化彼此继承的研究状态（假设、程序与实验证据）实现递归自我改进，包含反馈引导的群体变异、互补群体重组与递归群体演化三个机制。
10月16日
星期五，7 条OpenAI 推出 Rosalind 学术计划，美国高校研究实验室可获最多 30 个免费席位
OpenAI 推出 Rosalind Academic Plan，目前仅面向美国高校的研究实验室开放，符合条件的实验室可在 Business Standard 计划上获得最多 30 个免费席位，最长十二个月，不含 API 访问。
欧洲通过首批 13 个 Open Science Cloud 枢纽扩大研究数据与数字服务的获取、共享和使用
欧洲 Open Science Cloud（EOSC）Federation 首批 13 个 EOSC Nodes 已投入运行，这是该 Federation 在现有 EOSC EU Node 之外的首次扩展。
他推动 AI 基准测试成为科学而非“暗术”
有研究者主张把 AI 基准测试从“暗术”变成一门科学，以规范衡量模型能力的标准测试。文章以 1987 年美国国防高级研究计划局（DARPA）首个自动语音转文本基准为背景，讨论基准既是测量工具、也会主导整个领域行为的两面性。
Perplexity 开源 Agent 代码执行平台 SPACE
Perplexity 开源内部 Agent 代码执行平台 SPACE，将不可信的 Agent 生成代码或用户代码放入 Firecracker microVM 隔离运行，通过纯 HTTP/SSE API 对外服务。
引用Denis Yarats@denisyaratswe open-sourced SPACE, the sandbox platform we use internally for secure agentic runtimes. it powers Computer as well as our RL training and evaluation workloads. https://github.com/perplexityai/SPACE
四川轻化工大学团队开发四档全固废注浆产品，固废利用率最高达95%
四川轻化工大学“固若金浆”学生科研团队针对传统注浆材料高碱、高能耗、高污染、固废利用率低的痛点，开发出四档全固废注浆产品，固废利用率最高可达95%，综合生产运维能耗下降20%。团队累计完成318次样品制造试验、493次性能质量测试，其低碱低成本激发技术使生产能耗降低40.7%、研磨时长缩短50.32%。产品已在某水电站120米深孔注浆项目中应用，材料留存率大于90%。
北大教授董彬：AI让数学进入更好的时代
北京大学董彬在2026未来科学·创想季活动上表示，AI对数学的冲击已是"房间里的大象"，OpenAI一次性公开722篇数学手稿后已有3篇因错误被撤回。他牵头的AI4MATH团队今年4月研发的Rethlas-Archon在全自动条件下用近两万行Lean 4代码否定了悬置十余年的安德森猜想，获Nature专题报道。他认为数学家应拥抱AI，企业侧重模型训练、高校提供高质量数据与评测问题。
看 Elizabeth Holmes 新纪录片前，值得先读的 STAT 报道回顾
A24 纪录片《You Can See Everything》上映，主角是已因欺诈投资者被判逾 11 年联邦监禁的 Theranos 创始人 Elizabeth Holmes。STAT 回顾了多年来对 Theranos 的报道，包括 2016 年美国化学学会会议上 Holmes 未真正披露公司可疑数据，以及去年刊发 Theranos 举报人 Tyler Shultz 的评论文章。