Основатель Tron объявил о создании Justin Sun Prize и сравнил её с Нобелевской премией. Награды будут присуждаться за решение математических задач, причём каждое решение состоит из двух частей: доказательства и его формализации в формат, поддающийся машинной проверке.
Выполнять обе роли может один человек, разные люди или ИИ. Сан прямо написал, что его волнует только результат, а не то, кто его создал.
Схема работает на блокчейне: задачи и вознаграждения вносятся в реестр и не могут быть отозваны.
Деньги разблокируются только после успешной проверки и делятся между автором доказательства и его формализатором. Возрастных ограничений и ежегодных церемоний не будет.