Difference between revisions
mathematics
Source +0 −0
… 20 unchanged lines
Revision 1 as rendered
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 (10 problems)
- The Langlands program (4 problems)
- Algebraic geometry (5 problems)
- Geometry and topology (9 problems)
- Combinatorics (6 problems)
- Analysis and PDE (4 problems)
- Logic and foundations (3 problems)
- Algebra and groups (4 problems)
- Dynamical systems (2 problems)