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