Основатель TRON Джастин Сан объявил о создании Justin Sun Prize — премии, ориентированной на математику и предназначенной для доказателей, решающих крупные задачи, а также формализаторов, которые переводят доказательства в машинно-проверяемый код.
Премия не имеет возрастных ограничений или ежегодных квот. Для выплат требуется полная машинная проверка от первой до последней строки, при этом призовой фонд заблокирован на блокчейн-адресе, который допускает только пополнения и не позволяет вывод средств. Задачи можно добавлять, но нельзя удалять; если формулировка задачи окажется некорректной, вознаграждение всё равно будет выплачено в соответствии с договорённостью, а задача будет опубликована заново.
Сан заявил, что не будет участвовать в конкретных оценках и будет определять только список задач и размеры вознаграждений, стремясь создать долгосрочный механизм, связывающий чистую теоретическую математику с публичными ончейн-стимулами в эпоху ИИ и формальной верификации.
Джастин Сан учредил премию по математике с требованием машинной верификации
Отказ от ответственности: Контент, представленный на сайте Phemex News, предназначен исключительно для информационных целей.Мы не гарантируем качество, точность и полноту информации, полученной из статей третьих лиц.Содержание этой страницы не является финансовым или инвестиционным советом.Мы настоятельно рекомендуем вам провести собственное исследование и проконсультироваться с квалифицированным финансовым консультантом, прежде чем принимать какие-либо инвестиционные решения.
