Explorer
Search and filter every result family published in the openai/math repository. Narrow the catalogue by mathematical discipline, by verification label ("Verified by Lean" or "To be verified") or by the presence of a reasoning trace, then open a family to read its explainer, manuscripts and Lean sources.
/
372 results
Number theory
31Algebraic and complex geometry
36Real and complex analysis
16Convex and metric geometry
15Theoretical computer science
40Dynamical systems and ergodic theory
12Combinatorics
37Algebra
18Probability and statistical mechanics
29Mathematical logic
6Group theory
14Mathematical physics
25Operator algebras
19Topology
18Functional analysis
11Differential geometry
29Partial differential equations
16Verified by Lean · Partly verified by Lean · To be verified