rbc.ru
Криптомиллиардер и основатель блокчейна Tron Джастин Сан объявил о создании Justin Sun Prize, которую сравнивает с Нобелевской премией. Награды будут присуждаться за решение математических задач и формализацию доказательств для машинной проверки.
Сан отметил, что Нобелевской премии по математике не существует, а существующие премии — Филдсовская премия и премия Абеля — «присуждаются в соответствии с канонами ушедшей эпохи». По его словам, математика вступает в совершенно новую эру, где множество задач выполняет искусственный интеллект.
Поэтому премия Сана будет присуждаться за решение, состоящее из двух частей: доказательства и формализации (перевод доказательства в формат, поддающийся машинной проверке). Эти роли может выполнять как один и тот же человек, так и разные люди или ИИ.
«Человек, искусственный интеллект или их гибрид — меня волнует только результат, а не то, кто его создал — человек или машина», — написал Сан.
Схема устроена так: Сан добавляет задачу в реестр и назначает за нее награду. Как только награда указана в реестре, она закреплена: задачи можно только добавлять, но нельзя удалять; средства можно только выплачивать, но не отзывать, говорится в сообщении.
После того как математическое сообщество признает решение, имя автора фиксируется в реестре, но деньги остаются заблокированными до тех пор, пока кто-то не переведет доказательство в машинный формат. После успешной проверки награду получают автор доказательства и его формализатор.
Возрастных ограничений и ежегодных церемоний не будет. Начальный призовой фонд уже находится на публичном блокчейн-адресе, а все выплаты будут доступны для проверки в сети.
По словам Сана, к 36 годам с помощью математики он сколотил капитал, который превышает его потребности, и он хочет «вернуть» его обратно.
В августе Telegram раздавал призы победителям Международной олимпиады по информатике (IOI) в Ташкенте. По словам основателя мессендежа Павла Дурова, общий призовой фонд в виде «цифровых подарков» составлял около $117 тыс. Позже Дуров сообщил, что один из победителей выручил за приз около $20 тыс. в криптовалюте Gram (ранее Toncoin).