Почему я учреждаю премию Сунь Юйчэня

一
Нобель изобрёл динамит. Большая часть его состояния за всю жизнь пришла именно от этого изобретения.
Говорят, в 1888 году одна французская газета по ошибке опубликовала его некролог под заголовком «Торговец смертью умер». Он прочитал собственный некролог и спустя несколько лет составил завещание.
Сегодня его уже никто не называет торговцем смертью.
«Нобель» превратился в нейтральное существительное, как «вольт» и «ватт», без эмоциональной окраски, просто единица измерения. Он отдал деньги «тем, кто принёс человечеству наибольшую пользу», деньги вернулись человечеству, а его имя вместе с ними вернулось к нейтральности — не благодаря оправданиям, а благодаря списку лауреатов за более чем сто лет.
Я рассказываю эту историю, потому что понимаю его. Я знаю, откуда пришли деньги, и знаю, куда они могут уйти.

二
В корне моего состояния лежит математика.
Вся индустрия блокчейна в целом построена на криптографических конструкциях и предположениях о безопасности, опирающихся на многолетние исследования: сложность задачи дискретного логарифмирования на эллиптических кривых, необратимость хеш-функций, сложность разложения больших чисел на множители. В 1985 году два математика независимо друг от друга пришли к мысли использовать эллиптические кривые в криптографии: один работал в университете, другой — в IBM, и они не знали друг о друге. В тот год никто не считал эту идею полезной. То, что они записали на доске, впоследствии превратилось в рынок объёмом в триллион долларов и в нечто беспрецедентное — возможность для человека полностью распоряжаться своим состоянием, не спрашивая ни у кого разрешения. Сами они не получили ни цента.
Эта свобода — один из самых недооценённых даров математики человечеству. Я многое взял из этого дара. Учредить эту премию — прежде всего значит вернуть долг.

三
У Нобелевской премии нет премии по математике. Это упущение, допущенное более ста лет назад: возможно, по личным причинам, а возможно, просто потому, что об этом не подумали.
Позже появилась премия Филдса, присуждаемая раз в четыре года математикам младше сорока лет; появилась Абелевская премия, присуждаемая ежегодно за достижения всей жизни. Обе премии прекрасны, но их ритм — ритм предыдущей эпохи.
В математическом мире существовала и другая премия. Erdős всю жизнь назначал задачам цену — от 25 долларов до 10 000 долларов, — а тому, кто находил решение, выписывал чек. Многие вставляли эти чеки в рамки и за всю жизнь так и не обналичили их. Он умер в 1996 году, и после этого такие чеки стали выписывать всё реже.
А математика вступает в другую эпоху. Искусственный интеллект не может проводить эксперименты, но способен выводить; искусственному интеллекту трудно построить для физика коллайдер, но он может перебрать для математика тысячу путей. Сегодня от выдвижения гипотезы до её решения могут пройти месяцы, а могут и считаные дни. Премия, присуждаемая раз в четыре года, перед такой скоростью похожа на часы, которые звонят раз в четыре года, в эпохе, где время измеряется днями.

四
Поэтому правила премии Сунь Юйчэня очень просты.
Премия следует за задачей, а не за человеком. Не нужно ждать ежегодной конференции, номинаций или определённого возраста.
У каждой задачи будет две строки для имён. В одной указывается доказавший, в другой — формализатор, тот, кто перенёс доказательство в машину. В обеих строках может быть один и тот же человек, а могут оказаться люди, разделённые половиной земного шара и не знакомые друг с другом. Человек может, искусственный интеллект может, человек с помощью искусственного интеллекта тоже может — меня не волнует вид того, кто окажется в той или иной строке. Одно и то же имя может появляться снова и снова, и неважно, в какой строке.
У денег есть только один триггер: машина проверяет доказательство от первой строки до последней, шаг за шагом, без единой ошибки. После прохождения проверки имена в обеих строках становятся получателями всей суммы за эту задачу. Этот стандарт придумал не я. Scholze выставил свою важнейшую теорему, призвав перенести её в машину; Великая теорема Ферма прямо сейчас переносится туда строка за строкой.
Пока машина не провела проверку, человеческое доказательство тоже не пропадает зря. Математическое сообщество его принимает, имя сначала указывается, деньги остаются нетронутыми, а в строке статуса пишется: доказано, ожидает формализации.
Деньги в строке решения выплачиваются только за задачи, решённые после публикации. Если задача уже была решена на момент публикации, имя доказавшего всё равно указывается, но деньги выплачиваются только тому, кто перенёс доказательство в машину. Эта премия фиксирует события, произошедшие после её учреждения, а не выплачивает задним числом награды за историю математики.
Разделение труда чистое: имена принадлежат математическому сообществу, деньги — машине, а учредитель не касается ни одной из сторон. От человека требуется лишь одно: подтвердить, что записанная в машину задача — именно та самая задача.
Остаётся последнее, что решаю я: список задач. Какие задачи будут опубликованы и какую цену назначить, определяю я своей подписью. Чеки Erdős, как и их сумма, тоже писались им самим — здесь я не делаю вид, что есть исключение. Но как только задача появляется на полке, всё фиксируется: задачи можно только добавлять, деньги можно только получить, но нельзя вернуть, и никто, включая меня, не может ничего изменить. Если в задаче ошибка, выплата всё равно производится, после чего задача публикуется заново.
Весь мой вкус уходит на это единственное дело. Кроме назначения цены, я не имею ни единого голоса ни в проверке, ни в выплате денег, ни в указании имён.
Решает результат.

五
Больше всего в этих правилах мне нравится одно слово — «ждать».
После того как задача решена и принята математическим сообществом, деньги не приходят сразу. Имя доказавшего указывается первым, строка формализатора остаётся пустой, а в строке статуса пишется: доказано, ожидает формализации. Тот, кто перенесёт это доказательство в машину, после её проверки заполнит пустую строку своим именем, и именно в этот момент начнётся путь денег к их получателю.
В других премиях ожидание — это задержка, процедура, необходимое зло. Здесь само ожидание — уже список.
Многие вставляли чеки Erdős в рамки и за всю жизнь так и не обналичили их. Деньги в рамке, обращённые в прошлое, — это память; деньги, размещённые в блокчейне и обращённые в будущее, — это призыв. Пустая строка означает обращённое ко всему миру сообщение: здесь есть работа, и у неё есть цена.
Так этот список задач одновременно порождает ещё одну вещь: публичную карту всего, что человечество уже признало, но машина ещё не признала. Сегодня такой карты не существует. Есть лишь фрагменты, разбросанные в нескольких местах; их никогда не объединяли и тем более никогда не снабжали ценами.
У тех, кто занимается формализацией, никогда не было недостатка энтузиазма — не хватало чертежа работ с указанием цены. Кто заполнит эту пустую строку, тот получит деньги. Отныне энтузиазм переносить длинные доказательства в машину остаётся за ними, а счёт оплачиваю я. $ETH

‌#Gate打金狗獨家支持0Gas交易