2026 年 10 月 9–16 日 · 几何分析与 AI 数学科研
本期新增 9 条台账：7 条数学、2 条 AI。既有条目中，状态标签变化为 0 项；有版本、证据和适用范围的补充。新的数学条目中，6 条记为预印本进展，1 条因具体依赖问题记为待核验。本文是精选核查，不是全量论文清单，也不是对所列证明的全面认证。
检索从 10 月 8 日 重叠开始，以补足上期扫描交界处的材料。下列日期区分提交、修订与本次收录；原文采用 UTC 的时间在需要时换算为北京时间。研究台账仍需输入访问密码后查看，周报快照保持公开。
优先精读（Priority reading）
1. Hessian 商：从凸解走向 k-凸解的内估计
Zhisu Li、Ke Wu 于 10 月 13 日提交新稿，处理常数右端的 Hessian 商方程，要求指标差为 1 或 2、解处于相应 Gårding 锥。Theorem 1.1 的 Hessian 界先依赖 C¹ 范数，再结合较大球上的梯度估计转为高度控制。证明将定量分离传播、doubling 和紧性连接起来，值得与 Legendre 变换路线并读。
范围提醒：常数右端结果不能直接关闭台账中含梯度右端、替换倒数凹性假设的问题。
2. 两点最大值法：方法值得读，MA 常数依赖要单独核查
Jui-Yun Hung、Jiakun Liu、Neil Trudinger 的 10 月 11 日新稿用两点法重证内估计，只微分方程一次。σ₂ 部分的 Theorem 1.2 处理所有 n≥2 的 Γ₂ 容许解。Monge–Ampère 部分则需要特别核对定量凸性和截面归一化。
编辑核查，而非作者结论：正文 (2.11) 把凸性模量的常数依赖列为维数、行列式上下界与区域。固定单位球，考虑
[ u_A(x)=\frac12\left(Ax_1^2+A^{-1/(n-1)}\sum_{i=2}^n x_i^2\right),\qquad A>1. ]
它严格凸且 det D²u_A=1，但在固定点对 0、e₂/2 上，其支撑平面差为 A^{-1/(n−1)}/8，趋于 0。因此，(2.11) 所列常数不能仅由这些固定量控制；应核对是否遗漏对 u 的控制或额外归一化。这个测试只指出该处依赖需要澄清，不构成对 σ₂ 定理或整篇主结果的完整反证。
本条暂记“待核验”；可先学习 σ₂ 两点函数的构造，不把 MA 部分宣传为不受定量凸性限制的最强内估计。
3. Gauss 曲率收缩子：不预设凸性，先恢复整体凸性
Jiahao Wang 的 10 月 10 日新稿研究闭、连通、可定向的光滑浸入超曲面，维数 m≥2，满足 K=⟨X,ν⟩。Theorem 1.1 声明它实际上嵌入为单位球。路线是从正曲率分支转到极浸入，借助有限面积及面积测度的一阶矩，排除非紧极体的情形。
这与曲率估计、极体和 Minkowski 方法联系直接。它是定态分类，尚不能直接推出任意非凸初值的流存在性或归一化收敛。
4. Grassmann–Radon 平均：找到共同的负半定超平面
Leo Brauner、Oscar Ortega-Moreno、Franz E. Schuster 于 10 月 13 日提交新稿。其 Theorem 2 处理一类平均混合体积双线性形式；关键是各方向对应的形式在同一个超平面上负半定，从而得到 AF 型不等式。Theorem 1 随后推出均值截面体各阶内在体积沿 Minkowski 插值的对数凹性。
对熟悉面积测度、投影函数和曲率积分的读者，这提供了具体的工具联系。静态不等式尚不自动成为某条几何流的单调量。
相邻方向（Adjacent developments）
5. 锥体积映射：一般类的非唯一不反驳对称类猜想
Tom Baumbach、Zhang Chen、Martin Henk 的 10 月 15 日新稿研究固定外法向后的支撑数解集。不可约法向下，几乎处处数据的纤维有限；平面中则有至少两解的构造。
需注意两点：Corollary 1.4 中的“smooth”按正文说明指每个边界点有唯一外法向，不能升级为正曲率 C∞ 结论；一般非对称类的非唯一，也不构成原点对称 log-Brunn–Minkowski 的反例。
6. (n−1)-Monge–Ampère：全空间次解的存在判据
| Jingwen Ji、Feida Jiang、Mengni Li 的 10 月 11 日新稿研究 det^(1/n)(Δu I−D²u)=f(u)+g(u) | Du | ^q。Theorems 1.1–1.2 在分列的符号、单调性假设下给出 Keller–Osserman 型判据，并区分临界指数 q=2−1/n 和奇异梯度情形。 |
这里是全空间正、非平凡的次解问题；不能将它替换为有界域的经典斜导数边值估计，也不能据此关闭 γ=1 端点条目。
7. 一般位置 MCF：把初值扰动的控制带过先前奇点
J. M. Daniels-Holgate、Or Hershkovits、Gábor Székelyhidi 的新稿提交于 10 月 8 日 22:13 UTC，即北京时间 10 月 9 日。主定理以一重球/柱奇点为前提，通过任意小 C² 初值扰动得到非退化奇点，并推出三维空间中一般位置紧曲面，以及高维一般位置平均凸超曲面的有限奇点结论。
值得读的是跨越先前奇点后的反向唯一性机制，而非把结论扩大为所有高维初值的分类。
原文 v1，Theorem 1、Corollary 2 · 台账
延伸阅读，未另增台账：Xin Nie 的 平坦边界片上 Monge–Ampère 斜率阈值（10 月 8 日）区分斜率发散阈值与无解阈值，并为尖锐性增加区域几何条件；De Silva、Savin、Shahgholian 的 多相障碍问题三岔点（10 月 13 日）给出二维分类与局部正则性，两种切锥分支需要分别处理。前者核到 Theorems A–B，后者核到 Theorems 1.1–1.2，均未审完全文。
AI 与科研工具（AI and research tools）
Simons、Anthropic、OpenAI：把社区评议作为独立工作
10 月 15 日，Simons Foundation 公布三方合计 1500 万美元资金与资源的合作，支持评估 AI 辅助结果、学习工具及形成共同体标准。OpenAI 同日更新称其中承诺投入 500 万美元。资助与工具可用性不是对每份文稿正确性的认证；具体参与条件仍需看正式征集。
Simons 官方公告 · OpenAI 同日更新 · 台账
Google DeepMind：Argon 的接入与研究级能力分开评测
Google 于 10 月 13 日宣布 Gemini 4 Argon 面向开发者、企业和相应订阅用户开放，并同步模型卡。API、Antigravity 与 Gemini 的接入对研究工具链有实际意义；厂商的编码或科学案例不能直接换算为数学证明正确率。本期没有独立运行模型或 Lean 基准。
另外两项验证相关动态
- Anthropic，10 月 15 日：独立评估合作公告涉及 METR 等机构对模型风险的评估；这与逐条检查数学证明是不同任务。本期据此补充了多 agent 证据条目。Haiku 5.5 的发布日期仍是 10 月 7 日，不计作本周新发布。
- Microsoft Research，10 月 15 日：Magnetar讨论为程序执行生成可核验的密码学证明。它证明的是计算执行符合指定程序，数学命题、程序规格与计算模型之间的对应仍要另外核对；不把它写成研究数学自动证明系统。本期只读官方说明，未运行工具，未另增台账。
既有问题状态复查（Status review）
| 条目 | 本次结果 | 状态 |
|---|---|---|
| 含梯度右端的 Hessian 商 | 新 Li–Wu 定理右端为常数，未处理原来的结构条件替换问题 | 待核验，编辑延伸 |
| γ=1 斜导数端点 | 补记 Hu–Jiang 10 月 9 日 v2；Remark 1.3 仍区分端点；全空间次解不替代边值理论 | 待核验，编辑延伸 |
| MCF 定量稳定性 | 复查 Remark 6.5(3)，未找到可确认关闭该精确问题的新结果 | 原文待解 |
| Cartan–Hadamard／高余维推广 | Remark 6.4 的二维预期公式与 6.5(2) 的一般问题应区分 | 原文待解 |
| log-Brunn–Minkowski | 已读取固定版本的解析主声明、Lean main 与基本定义、Comparator 配置；尚未独立重放 | 待核验，证据补充 |
| 稳定 Allen–Cahn／自由边界版本 | 复核摘要、版本及已有出版元数据；未确认新撤稿或新的分类范围 | 预印本／已发表结果，分别保留 |
| 球面 Q 曲率刚性 | 保留 N≥3、α≥1/2 且 α≠1；不省略参数限制 | 预印本进展 |
log-BM：证据补充的具体含义
本次核到的 Lean 声明为 OAI.LogBrunnMinkowski.main：对象定义为紧、凸、内非空的原点对称凸体，参数 0≤t≤1，结论使用由支撑函数几何平均定义的 Wulff 组合。Comparator 配置列出目标及允许公理。本次只完成了声明与基本定义的文本核对，没有运行 Lean 构建、Comparator 或完整依赖审计。 也没有把“本次读到形式化材料”写成“本周才新增形式化”。
仓库旧修订补核
OpenAI history.md 记录 10 月 7 日的三篇撤回与十四篇修订，相关内容于 10 月 8 日 UTC 入库。此次补核到符号错误及依赖论文的撤回说明，不是本周新发生三次撤稿，也不能把其他领域的撤稿外推为 log-BM 的证明已被推翻。
核查范围与待续项（Review depth and limitations）
本期对优先条目读到主定理、解类别和指定证明环节；没有逐篇审完全文，没有独立构建上述 Lean 工程，也没有把官方产品或风险评估公告当成数学能力认证。推荐阅读顺序是编辑判断。
部分旧材料获取受限：2610.08442 的正文未取得；2610.08270 本次只取得检索返回的 v1 书目／摘要；JAMS 自由边界论文的期刊全文未取得。 前两条保留此前的核查日，未宣称完成新一轮正文复查；这些材料自 10 月 8 日起的版本核对任务保留在台账待续项中，后续不能因本次日期推进而跳过。
核查日期：2026-10-16。 本页为本期快照，后续结论与纠正写入相应条目的日期历史，旧周报不随台账状态自动改写。