The AIM atlas
AIM problem atlas
Browse open applied problems from the AIM GitHub repository, including partial results and later resolutions. Search by title, area or subject group; each card opens a record with its target, applications, references and status review.
Any listed problem can be the subject of an explanation, including those already covered by other authors. A paper may focus on the problem’s mathematics or on an application.
Explain a problem for the library →
New open problems in applied mathematics can be proposed for the collection. Suggest a problem in the AIM GitHub repository, following its contribution guidelines.
AIM currently records 665 targets across 17 groups. The current catalogue contains open and partially resolved targets; the status filter also supports later claimed, solved, Lean verified, needs-verification and withdrawn records.
Loading the catalogue…