Mathematics

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)