Science
Mathematics
372 results from 719 papers across 17 fields.
Collections
OpenAI Math 2026 OpenAI · Mathematics · 372 results · 719 papersFields · 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