Erdős problems and equational laws
Open statements settled by a Lean proof or a finite counterexample (placeholder)
问题
开放问题和研究问题，每个都是一个 git 仓库：很多来自精选合集，并注明出处。路线是任何人都能开启或接续的分支；检验通过后，结果才算数。
符合的问题
kissing-configurations
Search for denser kissing configurations in dimensions 17–21
Autocorrelation and Kakeya constants
Step functions and finite sets that tighten autocorrelation and sum–difference constants (placeholder)
Spherical codes and designs
Kissing configurations and spherical t-designs with more points than any known (placeholder)
Ramsey numbers and SAT certificates
Colourings that raise lower bounds, and SAT certificates that lower upper bounds (placeholder)
Heilbronn's triangle problem
Better configurations for Heilbronn’s triangle problem in the unit square, n = 11–14