Closed Form 上线：用通俗语言解释 OpenAI 模型的 372 项数学结果
Show HN: Closed Form – OpenAI's 372 math results, explained in plain English
Closed Form 是一个把 OpenAI 模型产出的数学结果用通俗语言解释的网站，覆盖 2026 年 9 月 10 日至 10 月 7 日的合集。该模型共发布 719 篇开放数学问题论文，合并相关论文后得到 372 项结果，其中 172 篇附有 Lean 形式化证明，目前已有 128 项结果被通俗解释。
The OpenAI collection · Sep 10 – Oct 7, 2026
Every problem AI has solved, explained for everyone.
An OpenAI model released 719 research papers on open problems in mathematics. Closed Form explains each one in plain words: what it proves, why it matters and how far you can trust it.
Papers
719
released by the model
Results
372
after merging related papers
Formal proofs
172
papers with a Lean proof listed
Explained
128/372
in plain words so far
Browse by field · one square per result
- Formal proof listed
- Partly formalized
- Claimed, not checked
- Explained
Number theory
31 results17 with formal proof
Algebraic and complex geometry
36 results8 with formal proof
Real and complex analysis
16 results10 with formal proof
Convex and metric geometry
15 results13 with formal proof
Theoretical computer science
40 results34 with formal proof
Dynamical systems and ergodic theory
12 results9 with formal proof
Combinatorics
37 results33 with formal proof
Algebra
18 results10 with formal proof
Probability and statistical mechanics
29 results19 with formal proof
Mathematical logic
6 results6 with formal proof
Group theory
14 results12 with formal proof
Mathematical physics
25 results17 with formal proof
Operator algebras
19 results15 with formal proof
Topology
18 results3 with formal proof
Functional analysis
11 results10 with formal proof
Differential geometry
29 results15 with formal proof
Partial differential equations
16 results11 with formal proof
-
All fields
372 results in the archive
Latest explained
-
Entry 334 · Differential geometry
A smooth surface metric with no local isometric immersion in ℝ3
Some smooth rules for measuring length cannot be built as a surface in space, even near one point.
Formal proof listed
-
Entry 322 · Functional analysis
Tingley’s sphere-isometry problem
Every distance-keeping map between unit spheres of two real Banach spaces extends to a linear map of the spaces.
Formal proof listed
-
Explained so far
128 of 372 results
Read all explained
来源：Hacker News · nishachay.github.io