Если решишь сложную математическую задачу, награду дадут прямо на месте.
Неужели такая система действительно появилась? 😳
16 сентября Джастин Сун объявил о создании «Justin Sun Prize (Премия Сун Учэня)».
Это совершенно новая премия, где за математические доказательственные задачи предусмотрено вознаграждение.
Слоган: «Доказал — затем получил выплату».
---
Чем эта премия отличается от традиционных математических наград?
Традиционные математические премии, такие как Премия Филдса и задачи из Миллениумской премии, проходят через процесс рекомендаций научного сообщества, экспертизы и церемонии вручения.
Часто на путь от доказательства до получения награды уходят годы, и молодым или малоизвестным исследователям было трудно «пробиться».
Justin Sun Prize совсем не похож на это.
Подача доказательства → создание Issue на GitHub → открытый период 14 дней → машинная проверка → если верно, то сразу выплата.
Без возрастных ограничений, без рекомендаций, без ограничений по гражданству. Можно участвовать и будучи человеком, и будучи ИИ, и даже в формате совместной работы человека и ИИ.
Две роли — «Prover» и «Formalizer»
Вот это — лично мне кажется самой интересной частью 😊
В мире математики есть «люди, которые придумывают доказательства», а
«Тот, кто переписывает это доказательство в формате, который может прочитать компьютер (Lean)»
выполнялась отдельной работой, а та была рутинной и её сложно было оценить.
Justin Sun Prize явно оценивает это распределением вознаграждения 70:30.
Доказчик — 70%, ответственный за формализацию — 30%.
То, что раньше было почти бесплатной работой по формализации, впервые получило экономическую ценность.
Связь с TRON
Фонд призов управляется в виде публичного адреса в блокчейн-сети TRON, и любой может проверить баланс в блокчейн-эксплорере.
Чтобы реализовать концепцию «Proved, then paid.», используется прозрачность on-chain, которую нельзя подделать.
Можно также рассматривать смарт-контракты как работающих в роли «надежных рецензентов».
На данный момент на GitHub размещено примерно 1 022 задачи, а в рамках первого этапа опубликовано 66.
Тем, кто силён в математике, умеет писать на Lean или может уверенно пользоваться ИИ — возможно, порог входа для участия на самом деле шире, чем вы ожидали.
Математика × блокчейн × ИИ — отличное сочетание, правда? 🔥
Если вам интересно — обязательно попробуйте 😉
@JustinSunPrize @justinsuntron @sunyuchentron @TronDao_JPN #TRX