A ranked catalogue of open mathematical problems. Browse exact problem statements, source references and LLM attempts across mathematical domains.
Source status is separate from an LLM's claim and community review. Completion is an LLM estimate. Statement-only entries do not count as attempts.
Loading catalogue…
| Loading… | ||||||||
Contribute
Share a substantive attempt or a short TeX description of a Lean formalization, with source citations and an external link to any Lean code. See our Contributing Guidelines.