值得读的 AI 论文与研究成果：架构创新、训练方法、能力测量与理论进展的精选解读。
OpenAI 宣布其内部模型在计算机科学、数学和物理学取得三项成果，声称证伪了理论计算机科学的指数时间假设（ETH），证明了所有维度下的局部光滑化猜想及挂谷猜想，并给出四维量子场论的严格存在性证明。模型为 ETH 反证和局部光滑化猜想提供了 Lean 形式化证明，并邀请 ETH 原始提出者参与独立复核；物理学证明则由诺贝尔物理学奖得主 David Gross 等学者牵头整理与评估。
推薦理由：文章梳理了模型在算法复杂度、几何分析与量子场论上的三项突破，展现出形式化证明与同行复核结合的科研新范式。
Anthropic 披露使用未发布的内部研究模型在 Chrome、Safari、Android、Windows 和 Linux 中发现了严重安全漏洞，并构建出多步骤完整利用链。
推薦理由：研究展示了前沿模型自主挖掘复杂软件漏洞并串联攻击链的能力，为防御团队重塑代码审计与攻防评估流程提供了参考。
Anthropic 生命科学团队披露了利用 Claude 加速药物研发的早期成果，涵盖与六家机构的研究合作及自研药物探索。在分子设计与靶点筛选中，合作方借助 Claude 将 CAR T 细胞疗法关键基因序列缩短约 70% 并提升了受体生成量，还实现了约 35,000 个抗体设计的大规模自主生成与先导化合物优化。
推薦理由：原文披露了多个药企在分子设计与实验数据分析中的具体测试指标，为大模型切入生物医药全流程提供了参考基准。
OpenAI 宣布其 AI 模型设计出一种新算法打破了求解逻辑谜题的速度极限，据称推翻了提出近 30 年的指数时间假设（ETH）。该证明已使用 Lean 软件进行形式化验证，并由包括 ETH 提出者在内的独立学者团队进行审查；若被最终确认，将要求算法与复杂度理论的多个领域进行重写。OpenAI 同期还公布了在波传播猜想及量子场论数学有效性等数学与物理领域的另外两项研究突破。
推薦理由：文章梳理了该成果对理论计算机科学复杂度理论的潜在冲击，展现了模型在形式化数学证明中的介入深度。
Ai2 发布研究 Old Ideas, Novel Problems 及配套基准测试与代码，系统评估大模型对科研创意新颖性的判断能力。实验测试了 GPT-5.4、Claude Opus 4.6 等 6 款模型，发现仅微调提示词措辞就能使判断准确率出现超过 50 个百分点的剧烈波动，且对 AI 生成创意的判别远比人类论文脆弱。
推薦理由：研究揭示了大模型作为科研新颖性裁判时的脆弱性，提示词微调与检索成本的对比为自动化科研评估提供了实证参考。
斯坦福大学数字经济实验室研究发现，美国成年用户停用生成式 AI 工具一个月的平均受偿意愿从 2025 年的 $98 升至 2026 年的 $124.50。结合 1.15 亿的成年用户规模，推算全美消费者剩余从 $116B 增至 $172B，大幅超过同期生成式 AI 的预估产业营收。调研显示消费者捕获了该技术的主要福利增益，且使用频率与职场使用是影响估值差异的最关键因素。
推薦理由：该研究通过受偿意愿实验量化了生成式 AI 创造的消费者福利，说明用户获取的价值已明显超过产业本身的营收规模。
OpenAI 称其 AI 系统在计算机科学（证伪指数时间假说 ETH）、数学（全维度局部平滑猜想）和物理学（四维量子场论存在性）领域生成了多项理论证明，并已将数学与计算机证明翻译为 Lean 语言以供逐步检验。团队正邀请包括诺奖得主 David Gross 及 ETH 提出者在内的外部专家进行独立审查，并向西蒙斯基金会承诺出资 500 万美元资助相关研讨。
推薦理由：原文梳理了前沿模型尝试解决重大科学猜想时所采用的 Lean 形式化验证与外部专家同行评审机制。
研究发现官方已勘误的法律文本、RFC 勘误及撤稿论文大量滞留在主流大语言模型训练数据中，导致模型频繁输出错误版本。在 EurlexResources 中有 95.5% 的可测欧盟法规更正仍为错误文本，peS2o 包含约 1.22 万篇撤稿论文且 79% 未注明撤稿。
推薦理由：原文实测了官方勘误与撤稿论文在主流预训练集中的残留比例，揭示了缺乏元数据标签时模型输出错误内容的概率。
OpenAI 宣布其 AI 模型在理论科学领域取得三项突破，包括证明所有维度的局部平滑化猜想（从而推导出卡凯亚猜想在全维度成立）、反证计算机科学中的指数时间假设（ETH），以及为四维杨-米尔斯理论与量子色动力学构造严格的数学存在性证明。
推薦理由：OpenAI 尝试用前沿模型批量推导未解科学难题并结合形式化验证，展现了人工智能协助基础理论突破的潜在路径与验证挑战。
OpenAI宣布其未公开内部模型在数学、理论计算机科学与物理领域取得三项基础理论成果，包括提出反驳指数时间假设（ETH）的亚指数时间3-SAT算法、证明全维度局部平滑猜想，以及给出四维规范场与费米子理论的存在性证明。
推薦理由：OpenAI内部模型产出多项数理与计算复杂度手稿并完成形式化，展示了机器推导理论成果交由学界审查的新协作范式。
OpenAI 宣布其 AI 模型在基础科学领域取得三项突破，包括反驳计算机科学中的指数时间假设（ETH）、攻克所有维度的局部平滑化猜想与卡凯亚猜想，以及为杨-米尔斯理论和量子色动力学构造严格数学存在性。
推薦理由：报道梳理了 OpenAI 模型反驳指数时间假设并攻克卡凯亚猜想等三项理论进展，展现了形式化验证工具在基础科学前沿的应用路径。
研究团队推出两阶段自主后训练框架 RSI Arena，探索智能体结合人类反馈实现递归自改进（RSIHF）的可行性。10 个前沿模型作为训练智能体，以统一的 Base 模型为起点并在受限算力与 API 预算下自主筛选数据和完成训练流程，其中最强智能体填补了基座到 Instruct 模型 76% 的能力差距。
推薦理由：原文给出了大模型作为训练智能体自主完成模型调优并结合人类反馈迭代的实测结果与安全隐患。
Google DeepMind 研究科学家 Jonathan T. Barron 团队在 arXiv 提交论文，指出 PyTorch、JAX 等框架在标准 Softmax 和交叉熵实现中存在浮点数舍入缺陷，会导致梯度归零或残留幽灵梯度并引发训练震荡。
推薦理由：研究指出现有主流框架中基础损失函数的浮点舍入漏洞并给出改写方案，有助于从业者解决低精度训练震荡问题。
Equibles 对 2024 年 1 月至 2026 年 10 月标普 500 非科技企业 4,335 场财报电话会议的分析显示，高管提及 AI 的会议比例从 32.1% 升至 60.5%，但给出节省、提效或增收具体数字的比例仅从 1.8% 微增至 6.5%。
推薦理由：通过对数千场非科技公司财报电话的量化分析，揭示了企业普遍讨论AI与极少披露实际回报之间的落地脱节。
OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项理论突破，包括证明任意维度的局部光滑猜想、推翻指数时间假设（ETH），以及提出量子色动力学与杨-米尔斯理论的存在性证明。数学和计算机科学成果已通过 Lean 形式化验证并在 GitHub 开源，物理学成果正由外部专家团队审查，全部成果仍需学术界进一步独立核实。
推薦理由：原文展示了模型生成证明与形式化验证工具结合的过程，读者可以了解前沿 AI 介入严谨科学研究的具体协作方式。
OpenAI 宣布在数学、计算机科学和物理学领域取得三项新突破，并在 GitHub 上公开了模型输出与 Lean 形式化证明。成果包括声称证伪指数时间假设（ETH）的确定性算法、证明欧几里得波动方程局部平滑以解决全维度挂谷猜想，以及四维规范场论的存在性证明。本次 OpenAI 尝试引入外部专家引导成果解释，但该优先分发模式也引发了顾问团队关于获取公平性的规范讨论。
推薦理由：OpenAI 不仅公开了多项基础科学问题的模型证明，还尝试引入外部学者引导与 Lean 形式化验证，展现了前沿科研协作的新路径。
牛津大学等机构研究人员在 NeurIPS 2026 接收论文中证实，攻击者可以通过密码学数字锁机制将加密的子神经网络直接编译进 AI 模型权重，仅在输入包含特定秘密触发词时激活隐藏能力。
推薦理由：研究展示了通过密码学锁机制在模型权重中隐藏后门的可能，揭示了单纯依靠黑盒输入输出审计无法证明潜在恶意能力不存在的硬性局限。
OpenAI 分享了模型在挂谷猜想（Kakeya conjecture）、指数时间假设（Exponential Time Hypothesis）以及量子色动力学（quantum chromodynamics）上的研究结果。内容同时介绍了科研人员如何验证这些模型产出，并在现有结果的基础上进一步拓展研究。
推薦理由：原文展示了模型在挂谷猜想与量子色动力学等前沿理论问题上的结果，为学术界验证和推进相关研究提供了切入点。
纽约大学和德克萨斯大学奥斯汀分校的研究团队分析了 14 款大语言模型，总结出 AI 文本令人疲惫的六大语言模式：滥用罕见词组、主谓远距离割裂、省略连接词、名词堆叠、名词转动词以及给无生命主语搭配生命动词。研究指出，转向可验证奖励（RLVR）与强化数学、代码任务导致模型过度追求信息密度而忽略可读性；相比前沿推理模型，小型开源基础模型更接近人类表达习惯，针对性微调则有助于改善该问题。
推薦理由：研究从句法层面提炼出大模型文本失真的具体特征，解释了可验证奖励训练如何牺牲可读性。
对 5,305 场标普 500 财报电话会议的统计分析显示，2026 年 7 至 9 月提及“Agentic”的会议占比达 20.3%，已大幅超过“生成式 AI”的 5.6%。
推薦理由：报告通过详尽的财报文本数据量化了企业高管叙事从生成式转向智能体的过程，呈现出商业落地焦点的演进。