AI/编程

AI 不筛药了，它开始亲手「造」抗生素

2026-10-17 Nat Commun：深度学习用"链即提示"策略从头设计抗菌脂肽，46 条合成 44 条显示活性，LP630 广谱且在小鼠伤口感染模型显效。相比从自然界筛+半合成，这是往"写分子"又迈了一步。

AI 不再只是预测蛋白质，它开始用大白话「写」出能用的蛋白了

2026-10-21 Nature：Pinal（16B）读自然语言描述直接产出功能蛋白，并在实验中验证——把"结合并固定二氧化碳"这类要求写进去，产出的蛋白提升了 CO2 固定产物的得率。这是 AlphaFold 预测、RFdiffusion 设计之后的下一跳。

想少盐又怕没味？科学家在蘑菇里找到了答案

2026-10-20 npj Science of Food：研究者用 AI 引导，从 14 种真菌蛋白组里筛出咸味肽（AGHQR、AHDQY）与增咸肽（IPVVVDL 等），电子舌验证其能放大咸味感知。不减盐，也能把菜做"咸"——减钠食品的一条新路。

模型改行做判断：专用小模型开始领工牌

2026 年秋天，一类"只做判断、不做生成"的小模型密集出现——微软 Decision-1、JetBrains Mellum 2.1、Liquid d1。它们参数量只有旗舰的几十分之一，却在"该不该做、错在哪"这类判断任务上超过大模型。智能体时代，评判权正在从大模型下放。

不反向传播，Q Labs 的 Dust 预训练了 Transformer

Q Labs 在 2026 年 10 月放出 Dust——一种不用反向传播、靠在激活上叠加噪声来近似梯度的 Transformer 预训练方法。论文声称在 243M 参数规模上和反向传播可比，但第三方复现泼了冷水：换上合适的优化器，反向传播明显更便宜也更准。它现在是个昂贵的玩具，但把"还需要处处可微吗"这个老问题重新摆…

50 道真实税务题，最好的 AI 只过了 10.8%

Surge HQ 用 50 个真实税务任务、近 1800 份互相矛盾的文档测试 AI 智能体，最强模型通过率 10.8%。它算得对，却看不出客户马上要错过一个截止日期——专业工作的门槛不在计算，在主动发现。

同一周，四位 AI 掌门给出四套答案

杨立昆说 AI 远不够聪明、真正危险是垄断；奥特曼说最怕人主动交出控制权；Karpathy 说多数人根本没用对；Anthropic 在招股书里写下"灾难性风险"。四种警告指向的其实是同一件事——人还在不在决策链条里。

形式化验证 Lean 是什么，为什么它成了 AI 数学的"裁判"

AI 写得出证明，人却读不过来。Lean 把证明翻译成机器可核对的代码，正成为 AI 数学时代最关键的信任基础设施。

OpenAI 一次性甩出 722 篇数学证明：哪些是真突破，哪些已撤回

2026-10-06，OpenAI 在 GitHub 公开 722 篇模型生成数学手稿，覆盖 17 个领域。本文梳理事件时间线、各方评价与已撤回案例。

欧洲的万亿参数答案：Mistral Large 4 用"开放权重"打主权牌

法国 Mistral 发布万亿参数多模态模型 ML4（约 520 亿活跃参数），3800 块 Grace Blackwell 欧洲自有数据中心训练，权重将于月底开放。网络安全基准登顶开放模型，"AI 主权"从口号变成可自托管的产品。

arXiv 给投稿「限流」：9 月 4 万篇，AI 论文洪流逼出每月上限

从 2026-10-01 开始，arXiv 给每位投稿者套上了一条硬上限：每个自然月最多只能提交两次。

AI 把 100 公里气候模拟锐化到 3 公里，成本只要三百分之一

高分辨率地球系统模拟贵得惊人。要算清一场飓风眼壁里的风怎么切、一场暴雨落在哪座山头，传统物理模型得把全球网格切得很细，算力账单随之暴涨。艾伦人工智能研究所（Ai2）在 2026 年 10 月 14 日发布的两阶段 AI 模拟器 HiRO-ACEv2，想用另一条路绕开这笔账。

AI 在军棋上赢过顶级人类：它学会了虚张声势

象棋和围棋早已被 AI 攻克，但那些棋盘上每一步都摆在明处，所有棋子的位置双方都看得到。这类完全信息环境里的胜利，不等于 AI 也能应付那些藏着牌的局面。由 MIT、卡内基梅隆（CMU）、纽约大学（NYU）和斯坦福（Stanford）合作研发的 Ataraxos，把目标放在了 Stratego 上。

用 fMRI 重建你看见的画面：Brain-IT 一小时数据学会一个人

大脑在看见一幅画面时，枕叶视觉皮层会按特定规律放电。如果能把这些神经活动反推回图像，就等于读出一个人眼前的世界。以色列魏茨曼科学研究院（Weizmann Institute）的团队把这个设想往前推了一步：他们训练出一个名为 Brain-IT 的模型，把 fMRI 脑扫描转换成受试者当时所看图像的重建。

AI 从头设计酶：AlphaProtein Novo 把「生成」接上了「实验」

蛋白质 AI 这几年换了几次主角。先是 AlphaFold 把"预测结构"这件事做到近乎可用，接着业界把野心推到更前面一档：不预测了，直接设计。Google DeepMind 近期发布的 AlphaProtein Novo，走的正是 de novo（从零）酶设计这条路，而它反复强调的卖点，是把"生成"和"实验验证"接在…

950 个智能体扫了 21 小时 DNA：AI 发现科学走到了哪一步

2026 年 9 月，Anthropic 公布了一次不同寻常的实验：让 AI 系统调度大约 950 个并行工作的智能体，连续扫描 21 小时的 DNA（脱氧核糖核酸）数据，最后找出一组此前未被系统描述过的重复序列、附属蛋白与已知逆转录酶的组合——结构上看，像一套 CRISPR 样的酶系统。

从读基因到写生命：合成生物学用 30 年把测序仪变成了打字机

1977 年，桑格（Frederick Sanger）测出第一个完整的基因组序列——噬菌体 φX174，5386 个碱基。当时能做的是"读"。三十年后，人类开始认真地"写"。

AI 自驱动实验室：机器人自己设计、跑、读、复盘实验

不用试词表了：把大模型改成直接读字节

AI 自己翻出一套 CRISPR 样的酶系统：950 个智能体扫了 21 小时 DNA

2026 年 9 月，Anthropic 让约 950 个 Claude 智能体协作、用 21 小时扫描 DNA 数据，找出一组类似 CRISPR 的重复序列与附属蛋白——AI 发现科学，正进入「自主挖宝」阶段。