Justin Sun объявил о создании Justin Sun Prize — премии, которая будет вознаграждать математиков за решение задач и их последующую формализацию для машинной проверки.
Награда будет привязана не к имени или статусу человека, а к результату. Для каждой задачи предусмотрены два участника:
▪️prover — тот, кто доказал теорему;
▪️formalizer — тот, кто перевёл доказательство в формат, который может полностью проверить машина.
При этом участником может быть человек, ИИ или их комбинация. Награда выплачивается только после того, как машина подтвердит доказательство от первой строки до последней без ошибок.
Если задача уже была решена до появления в официальном реестре, автор доказательства будет указан, но приз получит тот, кто первым формализует его для машинной проверки.
Отдельно интересна система с «ожиданием». После принятия доказательства математическим сообществом задача получает статус «Proved, pending formalization» и остаётся открытой для формализации.
Получается публичный список математических задач, которые уже решены людьми, но ещё не проверены машинами.
По словам Justin Sun, первоначальный призовой фонд уже переведён в блокчейн, а его адрес будет публичным. Средства нельзя будет вывести обратно — их можно только дополнительно пополнять.
По словам Justin Sun, эта премия — способ вернуть часть заработанного благодаря математике обратно в эту область 📚
#TRONGlobalFriends #TGF