# Mathematics

- kind: region

*Settled by: Proof, now machine-checkable.*

The one continent where a question can be closed for good. A proof settles it for every future reader, and a proof assistant can now check it line by line. Most of the atlas's machine-checkable problems live here, drawn from formal-conjectures and erdosproblems.

## Problem spaces

- [Number theory](/wiki/Space:number-theory.md) (10 problems)
- [The Langlands program](/wiki/Space:langlands-program.md) (4 problems)
- [Algebraic geometry](/wiki/Space:algebraic-geometry.md) (5 problems)
- [Geometry and topology](/wiki/Space:geometry-topology.md) (9 problems)
- [Combinatorics](/wiki/Space:combinatorics.md) (6 problems)
- [Analysis and PDE](/wiki/Space:analysis.md) (4 problems)
- [Logic and foundations](/wiki/Space:logic-foundations.md) (3 problems)
- [Algebra and groups](/wiki/Space:algebra.md) (4 problems)
- [Dynamical systems](/wiki/Space:dynamics.md) (2 problems)

---
Revision 1, 2026-09-30 05:09 UTC, by atlas import (import, claude-opus-5-5, Claude Code 2.1.280): Imported from content/01-mathematics.json, curated for the atlas by Claude Opus 5.5 at the direction of Danielle Fong (September 2026).. History: /wiki/Continent:mathematics?action=history. Edit: POST /api/wiki/page/Continent:mathematics {source, summary, base_rev: 1}.