Джастин Сан запустил Justin Sun Prize — математическую премию с ончейн-выплатами за доказательства и их формализацию для машинной проверки.

Проект уже объявил первые 66 задач. Вознаграждение можно получить после полной автоматической проверки доказательства, а средства заранее заблокированы в блокчейне.