2026 年 10 月 2–9 日 · 几何分析与 AI 数学科研
本期从 Hessian 方程和曲率流扩展至共形几何，并加入 AI 科研动态。下列工作为本期精选，非全量文献扫描；来源日期与收录日期分开记录。数学新稿按作者报告介绍，不表示本站已经独立复核全部证明。
本周数学进展
1. Hessian 商方程的紧性证明
Jianxiang Liu（10 月 6 日）为两类凸解内部 Hessian 估计给出新的紧性证明。重点是修正 Legendre 变换、强极小值原理与面积公式的结合；这是已有估计的新证明。梯度依赖情形仍有倒数凹性限制。
2. 斜导数边值问题的全局估计
Zhibo Hu、Feida Jiang（10 月 8 日）研究 γ > 1 的一类增广 Hessian 方程，在所列结构条件下获得全局估计与可解性。台账另记录 γ = 1 端点作为待核验的延伸方向，而不将其直接认定为全新的开放问题。
3. 弱平均曲率流的尖锐消失时间估计
Beomjun Choi、Wenkui Du、Seung Chul Park、Junseo Youn（10 月 7 日）的新稿建立给定初始面积下的尖锐消失时间上界和球的等号刚性。原文提出定量稳定性及环境空间推广，台账分别跟踪。
4. Robin 边界下的曲率集中
Tianhong Pu、Xiaoqian Xin、Lixia Yuan、Xiaoyu Zhang（10 月 6 日）描述正、偶平面图形在受迫曲率流中的长期退化。归一化斜率和速度有极限，而水平曲率测度集中到对称轴；不能直接外推为高维流的结论。
5. 球面 Q 曲率型方程的全维数刚性
Changfeng Gui、Yeyao Hu、Tuoxin Li、Juncheng Wei、Zhantong Xie、Zikai Ye（10 月 8 日）报告 N ≥ 3 时的一类刚性结果。核心是谱隙与归一化密度的点态估计；参数 α ≥ 1/2 且 α ≠ 1 的限制不可省略。
AI 公司与数学科研
OpenAI：文稿、证明材料和版本化验证
OpenAI 于 10 月 6 日发布数学研究材料仓库。阅读时需逐项区分文稿声明、形式化覆盖、修订和独立核查，不能将文稿总数视为已经确认解决的问题数量。
其中包含 log-Brunn–Minkowski 的一般情形证明声明。本次仅核对目录与验证说明，台账将它标记为“待核验”，保留与此前部分结果的对照。
Anthropic：Haiku 5.5 与研究任务分工
10 月 7 日发布的 Haiku 5.5 主要面向高频、成本敏感任务。它可能适合文献分类、摘要与元数据整理，但这属于待实测的工作流建议；通用评测不能替代数学证明能力的验证。
本次补建的背景条目
以下不是本周首次发布，加入它们是为了建立方法和证据基线：
- 三维稳定 Allen–Cahn 新稿：9 月的相关预印本，精确区别稳定解和单调解的维数。
- 自由边界 Allen–Cahn / Bernoulli：与光滑势模型比较稳定性、曲率估计和边界项。
- Anthropic 的费马大定理形式化报告：9 月发布，关注依赖图、Lean 工程与最终声明核查。
- 多 agent 的证据与协调问题：8 月报告，作为研究系统设计的方法背景。
- Hessian 商中结构条件的替换：编辑延伸，尚未确认其新颖性。
核查日期：2026-10-09。 台账保存最新状态，本页保留本期快照；后续纠正将在相应条目的更新记录中注明。