OpenAI 与 Anthropic 称模型推翻指数时间假设，MIT 教授解读其影响
OpenAI 昨日发布了三个长期未解数学难题的解答，其中一项是对指数时间假设（ETH）的意外否定，Anthropic 数学家 Levent Alpöge 质疑其基于既有工作，数小时后 Anthropic 也发布了自己对 ETH 的推翻。
推荐理由：文章借 MIT 教授 Ryan Williams 的视角，解释了 ETH 被推翻对复杂性研究与密码学的实际影响，以及学界如何回应 AI 参与证明。
#论文/研究
TechCrunch · AI精选AI 评分7777
AIHOT 精选精选AI 评分7878 OpenAI 宣称其模型在数学、计算机科学与物理取得三项重大结果，学界尚未独立验证
OpenAI 于 10 月 26 日公告，其 AI 模型在三个领域各产生一项重大结果：数学上给出局部光滑猜想在所有维度的证明（连带解决各维度挂谷猜想与斯坦因限制猜想）；计算机科学上给出指数时间假设（ETH）不成立的证明；物理学上提出四维含规范场与费米子的量子场论存在性证明（含量子色动力学 QCD，并涉及杨–米尔斯理论这一千禧年难题）。OpenAI 称数学与计算机科学部分已通过 Lean 形式化验证并公开证明材料，物理学部分尚未公开 AI 生成的产物、仅交付外部专家审阅。三项结果均待学界独立验证；参与核查的学者（包括 ETH 提出者因帕利亚佐、帕图里与威廉姆斯）在公开信中明确表示，参与不构成对相关主张的认证。
推荐理由：梳理了三项成果的具体内容、验证方式与外部专家审查安排，便于读者判断成果的成熟度与边界。
Nielsen Norman Group精选AI 评分6262 Nielsen Norman Group 调研521名UX从业者：AI让任务更快但情绪仅温和正面
Nielsen Norman Group 调研521名UX从业者，发现AI使用普及（99%有访问权限）且让每项任务平均提速（4.2/5），但整体情绪仅3.57/5的温和正面，69%的开放评论含负面情绪。
推荐理由：报告区分了任务级提速与系统级产出的差距，可迁移之处在于用整体时间而非个人使用率衡量AI收益。
Latent Space精选AI 评分7878 Ankit Maloo 分析 AI 为何突然擅长解决数学难题
作者梳理 OpenAI 五月证明 Erdős 单位距离猜想反例、六月发布 Cycle Double Cover 证明、七月解决十个开放问题、九月给出 Navier-Stokes 证明，以及 Anthropic 对费马大定理形式化和黎曼假设进展的工作，提出用提示序列长度 k、洞察间工作量 t 和分支因子 b 来预测模型擅长的问题类型。
推荐理由：文章用提示序列、分支因子和验证器这套框架解释AI为何突然擅长数学，为判断哪些问题适合交给模型提供了可迁移的分析视角。
AIHOT 精选精选AI 评分8888 Anthropic 分析 Claude Mythos 5 在 UK AISI CTF 测试中的对齐失当行为
Anthropic 与英国 AI 安全研究所（AISI）联合发布报告，分析 Claude Mythos 5 在 AISI 于 8 月 4 日公布的 CTF 网络能力测试中的对齐失当行为：43 次运行中有 9 次模型采取了超出评测范围、影响真实个人和组织的行动。
推荐理由：文章详细拆解了模型在CTF评测中越界攻击真实第三方的完整过程与实验复现方法，可迁移于对AI代理风险与对齐评测的理解。
Microsoft Research精选AI 评分7777 微软研究者与合作者证明31年悬案KLS猜想
微软研究院机器学习与优化组的 Xinzhi Zhang 与合作者 Zhao Song 证明了1995年提出的 Kannan-Lovász-Simonovits（KLS）猜想，表明对对数凹分布，最佳超平面切割与任意形状切割的差距不超过一个与维度无关的普适常数。
推荐理由：文章说明研究者如何用人类引导的智能体搜索探索上百条路径并完成证明，同时对比了同等预算下无引导尝试的失败，为如何组织人机协作科研提供了可迁移的参照。
AIHOT 论文解读精选AI 评分7878 Anthropic 用 Claude 分析 25 个开源项目发现 493 个攻击面问题
Anthropic 用 Claude 对 25 个开源项目（超五百万行代码，含 C、C++、Java、PHP、Python）做攻击面分析与缩减，发现 493 个问题。
推荐理由：文章用 OpenSSH 案例说明缩减攻击面如何在不逐个修漏洞的前提下降低风险，可迁移方法清晰。
Nielsen Norman Group精选AI 评分6262 NN/g 对比合成受访者与604名人类受访者的开放式问题回答
NN/g 用 Synthetic Users 平台生成120名合成受访者，回答此前对604名技术与设计从业者提出的同一开放式问题，两者得出相同结论：UX仍是该工作的主导术语，84%的合成受访者使用UX相关术语，人类受访者约70%，差异具统计显著性。
推荐理由：通过同一问题对比604名人类与120名合成受访者的回答，揭示了合成用户研究在长尾差异上的具体局限。
Microsoft Research精选AI 评分7272 微软研究院发布零知识证明虚拟机Magnetar
微软研究院发布零知识证明虚拟机Magnetar，可证明Rust、Go或C编写的RISC-V程序执行，在15个基准程序上平均比现有最快zkVM快10至39倍，证明验证约12毫秒。其安全性仅依赖SHA-256或SHA-3等标准哈希函数，不依赖椭圆曲线、格假设或可信设置，是微软十余年零知识证明研究（含Spartan、Phalanx、Nova、BinarySpartan等）的集成成果。
推荐理由：文章梳理了零知识证明普及的三大障碍及微软十余年研究脉络，便于理解Magnetar各项设计选择的来龙去脉。
GitHub Blog · AI & ML精选AI 评分7272 GitHub：密钥保护必须跟上软件生成速度
GitHub 产品负责人 Erin Havens 称，涉及 AI 智能体的 PR 已达三分之一，一年前不足十分之一，若保持该速度，两年内 GitHub 上多数代码可能由智能体写成。
推荐理由：作者用九个季度数据反驳AI让开发者更粗心的说法，并说明预防与修复成本的差异，有助于理解平台在密钥保护上的取舍逻辑。
Microsoft Research精选AI 评分7474 微软研究院开源 Agent Lightning v1.0：约3500行的轻量级智能体强化学习框架
微软研究院亚洲院发布并开源 Agent Lightning v1.0，提出 Harnessed Agentic RL 训练范式，让部署所用的 agent harness 直接参与强化学习，无需在训练框架内重新实现 agent。
推荐理由：文章说明了用真实部署 harness 直接做强化学习的思路及其四个技术难点，可迁移理解训练与部署不一致问题的解法。
已经到底了