Премия Джастина Сана: как работает математическая награда с ончейн-выплатами в USDT на TRON

Премия Джастина Сана — это награда, в которой решение о выплате принимает не жюри, а программа-верификатор. Основатель TRON Джастин Сан объявил инициативу, в рамках которой призовой фонд заранее переведён ончейн, адрес кошелька опубликован, чтобы любой мог проверить баланс, а вознаграждение уходит получателю после того, как доказательство проверено машиной «от первой строки до последней». Выплаты идут через USDT TRC-20 в сети TRON или USDC в сети Ethereum, критерий приёмки — машинная формальная верификация (в описанных случаях формализация выполнялась в Lean), а самая необычная часть конструкции — именно ончейн-выплаты: по словам организаторов, средства нельзя вывести, а задачу нельзя удалить из реестра. Разберём, как это устроено технически и какие вопросы схема оставляет открытыми.

Что и когда было объявлено

Офис Джастина Сана объявил о премии 16 сентября 2026 года в Женеве, описав её как децентрализованный механизм академических наград, построенный вокруг «списка задач» с машинной формальной верификацией и максимальной наградой до 1 млн долларов за задачу. Список задач, стандарты подтверждения и материалы по верификации опубликованы на GitHub, записи о выплатах фиксируются ончейн, а получатель сам выбирает сеть: USDT в TRON (TRC-20) или USDC в Ethereum (ERC-20).

Первый список включает 66 классических математических задач — под лозунгом «66 задач. Один предел». Среди записей реестра — формальная верификация гипотезы Пуанкаре, гипотезы Римана, гипотезы Гольдбаха и целая серия задач Пола Эрдёша. По данным NewsBTC, высшая награда в 1 млн долларов досталась исследовательской команде OpenAI за задачу о существовании и гладкости решений трёхмерных уравнений Навье — Стокса, а формализацию в Lean выполнила GPT-6 Astra. Материалы премии размещены на странице проекта. Надпись на медали гласит «Quod probatur, solvitur» — «Что доказано, то оплачено».

Сам Сан скромно описывает свою роль: «Я не математик. Я всего лишь наблюдатель и благотворитель. Остальное я оставляю доказательствам». По опубликованным сообщениям, его полномочия ограничены составлением списка задач и установлением размеров наград — после добавления задачи в реестр её нельзя удалить, а средства нельзя вернуть.

Механика: доказывающий, формализатор и статус «ожидает формализации»

Премия принципиально отличается от классических научных наград: здесь нет возрастных ограничений, номинаций и ежегодных церемоний. Вместо этого предусмотрены две роли получателей вознаграждения.

Роль	Что делает	Кто может её занять
доказывающий (prover)	находит доказательство	человек, ИИ или их сочетание
формализатор (formalizer)	переводит доказательство в машинно проверяемый формат	человек, ИИ или их сочетание

Обе роли может исполнять один участник или разные люди и системы. Никаких барьеров по гражданству или институциональной принадлежности не заявлено, разница между людьми и ИИ не проводится.

Отдельно прописан промежуточный сценарий: если доказательство принято сообществом, но ещё не формализовано, задача получает статус «доказано, ожидает формализации», а средства остаются заблокированными. Иными словами, одного публичного признания для выплаты недостаточно — её запускает только машинная верификация.

Почему машинная верификация, а не экспертная оценка

Роль «арбитра» в этой схеме отдана формальному верификатору не из-за моды, а из-за свойств инструмента. Lean 4 — это открытый доказатель и язык программирования, на котором строились и проверялись масштабные доказательства; его обширная математическая библиотека удобна как для рассуждений о математике, так и для анализа DeFi-контрактов со сложными вычислениями. По сообщениям, именно в Lean было формализовано награждённое доказательство.

Вторая причина — резкий рост числа доказательств, найденных с помощью ИИ. Когда автор решения — модель, гарантией корректности становится машинно проверенная формализация, а не связный текст на естественном языке. Масштаб проблемы иллюстрирует статистика по задачам Эрдёша: по данным DeepMind, из 200 кандидатов в решения, помеченных как верные или неверные, лишь 6,5% оказались «по существу верными». Для премии с автоматическими выплатами это ключевой аргумент: без машинно проверенного доказательства без sorry любая рецензия превращается в бесконечный экспертный спор — и в спор о том, кому платить.

Обратная сторона — достижимость критериев. В тех же тестах коммерческий Lean-агент не смог формализовать две статьи после десятков часов работы, тогда как специализированная обвязка покрыла все семь целевых теорем без единого sorry. Иными словами, планка формализации высока, и некоторые задачи могут долго оставаться в статусе «ожидает формализации».

Ончейн-выплаты в USDT TRC-20: как это работает

С технической точки зрения выплата приза в USDT на TRON — это не «просто перевод», а вызов смарт-контракта токена. USDT в сети TRON выпускается по стандарту TRC-20, что обеспечивает совместимость с протоколами и dApp на TRON; адрес контракта — TR7NHqjeKQxGTCi8q8ZY4pL8otSzgjLj6t. Все токены TRC используют не менее 6 знаков после запятой (TRX, USDT и USDC — 6, USDD — 18), что важно при сверке сумм в обозревателе.

Несколько практических параметров сети, определяющих устройство любой призовой схемы:

• Время блока — около 3 секунд, консенсус поддерживают 27 суперпредставителей. Выплата фиксируется почти сразу после отправки транзакции.
• Energy обязательна. Каждый активированный аккаунт получает 600 бесплатных единиц Bandwidth в сутки, но бесплатной Energy для вызовов контрактов нет — для перевода USDT нужна Energy либо сжигание TRX.
• fee_limit. Текущая цена одной единицы Energy — 100 sun (0,0001 TRX), при 1 TRX = 10⁶ sun; максимальное значение fee_limit в мейннете — 15 000 TRX.
• Новые адреса. Активация нового аккаунта стоит фиксированные 1 TRX сверх обычной стоимости Bandwidth, а при нехватке Bandwidth дополнительно сжигается 0,1 TRX.

Здесь стоит отделить маркетинг от технологии: на рекламных страницах TRON говорится о переводах USDT «без комиссий», имея в виду отсутствие процентной платы за перевод, тогда как техническая документация описывает модель ресурсов — вызовы контрактов потребляют Energy и Bandwidth. Формально это не ошибка документации, а два уровня описания одного и того же процесса. Для получателя приза это сводится к простому правилу: полезно держать немного TRX на адресе, куда придёт USDT (или иметь доступ к механизму оплаты ресурсов) — иначе переместить средства не получится.

Публичный кошелёк вместо обещаний

Главная содержательная часть «ончейн»-подхода — не скорость, а проверяемость. Призовой фонд заранее переведён ончейн, адрес опубликован, и любой может проверить баланс. Это превращает заявление о фонде из пресс-релиза в наблюдаемый факт, а заявленную необратимость выплат и невозможность удалить задачу из реестра — в ограничение на собственные полномочия основателя.

Это не первая ончейн-награда за доказательства

Идея платить за теоремы прямо из блокчейна существовала и раньше. В проекте Proofgold пользователи размещают награды за гипотезы: на начало 2025 года было размещено более 13 000 наград, из которых почти 3000 были востребованы — либо за доказательство гипотезы, либо за её опровержение. Тот же проект использует схему commit-and-reveal для защиты авторства, из-за чего публикация документа ончейн занимает около суток, а блоки приходят примерно раз в час.

Сравнение показательно: TRON с блоками примерно в 3 секунды фиксирует выплату почти мгновенно, но вопрос защиты авторства до раскрытия доказательства решается не свойствами сети, а правилами премии и публикацией материалов на GitHub.

Риски и что стоит проверить пользователям

Любой громкий «приз в USDT» — очевидная приманка для мошенников, и это не гипотеза, а стандартный сценарий. В документации TRON специально рекомендуется проверять адрес контракта токена в TRONSCAN и предупреждается о токенах-подражателях с похожими названиями вроде TRX2 или USDT-V2, которые почти всегда оказываются мошенничеством. Непрошеные эйрдропы на адрес обычно служат приманкой, а сайты, предлагающие «проверить ваш кошелёк» подписью, нередко запрашивают approve на неограниченные траты TRC-20.

Что стоит проверить по существу:

1. Первоисточник объявления — официальные каналы Джастина Сана и TRON DAO, а не пересказы из вторых рук.
2. Адрес фонда и транзакции выплат в TRONSCAN, включая соответствие суммы объявленной.
3. Адрес контракта USDT TRC-20 — токен с «правильным» тикером, но другим контрактом не имеет отношения к Tether.
4. Формулировку задачи и критерии приёмки в репозитории: какой доказатель и какая библиотека считаются допустимыми, запрет sorry и процедура установления авторства.
5. Кто выступает арбитром в спорных случаях и в какой юрисдикции находится фонд.

Вывод

Премия Джастина Сана интересна не размером фонда, а изменением процедуры: вместо комитета, который читает текст и голосует, — верификатор, проверяющий формализацию, и блокчейн, исполняющий выплату. Роли доказывающего и формализатора признают реальность, в которой доказательство может найти ИИ, а заявленная необратимость реестра ограничивает самого основателя. При этом схема наследует все сопутствующие ограничения: высокую планку формализации, зависимость от качества постановки задач и уязвимость громкого бренда для фишинга. Проверяемость здесь работает в обе стороны — а факты стоит подтверждать через обозреватель и первоисточники, а не по заголовкам.

Материал носит исключительно информационный характер и не является инвестиционной рекомендацией.