722 research manuscripts, sorted by subject
An index of the openai/math collection: 372 result families across 17 areas of mathematics, 162 with Lean-formalized main results.
- Manuscripts
- 722
- Families
- 372
- Lean-formalized
- 162
- Dated
- Sep 10–Oct 6, 2026
Browse by subject
Number theory
L-functions, elliptic curves, Diophantine problems, Galois theory
Algebraic and complex geometry
Birational geometry, Hodge theory, moduli, enumerative invariants
Real and complex analysis
Harmonic analysis, approximation, special functions, several complex variables
Convex and metric geometry
Convex bodies, isoperimetry, packings, metric embeddings
Theoretical computer science
Complexity, algorithms, hardness of approximation, information theory
Dynamical systems and ergodic theory
Ergodic theory, smooth dynamics, entropy, rigidity
Combinatorics
Extremal and additive combinatorics, Ramsey theory, graphs, matroids
Algebra
Commutative algebra, representation theory, rings and modules
Probability and statistical mechanics
Random structures, spin glasses, percolation, random matrices
Mathematical logic
Set theory, model theory, computability
Group theory
Geometric group theory, Artin groups, finite and profinite groups
Mathematical physics
Quantum spin systems, kinetic theory, integrable systems
Operator algebras
von Neumann algebras, C*-algebras, free probability
Topology
Low-dimensional topology, manifolds, homotopy theory
Functional analysis
Banach spaces, operator theory, spectral theory
Differential geometry
Curvature, Kähler geometry, minimal surfaces, symplectic geometry
Partial differential equations
Fluids, elliptic and dispersive equations, regularity