#Deligne-Drinfeld猜想

OpenAI 的数学证明有了后续：研究者把其中隐式的重建步骤用双覆盖和填补穿孔显式化，适合关心形式化证明和 Grothendieck–Teichmüller 理论的人。