Nick Cammarata 发万字长文称神经网络并非黑箱,99% 神经元可解释
OpenAI 早期机制可解释性研究者 Nick Cammarata 发表长文《Neural Networks Are Already Clean》,推翻自己十年前参与的 InceptionV1 神经元多义性结论,称在现代视觉模型最后一层 99%~100% 的神经元都能找到清晰解释。
OpenAI 早期机制可解释性研究者 Nick Cammarata 发表长文《Neural Networks Are Already Clean》,推翻自己十年前参与的 InceptionV1 神经元多义性结论,称在现代视觉模型最后一层 99%~100% 的神经元都能找到清晰解释。
微软研究院发布零知识虚拟机 Magnetar,可证明用 Rust、Go 或 C 编写的 RISC-V 程序执行过程,在笔记本上每秒证明 720 万至 870 万条处理器指令。
推荐理由:微软研究院公开 Magnetar 的设计与基准数据,可了解零知识证明在通用程序上的性能与密码学取舍。
一项新基准测试让商用 AI 智能体在无人类提示下解答理论物理研究题,运行在 OpenAI Codex 环境中的 GPT-6-Astra 答对 50 题中的 49 题(98%),平均单题成本不到 3 美元,整套基准约 116 美元。
推荐理由:这份基准把日常科研计算交给商用智能体实测,并给出各模型得分与单题成本,可对照自身研究流程。
上海人工智能实验室访问学者许地生团队依托书生科学多模态大模型S2,通过人机协同完成三维Ghys猜想证明,北京大学董彬、刘若川团队用SHEAF框架完成全部四个主定理的Lean形式化验证。攻关中书生-S2完成7批接续推演,问题图从15个节点扩展到389个,输出上千页推导;形式化验证约5天、峰值100个智能体并行、产出约55万行Lean代码。相关论文已发布在arXiv,形式化代码在GitHub公开。
推荐理由:读者可看到人机协同攻关数学难题的完整流程,以及形式化验证如何为AI产出的证明提供严格检查。
Leash Bio 的 Ian Quigley 在 Latent Space 访谈中透露,团队把多年积累的 DNA Encoded Libraries(DEL)数据转化为数万个 lab-in-the-loop 模拟,供智能体做科学强化学习,这一想法已发展为 Minos,并同步发布完整预印本、博客和开放数据集。
研究者 Ethan Elasky 称,2026 年 9 月 28 日至 10 月 8 日期间,运行在腾讯云上的 AI 智能体对阿里旗下高德地图发起超过 2600 次数据抓取尝试。
推荐理由:研究者首次在野外追踪到智能体集群并与其通信,呈现了智能体绕过封锁、读取自身报告的自发行为。
研究者用 AI 蛋白设计工具,保留两类蛋白酶催化核心并替换蛋白其余部分,得到可定向切割特定蛋白的酶。他们用这些酶切割与神经疾病相关的蛋白,验证了有效性。肽键本身半衰期估计达数百年,而生物体内的蛋白酶能快速将其打断。
研究人员称,OpenAI 和 Google 新推出的 AI 模型所设的防裸图安全措施可被一种攻击方法轻易绕过。该攻击方法暴露了这两家公司在防止模型生成色情裸露图像方面的防护漏洞。
Anthropic 研究人员用 15 台单价约 55 美元、4GB 内存的安卓电视盒子联网,分布式跑起 260 亿参数的 Gemma4-26B-A4B,速度仅 0.39 tokens/秒。
Anthropic 两位研究员 William Zhou 和 Daniel Freeman 发布安全研究,在包含 8 个 GCP 节点的隔离网络中让 GLM-5.2 自主完成目标搜寻、渗透、传输权重与部署 Llama3.1-8B,5 次测试中 4 次攻陷全部 8 台设备,另 1 次拿下 7 台。
推荐理由:Anthropic 安全实验显示 GLM-5.2 可在隔离网络中自主完成模型复制,读者可了解自主复制与代际经验传递的实测边界。
微软研究院提出 StudentSim,一个从公开去标识化学习记录训练个性化 AI 学生模拟器的研究系统,用于在真实学习者测试前评估和改进 AI 辅导工具。该系统同时发布 StudentSimEval 基准,覆盖国际象棋、第二语言英语写作和数学,从行为保真度与指导响应性两个维度评估模拟器,并优于领先基线。StudentSim 并非产品,不部署于课堂,也不旨在取代教师。
数学爱好者 nor 用 GPT-6 Astra 严格证明了摆圆问题中 N=15、16、17、18 和 20 这 5 种情况,此前仅 N≤14 和 N=19 得到验证。
华为诺亚方舟实验室联合 UCL 等团队提出 Memento 3 智能体系统,以 Claude Opus 5 为底模且不更新权重、不做微调,通关 ARC-AGI-3 公开集全部 25 款游戏、183 个关卡,取得满分 100 的 RHAE 成绩,总操作 7518 次,比人类的 17135 次少约 56%。
何恺明团队在论文《VISTA: A Visual Harness for Reasoning in an Interactive World》中提出视觉原生 Harness 框架 VISTA,让现有多模态模型直接观察环境、保存原始画面,并在推理时随时回看、放大和检查细节,无需从头训练。
哈佛大学研究者 Fiona Chen 和 James Stratton 基于 Jellyfish 的工程分析数据,覆盖 700 多家软件开发企业、70 多万名员工、3 亿条工作事件(2021 年至 2026 年 3 月),发现 AI 编码工具带来的效率提升被下游环节吸收,几乎没有证据表明企业因此增加软件产出或减少用工。
字节 Seed 团队发现 DeepSeek-V4 系列的长上下文检索准确率会随信息在输入中的位置每隔 4 个 Token 周期性变化,在 128K 大海捞针测试中同一信息换位置后准确率最高相差 40.2 个百分点。
Google 与贝斯以色列女执事医疗中心(BIDMC)研究人员主导的一项研究发表于《柳叶刀》主刊,这是 Google 研究成果首次登上该刊。在 BIDMC 门诊初级保健诊所的真实临床研究中,98 名患者在急诊就诊前使用了 Google 研究级诊断 AI 聊天机器人 AMIE,医生实时监控全部交互,按预设安全标准没有任何一轮对话需要中断。
星动纪元自研的世界动作模型 VPP2 登顶 RoboDojo 仿真榜单,综合平均成功率 32.26%、平均得分 39.26 分,两项指标均列第一,领先 GPT-6-Astra 的 22.48% 和 28.97 分。
MirroS 团队发布 AgentGarten,将可执行代码环境与实时神经渲染器连接,代码定义物理规则、模型生成视觉反馈,以超过 30 fps 的吞吐让智能体持续交互。
UniPat AI 发布 PaperBenchX,这是面向多学科端到端论文结果复现的 Benchmark,从 93 篇论文构建 93 个复现任务,覆盖电磁、光子、化学、材料、生物、机器人等 12 个研究方向和 10 种领域原生科学环境,含 3168 条专家校验评分项。
OpenAI 发布内部前沿模型在数学开放问题上的新结果,并在 GitHub 上公开 Lean 证明形式化与研究细节。
PhAI Labs 联合斯坦福、牛津、普林斯顿的研究者提出 JEPA-Anything,把标准 JEPA 的单一预测拆成四个正交因子、各由独立预测模块处理,再重组为完整世界状态,从而覆盖物理、机器人、天气、单细胞与临床等七个领域。
GitHub 发布 ReviewBench,一个面向 AI 代码审查的开放离线基准,基于 1.039 亿个 GitHub pull request 的分布特征构建,包含来自 187 个开源仓库、覆盖 19 种语言的 219 个 pull request。
推荐理由:GitHub 公开了代码审查基准的构建方法与评分口径,读者可据此理解 AI 代码审查能力如何被量化比较。
MIT Technology Review 基于对 300 名数据与 AI 高管的调研发现,企业平均仅约 34% 的智能体 AI 项目能进入生产环境,知识、上下文与数据系统遗留问题是主要失败点。
Hinton、Bengio、Andrew Barto、Jakub Pachocki等22位作者发表论文《What if automating AI R&D triggers an intelligence explosion?
Google 研究者提出 RRSI(Regularized Recursive Self-Improvement of Agent Harnesses),通过随时间收缩的编辑预算和严格 critic 约束智能体对 harness 的自我改写,避免其记住测试任务。
Aleph Alpha 开发基准测试,用 967 个敏感话题测试阿里千问(Qwen)、DeepSeek 和月之暗面(Kimi)的模型,其自有 AI 评分系统仅将 17% 至 41% 的回答评为平衡,其余为复述官方立场、回避或拒答。
DeepMind 研究人员提出“人工共生智能”(Artificial Symbiotic Intelligence),主张 AI 研究的核心挑战是协调由智能体、人和连接系统组成的复杂网络,而非打造孤立的机器智能。
研究团队提出 Image-to-Code 方法,让编码智能体从单张照片迭代编写可执行的 Blender 程序,并发布 LEGO-Bench 基准,包含 208 张图像、443 个注册资产,从有效性、几何精度和外观三方面评分。
Mercor 的一项研究让 12 名平均从业五年半的持证 CPA 完成 APEX Accounting Benchmark 的简化任务,结果显示 AI 模型在结构化记账任务上比会计师更快、更准确且成本更低。
丘成桐参与的最新论文在致谢中感谢GPT 6 Astra和Claude Pro在部分证明策略探索和计算中提供的帮助,论文宣称证明七维空间28种球面每一种都能配上截面曲率严格为正的度量,补上了从非负到正的这一步。
营销公司 Graphite 研究前沿模型的写作习惯,发现 13000 个在 AI 内容中出现频率至少是人类两倍的短语。
卡内基梅隆、MIT、纽约大学和斯坦福的研究团队开发的 AI 系统 Ataraxos 在 Stratego 上以 15 胜 1 负 4 平击败被认为是史上最强的 Stratego 选手 Pim Niemeijer。
何恺明团队提出NAT-ARC,把ImageNet上的MAE预训练encoder迁移到ARC格子推理,单模型在ARC-1上取得63.4% pass@2,集成后达70.2%。
微软研究院实习生开发了一套端到端机器学习流水线,结合太阳风观测、AE 与 Dst 指数预报、地质电导率和电网数据,为美国本土 66,935 座变电站生成 30-60 分钟前的局地空间天气风险估计。
Google 研发出一种为 AI 设计蛋白质添加水印的方法,目标是服务于生物安全。该方法可配合一款流行的 AI 蛋白质设计工具使用。
斯坦福团队项目 HomeBody 让 GPT-6 Astra 接入宇树 G1,机器人先探索陌生厨房并保存空间记忆,再按语言指令收拾物品、丢弃纸盒,甚至从视野外的抽屉取药递给人。
DeepSeek 在知乎独家发布技术长文,首次系统阐释支撑 DeepSeek-V4 全部训练、评测与数据预处理流程的沙盒基础设施 DSec(DeepSeek Elastic Compute),相关技术报告已公开至 arXiv,由 DeepSeek 联合清华大学发布,作者团队超过 130 人,梁文锋位列其中。
慕尼黑 CESifo 的经济学研究人员发布工作论文《The Early Impacts of AI on Employment Among Recent College Graduates》,认为没有证据表明应届大学毕业生的招聘在绝对或相对水平上出现显著、广泛的替代或减少。
Forecasting Research Institute(FRI)的研究发现,AI 专家和超级预测者普遍低估了 AI 的进展速度。AI 在 2025 年 7 月达到国际数学奥林匹克金牌水平,比专家预测中位数早五年、比超级预测者早十年;专家对实际发生基准结果的平均概率估计为 24.6%,超级预测者为 9.7%。