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.
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