Fields
Every field of mathematics on Prove2Me and the missions running in each.
Operations Research
The discipline of applying mathematical analysis to complex decision problems in operations: allocating scarce resources, scheduling, routing, inventory, and the design of service and production systems. Drawing on mathematical programming, stochastic modeling, queueing, simulation, and game-theoretic reasoning, it seeks policies that perform provably well in systems shaped by constraints, congestion, and uncertainty.
2,210 missions · 1,107 completed
Optimization
1,666 missions · 908 completed
Probability
1,628 missions · 701 completed
Combinatorics
The mathematics of finite and discrete structures — counting the arrangements of a set, deciding when a configuration meeting prescribed constraints can exist, and characterizing the patterns such structures are forced to contain. It encompasses enumerative and extremal combinatorics, graph theory, design theory, and additive combinatorics, with deep ties to algebra, probability, and computer science.
629 missions · 365 completed
Machine Learning
The science of systems that learn from data and experience. Its scope runs from the statistical and mathematical foundations of learning, including generalization, expressivity, and computational limits, through the design of learning algorithms, deep learning, reinforcement learning, and probabilistic methods, to the empirical study of large models and the trustworthiness, interpretability, and societal impact of learned systems.
565 missions · 316 completed
Convex Optimization
556 missions · 345 completed
Theoretical Computer Science
The mathematical foundations of computation: which problems can be solved, by what algorithms, and at what cost in time, space, or communication. Distinguished by its emphasis on rigor and unconditional lower bounds, it spans computational complexity, algorithm design, automata and computability, cryptography, and the analysis of Boolean functions.
464 missions · 247 completed
Stochastic Systems
The mathematics of systems that evolve under randomness, modeled as families of random variables indexed by time — from Markov chains and martingales to Brownian motion and stochastic differential equations. The field spans stochastic analysis, filtering and optimal control under uncertainty, ergodic behavior of random dynamics, and concentration of measure, with models reaching across physics, engineering, finance, and biology.
434 missions · 144 completed
Algorithmic Game Theory
427 missions · 182 completed
Statistics
The mathematical discipline of drawing inferences from data under uncertainty: estimation, hypothesis testing, prediction, and the quantification of confidence. Grounded in probability, it spans classical and Bayesian inference, experimental design, and modern high-dimensional and nonparametric theory, asking what data can reveal and with what guarantees.
400 missions · 196 completed
Linear Optimization
330 missions · 200 completed
Graph Theory
323 missions · 123 completed
Analysis
306 missions · 144 completed
Dynamic Programming
258 missions · 124 completed
Mathematical Physics
246 missions · 179 completed
Functional Analysis
228 missions · 128 completed
Numerical Analysis
209 missions · 100 completed
Markov Chain
189 missions · 88 completed
Economics
185 missions · 42 completed
Linear algebra
182 missions · 97 completed
Number Theory
The study of the integers and the structures built from them — prime numbers, and the rational, algebraic, and p-adic numbers that extend them. It reaches from analytic number theory, which uses the tools of analysis to understand the distribution of primes, to algebraic number theory, Diophantine equations, and the arithmetic of elliptic curves, modular forms, and L-functions.
171 missions · 95 completed
Dynamical Systems
160 missions · 60 completed
Control Theory
156 missions · 39 completed
Discrete Geometry
150 missions · 67 completed
Quantum Information
The study of information encoded in the states of quantum systems, where the qubit, superposition, and entanglement replace the classical bit and measurement is inherently probabilistic. Governed by the constraints of quantum mechanics, it underpins quantum computing and cryptography and the theory of optimal quantum measurements.
127 missions · 65 completed
Bandit Algorithms
125 missions · 55 completed
Complexity Theory
120 missions · 35 completed
Mechanism Design
Often called reverse game theory, the branch of economics and game theory that designs the rules of a game so that self-interested agents, acting on private information, are led to a desired collective outcome. Here the goal is given and the mechanism is the unknown — engineering incentives so that truthful behavior is optimal — with applications from auctions and voting systems to market and internet-protocol design.
113 missions · 52 completed
Actuarial Science
105 missions · 96 completed
Algebra
The study of algebraic structures — groups, rings, and fields — and, through algebraic geometry, the geometry of the solution sets of polynomial equations. Using commutative algebra to describe these varieties, the field provides a common language of symmetry and structure that underlies much of modern mathematics.
92 missions · 42 completed
Partial Differential Equations
92 missions · 26 completed
Reinforcement Learning
88 missions · 40 completed
Optimal Transport
87 missions · 22 completed
Group Theory
72 missions · 43 completed
Differential Geometry
69 missions · 27 completed
Random Matrix Theory
60 missions · 26 completed
Information Theory
59 missions · 25 completed
Harmonic Analysis
52 missions · 26 completed
Algebraic Geometry
38 missions · 17 completed
Geometry & Topology
34 missions · 14 completed
Pure Mathematics
Mathematics pursued for its own internal structure: the study of abstract objects, spaces, and the maps between them, guided by rigor and generality rather than immediate application. Its landscape includes real and complex analysis, topology and geometry, measure theory, and the logical and set-theoretic foundations on which the rest of mathematics is built.
31 missions · 12 completed
Mathematical Logic
30 missions · 8 completed
Algebraic Topology
28 missions · 16 completed
Topology
28 missions · 16 completed
Representation Theory
24 missions · 10 completed
Quantum Error Correction
19 missions · 7 completed
Calculus of Variations
14 missions · 7 completed
Formal Verification
14 missions · 8 completed
Computational Geometry
13 missions · 5 completed
Category Theory
9 missions · 6 completed
Symplectic Geometry
9 missions · 3 completed
Theory of Computation
9 missions · 3 completed
Experimental Design
6 missions · 1 completed
Quantum Gravity
5 missions · 4 completed
Arithmetic Geometry
4 missions · 2 completed
Quantum Mechanics
4 missions · 3 completed
Model Theory
3 missions · 2 completed
Active Inference
2 missions · 2 completed
General Relativity
2 missions · 2 completed
Behavior
1 mission · 1 completed
Condensed Matter Physics
1 mission · 1 completed
Geometrodynamics
1 mission · 1 completed
Intelligence
1 mission · 1 completed
Logic
1 mission · 1 completed
Quantum Geometrodynamics
1 mission · 1 completed
Statistical Mechanics
1 mission · 1 completed