Closed Form 上线：用通俗语言解释 OpenAI 模型的 372 项数学结果

OpenAI 合集 · 2026年9月10日 – 10月7日

AI 已解决的每一个问题，为所有人解释清楚。

一个 OpenAI 模型发布了 719 篇关于数学开放问题的研究论文。 Closed Form 用通俗的语言解释每一篇：它证明了什么、为什么重要，以及 你可以在多大程度上信任它。

论文

719

由该模型发布

结果

372

合并相关论文后

形式化证明

172

列出了 Lean 证明的论文

已解释

128/372

目前用通俗语言解释的

按领域浏览 · 每个方块代表一个结果

• 已列出形式化证明
• 部分形式化
• 已声称，未验证
• 已解释

• 数论

  31 个结果17 个有形式化证明

• 代数与复几何

  36 个结果8 个有形式化证明

• 实分析与复分析

  16 个结果10 个有形式化证明

• 凸几何与度量几何

  15 个结果13 个有形式化证明

• 理论计算机科学

  40 个结果34 个有形式化证明

• 动力系统与遍历理论

  12 个结果9 个有形式化证明

• 组合数学

  37 个结果33 个有形式化证明

• 代数

  18 个结果10 个有形式化证明

• 概率与统计力学

  29 个结果19 个有形式化证明

• 数理逻辑

  6 个结果6 个有形式化证明

• 群论

  14 个结果12 个有形式化证明

• 数学物理

  25 个结果17 个有形式化证明

• 算子代数

  19 个结果15 个有形式化证明

• 拓扑学

  18 个结果3 个有形式化证明

• 泛函分析

  11 个结果10 个有形式化证明

• 微分几何

  29 个结果15 个有形式化证明

• 偏微分方程

  16 个结果11 个有形式化证明

• 所有领域

  档案中共有 372 个结果

最新解释

• 条目 334 · 微分几何

  一个无法在 ℝ3 中局部等距嵌入的光滑曲面度量

  一些用于测量长度的光滑规则无法在空间中构建为曲面，哪怕只在一点附近也不行。

  已列出形式化证明

• 条目 322 · 泛函分析

  Tingley 的球面等距问题

  两个实 Banach 空间的单位球面之间每一个保持距离的映射都可延拓为这些空间的一个线性映射。

  已列出形式化证明

• 目前解释进度

  372 个结果中的 128 个

  阅读所有已解释内容