I
Альфред Нобель изобрел динамит, который принес ему большую часть его состояния.
Легенда гласит, что в 1888 году французская газета по ошибке опубликовала его некролог под заголовком: «Торговец смертью мертв». Прочитав собственный некролог, Нобель спустя несколько лет составил завещание.
Сегодня никто не называет его торговцем смертью.
«Нобель» стал нейтральным термином, подобно «вольту» или «ватту», — лишенным эмоциональной окраски, просто единицей измерения. Он оставил свое состояние тем, кто «оказал наибольшую пользу человечеству». Его богатство вернулось к людям, а имя обрело нейтральность — не благодаря самооправданию, а через столетний список лауреатов.
Я делюсь этой историей, потому что понимаю его. Я знаю, откуда берется богатство и куда оно может быть направлено.
II
Мое состояние было построено на математике.
Вся индустрия блокчейна опирается на несколько хорошо изученных криптографических строительных блоков и математических допущений: сложность решения задачи дискретного логарифмирования на эллиптических кривых, необратимость хеш-функций и вычислительная сложность факторизации больших чисел. В 1985 году два математика независимо друг от друга придумали идею использования эллиптических кривых в криптографии — один в университете, другой в IBM, совершенно не зная о работе коллеги. Тогда никто не видел в этом практической пользы. То, что они набросали на досках, позже превратилось в рынок стоимостью в триллионы долларов, даровав людям нечто беспрецедентное: истинный финансовый суверенитет без необходимости получать разрешения. Однако эти два математика так и не заработали ни цента на революции, которую они сделали возможной.
Эта свобода — один из самых недооцененных подарков математики человечеству. Я взял от этого дара очень много. Учреждение этой премии — прежде всего мой способ вернуть должное той самой основе.
III
Нобелевской премии по математике не существует. Это упущение длится уже более века — возможно, из-за личных причин, а может быть, это просто недосмотр.
Позже появились Филдсовская премия, вручаемая раз в четыре года математикам моложе сорока лет, и премия Абеля, присуждаемая ежегодно за достижения всей жизни. Обе они исключительны, но их ритм принадлежит ушедшей эпохе.
Однако в математическом сообществе существовала своя традиция. Пол Эрдёш всю жизнь назначал награды за нерешенные математические задачи, предлагая суммы от $25 до $10 000. Любой, кто решал задачу, получал от него чек. Многие вешали эти чеки на стену, так и не обналичив их при жизни. Эрдёш скончался в 1996 году, и с тех пор такие награды стали редкостью.
Математика входит в совершенно новую эру. Искусственный интеллект не может проводить физические эксперименты, но он преуспевает в логических рассуждениях. Ему может быть трудно построить коллайдер для физиков, но он способен исследовать десять тысяч путей для математика. Сегодня время между выдвижением гипотезы и ее доказательством может составлять месяцы или даже дни. На фоне такой беспрецедентной скорости премия, вручаемая раз в четыре года, подобна медленному колокольному звону в мире, который меняется изо дня в день.
IV
Именно поэтому дизайн Премии Джастина Суня (Justin Sun Prize) чрезвычайно прост.
Премия вознаграждает решение, а не личность. Никаких ежегодных гала-концертов, никаких бюрократических номинаций, никаких возрастных ограничений.
Каждая задача признает двух различных участников: доказателя и формализатора — того, кто переводит доказательство в формат, проверяемый машиной. Эти роли могут исполняться одним человеком или двумя незнакомцами, находящимися на разных концах света. Человек, ИИ или гибрид обоих — меня интересует только результат, а не то, является ли участник человеком или машиной. Одно и то же имя может появляться снова и снова в любой категории, где оно заслужено.
Выплата имеет единственный триггер: машина должна проверить доказательство от первой строки до последней без единой ошибки. Как только проверка пройдена, те, кто указан в двух колонках, становятся владельцами приза за эту задачу.
Я не изобретал этот стандарт — Питер Шольце опубликовал свою знаковую теорему в интернете, призвав сообщество формализовать ее для машинной проверки; Великая теорема Ферма прямо сейчас переводится в код, строка за строкой.
Но человеческие достижения признаются задолго до того, как машина завершит свою работу. Как только математическое сообщество принимает доказательство, имя доказателя официально признается. Средства остаются заблокированными, а статус обновляется до: «Доказано, ожидает формализации».
Награда за решение применяется только к задачам, решенным после их добавления в официальный реестр. Если задача уже была решена к моменту включения в реестр, имя доказателя все равно фиксируется, но приз полностью переходит тому, кто формализует ее для машины. Эта премия документирует историю по мере ее развития; она не выплачивает ретроактивных призов за уже выполненную работу.
Границы четко определены: заслуга принадлежит математическому сообществу, приз — машине, а спонсор сохраняет строгую независимость от обоих. Человеческое суждение зарезервировано только для одного: подтверждения того, что задача, закодированная в машине, действительно является правильной задачей.
Моя власть начинается и заканчивается на одном: списке. Какие вызовы добавляются и какие награды они несут — это исключительно мое прерогатива. Эрдёш сам писал суммы на своих чеках, и я не вижу причин отступать от этой традиции. Но как только награда внесена в список, она зафиксирована: задачи можно только добавлять, никогда удалять; средства можно только выплачивать, никогда отзывать обратно спонсором.
Никто, включая меня, не может вмешаться в этот процесс. Если условие задачи сформулировано неверно, награда все равно выплачивается, а исправленная версия будет повторно внесена в список.
Мое личное внимание полностью сосредоточено на этой единственной задаче. Помимо оценки размера наград, я не имею права голоса в проверке, выплате или присвоении имен.
Результаты говорят сами за себя.
V
Самым привлекательным аспектом этих правил является «ожидание».
После того как задача решена и принята математическим сообществом, премия не присуждается немедленно. Сначала появляется имя доказателя, колонка формализации остается пустой, а статус гласит: «Доказано, ожидает формализации». Как только кто-то формализует это доказательство и машина подтвердит его, его имя вносится в пустую колонку, и именно в этот момент начинается процесс установления прав на приз.
В других наградах ожидание — это мертвое время, бюрократический процесс, неизбежное зло. Здесь само ожидание представляет собой открытый список задач, которые нужно выполнить.
Многие вешали чеки Эрдёша на стены и никогда не обналичивали их. Непогашенный чек — это памятник прошлому, тогда как приз, заблокированный в блокчейне, — катализатор будущего. Эта пустая ячейка фактически объявляет миру: историческая задача ждет своего решения, и за нее положена награда.
Из этого списка задач вырастает нечто гораздо большее: публичная карта, отображающая все, что человечество приняло, но машины еще не проверили. Такой карты сегодня не существует. Она существует лишь фрагментарно, разбросанная по разным платформам — никогда не объединенная и уж точно не имеющая ценников.
Тем, кто занимается формализацией, никогда не хватало страсти; им не хватало чертежа с четко обозначенными наградами. Приз получает тот, кто выполнит задачу. С этого дня страсть к загрузке длинных доказательств в машины остается их делом, но финансовая поддержка — моя ответственность.
VI
Я также хочу рассказать о руководящей философии. Именно здесь премия принципиально отличается от Нобелевской.
Нобель был изобретателем. Всю жизнь он верил, что вещь должна быть полезной — что она должна укорениться в реальности, быть построенной, проданной и изменить образ жизни людей. Это была его руководящая философия, и она запечатлена в премиях, носящих его имя: физика, химия, медицина, литература, мир. Каждая из них вознаграждает работу, имеющую ощутимое влияние на реальный мир. Более века Нобелевская премия чествует тех, кто строит на твердой земле.
Моя руководящая философия иная, и я не вижу причин скрывать ее происхождение. Я читал эссе Дарио Амодеи Machines of Loving Grace («Машины любящей благодати») и разделяю видение, которое он рисует: нация гениев, живущих внутри дата-центра.
Я разделяю это видение, потому что работаю над достижением той же конечной цели. С самого начала блокчейн был областью, построенной полностью в абстракции — без фабрик, шахт или территории, только консенсус и математика. Моя работа в области ИИ — это просто еще один способ расширения этой области. Я верю, что в этом веке значительная часть важнейших структур человечества будет существовать в цифровых пространствах, а чистые рассуждения — единственный фундамент, на котором такое пространство может быть построено. В 1940 году Г. Х. Харди написал в книге A Mathematician’s Apology («Признание математика»), что рад тому, что теория чисел никогда не будет иметь практического применения. Восемьдесят лет спустя теория чисел стала фундаментом моей индустрии.
Нобель и я выбрали разные направления. Он вознаграждал осязаемые, реальные приложения; я вознаграждаю чисто теоретическое — абстрактные структуры, построенные с безошибочной логической точностью. Ни один подход не лучше другого; они отражают две эпохи и две различные парадигмы. Я хочу передавать это видение абстрактного, управляемого логикой королевства из года в год через премию.
VII
Осенью 2007 года три студента поступили в Пекинский университет в один год. Один прибыл из Шэньчжэня, обладатель золотой медали Олимпиады, и поступил на факультет математических наук. Другой приехал из Гуйлиня, начал обучение на факультете наук о Земле и космосе, а затем перевелся на математику. Третий был из Хуэйчжоу и изучал историю.
Девятнадцать лет спустя двое из них делили сцену в Филадельфии. Ван Хун и Дэн Юй получили Филдсовские медали 2026 года.
Третий прочитал эту новость недавно, просматривая интернет из салона частного самолета. Он отложил телефон. Его первой мыслью была не гордость. Было вот что: наше поколение достигло совершеннолетия. Пора внести свой вклад.
Их вклад — доказательство теорем. Мой вклад — обеспечение того, чтобы они были вознаграждены за это.
VIII
За прошедшие годы мои благотворительные усилия были распределены по различным инициативам. Впредь я концентрирую все свое внимание на этой премии — потому что она представляет мой самый значительный потенциальный вклад в человечество.
Пока это премия по математике.
IX
Последнее замечание о том, почему эта премия носит мое имя: есть две основные причины.
Во-первых, премия, названная в честь человека, — одна из немногих вещей, которые выходят за рамки институциональной политики. Нобель, Филдс, Абель, Тьюринг, Вольф — самые долговечные премии в математике и науках почти все названы в честь отдельных лиц. Страны меняются, институты ребрендируются, компании исчезают. Как только имя попадает на премию, оно остается там навсегда. Никто не переписывает его.
Во-вторых, я должен это самому себе. Мне тридцать шесть лет. Накопленное мной состояние превышает мои потребности. Богатство без цели порождает споры о наследстве и вырождается в простые записи аукционных домов. Пока я в здравом уме и дееспособен, я хочу самостоятельно направлять это богатство: оно произошло из математики и возвращается в математику.
Что касается любого общественного внимания ко мне, пусть список лауреатов говорит сам за себя. Я не ожидаю, что кто-то поверит мне на слово сегодня.
Премия Джастина Суня создана, чтобы выдержать испытание временем.
X
В заключение, эта премия не требует доверия между людьми. Проверка является математической. Машина подчиняется только логике. Начальный призовой фонд уже переведен в блокчейн. Адрес публичный, и любой может увидеть баланс. Я сохраняю за собой только право добавлять дополнительные средства.
Каждое победное доказательство будет опубликовано, чтобы любой мог изучить его самостоятельно. Доверие не требуется — ни ко мне, ни какому-либо комитету. Каждый платеж останется в сети — публичным, неизменным и проверяемым через сто лет. Как только доказательство установлено, оно стоит вечно. Я надеюсь, что награда, данная доказателю, отражает ту же вечную постоянность.
Я не математик. Я всего лишь наблюдатель и меценат. Остальное оставляю доказательствам.
Джастин Сунь
Для получения дополнительной информации о Премии Джастина Суня посетите следующие официальные каналы:
Официальный сайт: hejustinsun.com/prize
GitHub: github.com/TheJustinSunPrize
