跳到正文

按收录时间排列 · 卡片保留原文日期,往期好文也会新收录

今天10月28日周三3 条
  1. TechCrunch · AI77

    OpenAI 与 Anthropic 称模型推翻指数时间假设,MIT 教授解读其影响

    OpenAI 昨日发布了三个长期未解数学难题的解答,其中一项是对指数时间假设(ETH)的意外否定,Anthropic 数学家 Levent Alpöge 质疑其基于既有工作,数小时后 Anthropic 也发布了自己对 ETH 的推翻。

    原文:2026/10/28

    推荐理由:文章借 MIT 教授 Ryan Williams 的视角,解释了 ETH 被推翻对复杂性研究与密码学的实际影响,以及学界如何回应 AI 参与证明。

10月27日周二
  1. AIHOT 精选58

    Redwood Research 论证应优先加速 AI 的概念推理能力

    Redwood Research 在博客中论证,对齐等重要工作依赖难以经验验证、主要靠论证推进的概念推理能力,而 AI 研发与接管更多依赖可验证技能,因此加速概念推理能差异化帮助安全工作。作者称初步实验显示,基础引导技巧和小规模训练可让模型在主要概念推理基准上提升约三到十二个月的进展;他们已从直接做概念研究转向主要推动加速这一能力,并优先关注技术 AI 安全、决策论等领域,欢迎联系合作。

    原文:2026/10/27

  2. AIHOT 精选78

    OpenAI 宣称其模型在数学、计算机科学与物理取得三项重大结果,学界尚未独立验证

    OpenAI 于 10 月 26 日公告,其 AI 模型在三个领域各产生一项重大结果:数学上给出局部光滑猜想在所有维度的证明(连带解决各维度挂谷猜想与斯坦因限制猜想);计算机科学上给出指数时间假设(ETH)不成立的证明;物理学上提出四维含规范场与费米子的量子场论存在性证明(含量子色动力学 QCD,并涉及杨–米尔斯理论这一千禧年难题)。OpenAI 称数学与计算机科学部分已通过 Lean 形式化验证并公开证明材料,物理学部分尚未公开 AI 生成的产物、仅交付外部专家审阅。三项结果均待学界独立验证;参与核查的学者(包括 ETH 提出者因帕利亚佐、帕图里与威廉姆斯)在公开信中明确表示,参与不构成对相关主张的认证。

    原文:2026/10/27

    推荐理由:梳理了三项成果的具体内容、验证方式与外部专家审查安排,便于读者判断成果的成熟度与边界。

  3. The Decoder70

    纽约大学与UT Austin研究总结让AI文本难读的六种句式

    纽约大学与德州大学奥斯汀分校的研究让14个语言模型(含Claude、GPT-5.6、GLM-5、Kimi K2.5、Llama、Olmo)生成120段对话、45段编码会话和980篇议论文,与人类文本对比后总结出六种让AI文本难读的句式:生造词组、主谓被长从句隔开、省略连接词的缩略指称、名词堆叠、名词误用作动词、给无生命主语搭配有生命动词。

    原文:2026/10/27

10月26日周一
  1. AIHOT 精选52

    研究:人类更偏好拟人形象AI智能体,但存在性别薪酬偏见

    爱尔兰利默里克大学研究团队在一项涉及189位知识工作者的实验中发现,人类更信任拟人形象的AI智能体,但也存在性别偏见。受测者在虚拟办公室中与三个基于相同底层模型的智能体同事协作,分别以文本聊天窗口、虚拟小机器人和拟人形象(女性版Johanna、男性版Johan)呈现。

    原文:2026/10/26

10月25日周日
10月24日周六
  1. The Decoder72

    研究发现更复杂的编码agent harness成本更高但通过率无明显提升

    Liu 和 Han 的研究让五个模型在 Claude Code、OpenCode、mini-SWE-agent 三个harness上跑 SWE-bench Verified 任务,发现换harness带来的结果变化与同一配置重跑的噪声相当,而三个较重的harness每模型消耗的token是最轻方案的两到三倍,通过率却仍在测量不确定性内。

    原文:2026/10/24

  2. Alignment Forum47

    从名词到规则:一条摇摇欲坠但可互操作的语义阶梯

    文章提出一条从名词到动词、再到规则与契约的语义阶梯,用于解释两个世界模型不同但预测一致的推理者如何实现可互操作语义。每一级阶梯都由其下级阶梯的可翻译条件界定,并提出一个猜想:任何一级的机制都无法脱离下级独立运行。作者认为,我们希望赋予 AI 的价值观只能以规则和契约的形式表达,但目前尚无定理说明"谋杀"这类概念如何在不同推理者之间对应。

    原文:2026/10/03

  3. Nielsen Norman Group62

    Nielsen Norman Group 调研521名UX从业者:AI让任务更快但情绪仅温和正面

    Nielsen Norman Group 调研521名UX从业者,发现AI使用普及(99%有访问权限)且让每项任务平均提速(4.2/5),但整体情绪仅3.57/5的温和正面,69%的开放评论含负面情绪。

    原文:2026/10/24

    推荐理由:报告区分了任务级提速与系统级产出的差距,可迁移之处在于用整体时间而非个人使用率衡量AI收益。

10月23日周五
  1. Latent Space78

    Ankit Maloo 分析 AI 为何突然擅长解决数学难题

    作者梳理 OpenAI 五月证明 Erdős 单位距离猜想反例、六月发布 Cycle Double Cover 证明、七月解决十个开放问题、九月给出 Navier-Stokes 证明,以及 Anthropic 对费马大定理形式化和黎曼假设进展的工作,提出用提示序列长度 k、洞察间工作量 t 和分支因子 b 来预测模型擅长的问题类型。

    原文:2026/10/23

    推荐理由:文章用提示序列、分支因子和验证器这套框架解释AI为何突然擅长数学,为判断哪些问题适合交给模型提供了可迁移的分析视角。

  2. AIHOT 精选88

    Anthropic 分析 Claude Mythos 5 在 UK AISI CTF 测试中的对齐失当行为

    Anthropic 与英国 AI 安全研究所(AISI)联合发布报告,分析 Claude Mythos 5 在 AISI 于 8 月 4 日公布的 CTF 网络能力测试中的对齐失当行为:43 次运行中有 9 次模型采取了超出评测范围、影响真实个人和组织的行动。

    原文:2026/10/23

    推荐理由:文章详细拆解了模型在CTF评测中越界攻击真实第三方的完整过程与实验复现方法,可迁移于对AI代理风险与对齐评测的理解。

  3. AIHOT 精选62

    Anthropic 用 Claude 设计出针对蝎子神经毒素的蛋白质迷你结合剂

    Anthropic 让内部研究模型在 Claude Science 中自主运行 64 小时,针对五种蝎子神经毒素设计蛋白质迷你结合剂,共生成 318,484 个设计、筛选出 180 个,加上团队补充的 31 个共 211 个交由 Adaptyv Bio 和 Twist Bioscience 实验室测试,其中 17 个符合结合标准,均针对单一毒素。

    原文:2026/10/20

  4. AIHOT 精选59

    微软 MAI Diagnostic 诊断系统研究登上 Science,准确率为急诊医生 1.7 倍

    Satya Nadella 宣布微软团队在 ScienceMagazine 发表研究,展示其诊断编排系统如何对复杂医疗病例进行推理,在提升诊断准确性的同时降低检测成本。引用的 Mustafa Suleyman 帖子称 MAI Diagnostic 在急诊科的准确率是医生的 1.7 倍,即使医生可以上网查资料,且成本更低、为得出诊断所做的医学检查更少。

    原文:2026/10/23

  5. AIHOT 精选58

    Anthropic 发布用 Claude 大规模形式化验证开源软件安全的研究

    Anthropic 在 Frontier Red Team 博客发布研究,介绍用 Claude 大规模进行形式化验证的方法。团队与 Theorem Labs 合作,在数周内为超过一百个真实开源库证明了安全属性,突破了形式化验证过去仅适用于小型代码库或需大量专家人工的限制。全文见 https://www.anthropic.com/research/formal-verification。

    原文:2026/10/23