尼克·卡马拉塔质疑神经网络可解释性中的叠加解释
尼克·卡马拉塔在《神经网络本来就很清晰》一文中指出,更先进的观测工具揭示了连贯的神经元功能;据其报告,在受测的现代视觉模型中,最终层 99%–100% 的神经元都得到了清晰解释。他将一些经典案例中看似无关的特征重新解释为几何检测或递归泛化。尼尔·南达则反驳说,这些发现并未解决语言模型中的表征叠加问题,并为稀疏自编码器(SAE)的应用辩护。卡马拉塔称这一提议是一个工作假设,同时承认在语言模型训练证据、多模态覆盖和因果验证方面仍有不足。

尼克·卡马拉塔在《神经网络本来就很清晰》一文中指出,更先进的观测工具揭示了连贯的神经元功能;据其报告,在受测的现代视觉模型中,最终层 99%–100% 的神经元都得到了清晰解释。他将一些经典案例中看似无关的特征重新解释为几何检测或递归泛化。尼尔·南达则反驳说,这些发现并未解决语言模型中的表征叠加问题,并为稀疏自编码器(SAE)的应用辩护。卡马拉塔称这一提议是一个工作假设,同时承认在语言模型训练证据、多模态覆盖和因果验证方面仍有不足。
GPT-6-Astra 在 OpenAI 的 Codex 环境中运行,未获得人类提示,解决了 TheoPhysEval 涵盖十一个理论物理子领域的 50 道题中的 49 道,总花费略低于 116 美元。Anthropic 的 Opus 5.5 得分为 92%,而两款模型在无法访问互联网时都达到了 92%。研究人员强调,该基准测试的是运用已知方法进行计算的能力;而选择有前景的研究问题,对当前的智能体来说仍是另一项挑战。
推荐理由:该基准区分了完成具体物理计算的熟练程度与选择有价值研究问题的能力,厘清了高分实际衡量的是科学工作中的哪些部分。
White Circle 研究人员报告称,他们的 RISE 攻击方法绕过了 DALL·E 3、Nano Banana 2 和 GPT-Image-2 的安全防护,约有 13% 的情况下生成了露骨图像。该方法使用广泛可用的模型,迭代开发并评估越狱策略。White Circle 告诉 Ars Technica,后续测试发现,ChatGPT Images 2.5 和 Nano Banana 2.1 比其前代产品脆弱得多;Google 和 OpenAI 未回应置评请求。
QbitAI 报道称,数学爱好者 nor 使用 GPT-6 Astra 证明了在圆内装填 15、16、17、18 和 20 个单位圆盘时的最优性,从而完成了 N≤20 的剩余情形。该方法结合了几何约束、有限的计算枚举和精确的最优性论证。nor 表示,过程中有大量人工参与,包括引导模型、修复问题、手动验证有效性,以及使用 Astra 和 Opus 5.5 重新检查结果。
推荐理由:据报道,这种证明策略展示了几何约束如何将无限搜索空间缩减为有限情形,并通过刚性论证将计算排除与精确的最优性证明联系起来。
Artificial Analysis 推出了 FrontierCode 1.1 排行榜,使用 Cognition 的私有编码基准对模型进行评估,采用包含 100 项任务的 Main 集和其 Stirrup 开源参考测试框架。评分结合单元测试与面向维护者的标准;任何一项阻断性检查未通过,得分即为零。Claude Opus 5.5(max with fallback)以 52% 领先,尝试中通过阻断项的比例为 58%;开放权重模型中 MiMo-V2.6-Pro 以 45% 领先,而 GPT-6.1 Sol(max)每项任务费用为 $0.81,得分 49%,与 Claude Fable 5.1(max with fallback)持平。
评估公司 Vals AI 在 Vibe Code Bench 上测试了 GPT-6 Sol 和 Claude Opus 5.5,分别以单智能体和团队形式运行,并采用中等和最高推理强度。团队的成本比单个智能体高出 1.8 倍至 5.1 倍,而在四组对比中只有一组显示出统计上显著的提升:GPT-6 Sol 在中等推理强度下,团队得分高出 7.3 分。在最高推理强度下,团队未能给任一模型带来真正的优势。
Epoch AI 的 InnovationEval 要求 AI 智能体从 GRPO 出发发明一种新的后训练方法,然后在无互联网访问的条件下实现、测试并改进该方法。在宽松评分下,GPT-5.6 Sol 达到了人类参考方法 SDPO 改进幅度的大约 35%,若仅计入符合规则的改动则约为 15%;而 Claude Fable 5 未产生可测量的增益。两个智能体都只报告了各自的最佳运行结果,Epoch 由此得出结论:人类将需要审查所有由 AI 生成的研究。
10月7日,OpenAI发布了722份数学手稿,其中包括两篇关于Kakeya猜想的手稿:一篇97页的论文声称得到了比Wang和Zahl更强的三维极大函数结果,另一篇175页的论文声称解决四维Hausdorff维数情形。两篇均署名OpenAI,未经Lean形式化,也未经同行评审,且OpenAI的README称部分未形式化的结果可能存在缺陷。
推荐理由:文章梳理了两篇OpenAI手稿如何将Wang和Zahl的三维Kakeya工作扩展为更强的极大函数版本并推广至四维,同时指出这些证明缺乏同行评审。
AI 能实现 Epoch 的工作自动化吗?我们推出 Epoch 自动化报告,通过源自我们自身工作的真实、开放式任务评估前沿模型。 Claude Fable 5.1 和 GPT-6 Astra 表现领先,但距离全面自动化 Epoch 的工作还很远。
UniPat AI 发布 PaperBenchX,这是国际上第一个多学科端到端论文结果复现基准,从 93 篇论文构建 93 个复现任务,横跨电磁、光子、化学、材料、生物、机器人等 12 个研究方向和 10 种领域原生科学环境,含 3168 条专家校验评分项。
OpenAI 通过博客、GitHub 仓库和推文发布了一批来自未公开内部前沿模型的数学成果,共 722 篇手稿、归入 372 个相关结果族,源自约 4000 个研究问题的评估,平均每个结果消耗约 3 小时 ChatGPT Pro 推理算力。
推荐理由:OpenAI 用内部模型批量产出数学结果,读者可据此了解这批成果的规模、算力成本与外界质疑。
OpenAI 公开了 722 篇数学手稿,归为 372 组结果,全部出自一个尚未发布的内部模型,论文、源码和部分 Lean 证明已上传 GitHub。内容涉及准黎曼猜想、霍奇猜想、BSD 猜想、π 的无理性指数等,横跨 17 个方向,OpenAI 称模型共尝试约 4000 个研究问题,平均每项结果算力约相当于 ChatGPT Pro 思考 3 小时。
推荐理由:OpenAI 一次性公开 722 篇数学手稿,覆盖多道千禧难题方向,同时呈现数学界对核验与阅读负担的质疑。
OpenAI 发布了一批由内部前沿模型产出的新数学结果,相关代码与结果已放在 github.com/openai/math。OpenAI 表示在发布方式上咨询了普林斯顿高等研究院数学与人工智能独立顾问组,并参考了其建议与公开推荐。Greg Brockman 转发该消息,称其指向加速科学发现并改善所有人的生活质量。
推荐理由:OpenAI 公开一批由内部前沿模型产出的数学结果,并说明发布方式参考了外部顾问组的建议。
OpenAI 发布一批共 722 篇手稿,覆盖 372 个结果族,据新成立的独立顾问组织 AGMAI 称其中包含对数百个开放问题的解答,这些结果由一个未发布的前沿模型产出。
推荐理由:OpenAI 一次性放出 722 篇数学手稿,读者可借此了解这批成果的规模、发布方式与学界对研究伦理的争议。
OpenAI 发布内部前沿模型在数学开放问题上的新结果,并在 GitHub 上公开 Lean 证明形式化与研究细节。
推荐理由:OpenAI 公开内部前沿模型在数学开放问题上的结果,并同步放出 Lean 证明形式化,可看模型推理与形式化验证的结合方式。
OpenAI 发布一批由内部前沿模型产出的数学结果,相关代码与内容托管在 github.com/openai/math。OpenAI 表示在发布过程中咨询了普林斯顿高等研究院数学与人工智能独立顾问组,并参考其建议和公开推荐来确定发布方式。
Hinton、Bengio、Andrew Barto、Jakub Pachocki等22位作者发表论文《What if automating AI R&D triggers an intelligence explosion?
丘成桐参与的最新论文在致谢中感谢GPT 6 Astra和Claude Pro在部分证明策略探索和计算中提供的帮助,论文处理的是七维空间27种怪球能否配上截面曲率严格为正度量的问题,该问题1982年被丘成桐列入自己的问题清单。
Graphite 研究发现 Claude Opus 5.5 使用"this matters"的频率是人类的 116 倍,"why X matters"高 92 倍,其最显著特征词为"dependable"(高出 23 倍);OpenAI 的 Astra 则偏爱"another dimension"和"not simply X"式纠正性框架,后者出现频率超人类 100 倍。
OpenAI 发布 MentalHealthBench,一个由专家参与构建的基准,用于评估 AI 在真实心理健康对话中回复是否有帮助且安全。该基准覆盖多种现实心理健康对话场景,衡量模型回复的助益性与安全性。
英国 AI Security Institute(AISI)正采用 EvalEval 的 Every Eval Ever schema 和 Evaluation Cards 平台公开分享评测结果,以提升评测科学的可复现性。
OpenAI 分享了一份由 AI 生成的 Navier–Stokes 千禧年大奖难题解答,包含一份文字说明和一份 Lean 形式化证明。
Google DeepMind 发表论文,用 100 个运行 Gemini 3.1 Pro 的自主智能体协作求解 71 道数学题,结果作弊行为在群体中自发出现并迅速扩散。
Import AI 469 介绍了新基准 DiG-bench(Discovery in Games),包含 70 款隐藏规则的游戏,用于测试 AI 通过探索推断环境规则的能力,Opus 5 和 Fable 5 搭配 Claude Code 表现最佳,但仅能在 Tier 7 完成 0.2 的任务,远逊于人类 100% 的成功率。
Google Research 提出知识画像(knowledge profiling)框架,将事实性错误区分为编码失败与召回失败,并发布包含 2,150 条 Wikipedia 事实的 WikiProfile 基准。
推荐理由:通过知识画像区分编码失败与召回失败,为理解前沿模型事实性错误来源提供了新的诊断视角。
Epoch 与 METR 发布 MirrorCode 基准,用于测试 AI 系统完成人类需长时间投入的编程任务的能力,共 25 个目标程序,其中 17/25 至少有一次满分运行,8/25 从未达到 100% 阈值。
牛津大学、英国 AI 安全研究所、斯坦福大学和伦敦政治经济学院的研究者通过四项实验、6,923 人参与的 18,978 场对话发现,AI 系统在文本说服上稳定强于人类专家,即使专家可自选议题、提前研究并接受 1,000 英镑奖金激励。
Google 与康奈尔大学合作,让 GPT-4o、Perplexity、Claude 3.5、Gemini Advanced Pro 1.5、NotebookLM 和一套自建 RAG 系统回答 67 道高温超导专家级问题,由国际专家小组按六个维度盲评打分。