Публичный реестр математической премии Justin Sun Prize: правила, лауреаты, кандидаты и проверка доказательств.
Репозиторий ведёт открытую, проверяемую базу премии Justin Sun Prize за математические прорывы и формально верифицируемые доказательства, отобранные из банка в 1022 задачи. В нём собраны правила присуждения, подтверждённые награды, список кандидатов и данные о проверке доказательств. Любой может предложить задачу, кандидата или указать на ошибку в записи через формы issue.
Описание автора:Canonical, machine-checkable record of the Justin Sun Prize: rules, awards, candidates, and verification evidence.
