AI/编程
领域「AI/编程」下的文章与资讯 · RSS 订阅
真菌里藏着"咸味肽"：不减盐，也能更咸
减钠食品的最大难题是"咸"不好替代。2026 年《npj 食品科学》一项研究用 AI 从 14 种真菌的蛋白组里筛出咸味肽（AGHQR、AHDQY）与增咸肽（IPVVVDL 等），电子舌验证有效。用"蛋白质碎片"吊出咸味，反直觉，但可行。
给大脑做"读心"AI：从 fMRI 解码单个词，到 NiCLIP 神经影像基础模型
神经解码走了二十年：早期 fMRI 只能从脑激活图里猜出一个单词；2026 年《自然·通讯》的 NiCLIP 用对比语言-图像预训练，从脑激活图直接预测任务、概念和领域，训练数据来自约 2.4 万篇论文的坐标。基础模型把"读脑"从实验室奇技变成了可迁移的能力。
GPT-6 全量推送：回答比“思考”更快的一代模型
2026年10月，OpenAI 将 GPT-6 推至 ChatGPT 全量用户；报道称它能在推理完成前就开始回答，搜索类响应提前约 44% 启动。
AI 智能体自己翻出了两种室温磁性半导体候选
2026 年 10 月，研究者用 Opus 5.5 AI agents 配合，以 Luttinger 补偿反铁磁的思路，筛选出两种室温磁性半导体候选（一种新设计、一种 1999 年已有材料），可用于自旋电子存储。
哈伯：用空气喂饱世界，也把毒气搬上战场
1909 年 Fritz Haber 实现合成氨（哈伯法），1913 年工业化、1918 年诺奖，让粮食产量跃升；同一人一战主导氯气等毒气战，1934 年被迫害自杀。一位科学家的双刃人生。
AI 开始读 30 亿字母"天书"：基因组语言模型 GPN-Star
2026 年 9 月，UC Berkeley 的 GPN-Star 把 A/C/G/T 当"字母"学全基因组的"语法"，用多物种比对训练，预测致病变异更快更准，训练从数月压到几天，成为"虚拟细胞"的基础设施。
沼气池里藏着第六种产甲烷法：一个古菌把百年定论掀了
传统范式认为复杂有机物变甲烷必须靠细菌与产甲烷古菌"互养"。2026 年 10 月，团队从厌氧污泥里分离出一株古菌，能独自把中长链脂肪酸直接转成甲烷，成了第六种产甲烷途径，把"互养是必须"的百年定论改写。
为什么 AI 医疗榜单第一，到了真实病人身上就翻车
从"10 年前老 CNN 在皮肤癌诊断上赢了前沿大模型"引申：大模型在公开榜单高分，却在 200 张独立活检集翻车，根因多为训练集污染与分布偏移。科学评测的铁律——独立验证集、盲测、报告置信误判。
给大脑做「读心」AI：科学家正用 AI 翻译你在想什么
2026-10-13 Nat Commun：NiCLIP 用对比语言-图像预训练，从 fMRI 脑激活图解码认知任务、概念与领域，训练语料来自 2.3 万篇论文。fMRI 不再是"看哪里亮"，而是"读出了什么"。
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 给每位投稿者套上了一条硬上限：每个自然月最多只能提交两次。