对 OpenAI 证明 Deligne–Drinfeld 猜想的几何解读
A remark on the AI proof of the Deligne--Drinfeld conjecture
OpenAI 的数学证明有了后续：研究者把其中隐式的重建步骤用双覆盖和填补穿孔显式化，适合关心形式化证明和 Grothendieck–Teichmüller 理论的人。
这篇 arXiv 论文（编号 2611.01745）针对 OpenAI 用特征二方法证明 Deligne–Drinfeld 猜想的思路给出几何解释。作者通过双覆盖和填补穿孔，在规范化的 level-two associators 上构造态射，并在其像上给出显式逆映射。论文还在 pro-2 实现中计算了受限切重建，把 OpenAI 证明中隐式的重建步骤显式化为 leading coefficient 映射。
A remark on the AI proof of the Deligne--Drinfeld conjecture
We give a geometric interpretation of the projection and reconstruction underlying the Open AI's characteristic-two proof of the Deligne--Drinfeld conjecture. Using the double covering and filling a puncture, we construct a morphism on normalized level-two associators with an explicit inverse on its image. We compute the restricted tangent reconstruction in the pro-2 realization and identify the leading coefficient maps with those of the OpenAI proof, making its implicit reconstruction explicit.
