Если решить сложную математическую задачу, то…
От JustinSun можно получить премию 🤨？
В этом месяце основатель TRON г-н Justin Sun
«Justin Sun Prize» объявлено.
Секретная фраза: «Доказано — затем оплачено».
Докажи — и получи вознаграждение.
Но почему мы находимся в мире криптоактивов
Не поэтому ли г-н Justin Sun создал математическую премию?
Давайте разберёмся вместе с механизмом👇
1. Почему это математическая премия?
Г-н Justin Sun
«Источником моего богатства является математика»
— и объясняете это.
Криптографические технологии, обеспечивающие безопасность блокчейна, возникли благодаря многолетним исследованиям математиков.
Именно поэтому он считает, что хочет вернуть математики богатство, созданное благодаря этому.
Кроме того, сейчас наступает эпоха, когда и ИИ может участвовать в доказательствах математики. Как верифицировать открытия и как оценивать вклад людей и ИИ — это также одна из ключевых тем этой награды.
2. Чем отличаются 1 022 задачи и «первые 66»?
На официальном GitHub опубликованы 1 022 математические задачи. Для первых 66 задач также подготовлены подробные записи о доказательствах и авторах вкладов.
На что здесь стоит обратить внимание: все 1 022 задачи — не обязательно те, которые «никто еще не решал».
Даже если задача уже математически доказана, могут быть такие случаи, когда соответствующее доказательство еще не формализовано в Lean. То есть в этой награде есть возможность не только для тех, кто находит новые решения, но и для тех, кто может оформить существующие доказательства так, чтобы их можно было проверять машиной.
3. Кто получает вознаграждение?
У каждой задачи есть две роли.
✏️ Prover: человек, который завершает математическое доказательство
💻 Formalizer: человек, который формализует доказательства в Lean
В принципе призовые распределяются: 70% Prover и 30% Formalizer. Если один и тот же человек или команда выполняют обе роли, предусмотрено получение всей суммы.
То, что вознаграждение было дано не только за открытие доказательств, но и за работу по оформлению длинных доказательств так, чтобы их можно было проверять по одному — это действительно уникально 👀
4. Как проходит путь до награды
Здесь важно «then» в формулировке «Proved, then paid».
Подача обоснований, включая доказательства, через PR на GitHub
↓
Проверка математического содержания и формализации с помощью Lean
↓
Создать issue для заявки на награду и подтвердить личность и содержание вклада
↓
Выставляют как кандидатов на 14 дней и принимают возражения
↓
Официально подтверждают победителей, объявляют и производят выплаты после проверки в письменном виде
Помимо возможности проверить это на машине, также проверяют «действительно ли доказана исходная задача» и «чья это заслуга». Участвовать можно и с результатами, полученными с помощью ИИ, но нельзя просто подать запрос на приз, имея только название ИИ или адрес кошелька.
5. Как это связано с TRON?
Предусмотрено, что призовые будут выплачиваться в виде TRC-20 USDT в сети TRON или ERC-20 USDC в сети Ethereum. Использование блокчейна для выплат призов — это тоже «фирменная» черта Сана.
Однако эта награда — инициатива, финансируемая лично господином Саном. Я думаю, что считать, будто только создание награды само по себе резко увеличит спрос на TRX, было бы преждевременно.
Меня особенно интересует, какие именно доказательства и формализации будут признаны на практике и как будет постепенно накапливаться выплата призов победителям.
Вызов — отблагодарить математиков за вклад, создать новую систему оценки для эпохи ИИ и оставить имя самого Джастина Сана. Интересно, во что со временем вырастет «Justin Sun Prize» — будем следить 🔥
Официальный сайт: https://hejustinsun.com/prize
Список задач: https://github.com/TheJustinSunPrize/awards
#TRONGlobalFriends #TGF #TRON
@Justin Sun孙宇晨 @TRON DAO
