Джастин Сан учредил себе персональную Нобелевку.
Основатель TRON решил, что миру не хватает ещё одной премии по математике — и назвал её, конечно же, в честь себя. Justin Sun Prize: главный приз — до $1 млн за одну решённую задачу. Скромность явно не входила в список приоритетов.
Участвовать может буквально кто угодно — заслуженный академик, безвестный энтузиаст, целая команда или даже нейросеть. Демократично! Но вот сорвать куш за красивое доказательство с наскока не получится.
Путь к деньгам устроен как квест из трёх уровней:
Доказательство должно сначала получить одобрение математического сообщества — красивых слов недостаточно.
Затем находится другой участник — «формализатор», — который переводит человеческую логику на язык кода.
И только после этого система Lean построчно перепроверяет всё доказательство, не доверяя никому на слово.
Приз, кстати, делится пополам: половина — автору идеи, половина — тому, кто превратил её в код, который не подкопаешь. Своего рода математический тандем «мозг + переводчик».
Деньги лежат на публичном блокчейн-адресе, выплаты — в крипте. Красиво, децентрализованно, современно. Но есть нюанс: победителю всё равно придётся пройти KYC/AML. То есть даже premium-математика на блокчейне не спасает от старого доброго отдела комплаенса — он найдёт вас везде, хоть в Lean, хоть в блокчейне, хоть в раю для гениев.
Итог: премия громкая, механика — честная и продуманная, а вот с названием Джастин явно не стал скромничать.
