Subjects
OpenAI’s catalog sorts its 372 results into 17 subjects. Each subject page lists its results with OpenAI’s summaries and where each claim stands.
- Number theory31 of 31 explained17 with a Lean proof by OpenAI
- Algebraic and complex geometry36 of 36 explained8 with a Lean proof by OpenAI
- Real and complex analysis16 of 16 explained10 with a Lean proof by OpenAI
- Convex and metric geometry15 of 15 explained13 with a Lean proof by OpenAI
- Theoretical computer science40 of 40 explained34 with a Lean proof by OpenAI
- Dynamical systems and ergodic theory12 of 12 explained9 with a Lean proof by OpenAI
- Combinatorics37 of 37 explained33 with a Lean proof by OpenAI
- Algebra18 of 18 explained10 with a Lean proof by OpenAI
- Probability and statistical mechanics29 of 29 explained19 with a Lean proof by OpenAI
- Mathematical logic6 of 6 explained6 with a Lean proof by OpenAI
- Group theory14 of 14 explained12 with a Lean proof by OpenAI
- Mathematical physics25 of 25 explained17 with a Lean proof by OpenAI
- Operator algebras19 of 19 explained15 with a Lean proof by OpenAI
- Topology18 of 18 explained3 with a Lean proof by OpenAI
- Functional analysis11 of 11 explained10 with a Lean proof by OpenAI
- Differential geometry29 of 29 explained15 with a Lean proof by OpenAI
- Partial differential equations16 of 16 explained11 with a Lean proof by OpenAI