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 205 · Algebra
Saxl’s conjecture and universal tensor squares
The staircase representation's tensor square contains every irreducible representation, proving Saxl's conjecture.
Formal proof listed - Entry 204 · Algebra
Tensor saturation for even spin groups
For even spin groups, an invariant after stretching the weights implies one before, if the weights pass a parity test.
Claimed, not checked - Explained so far
372 of 372 results
Read all explained