Каждая задача будет иметь двух потенциальных получателей:
- prover — автор математического доказательства;
- formalizer — человек, который переводит доказательство в формат, который может быть проверен машиной.
Эти роли может выполнять один человек или разные участники, а сам Сан отметил, что не имеет значения, будет ли результат создан человеком, ИИ или их комбинацией.
Вознаграждение будет выплачиваться после того, как машина проверит доказательство от первой до последней строки без ошибок. Если математическое сообщество уже приняло доказательство, но его еще не формализовали, оно получает статус «доказано, ожидает формализации», а средства остаются заблокированными.
Сан подчеркнул, что его полномочия будут ограничиваться формированием перечня задач и определением вознаграждений. После добавления задачи в реестр ее нельзя будет удалить, а внесенные средства — забрать.
«Я не математик. Я лишь наблюдатель и благотворитель. Остальное оставляю доказательствам», — заявил Сан.
Он также отметил, что первоначальный призовой фонд уже переведен в блокчейн, его адрес обнародован, а баланс может проверить кто угодно.
Сан объяснил создание премии тем, что его состояние в значительной степени возникло благодаря математическим принципам, которые лежат в основе криптографии и блокчейна. По его мнению, развитие ИИ открывает новую эру для математики, поскольку машины могут ускорить поиск и формализацию математических доказательств.
Ранее Сан стал премьер-министром самопровозглашенной Либерландии, которая декларирует приверженность блокчейн-технологиям. В 2025 году он также принял участие в космической миссии Blue Origin NS-34, заплатив за полет $28 млн.