Джастин Сан: я восполню премию по математике, которую упустила Нобелевская премия

Оригинальный заголовок: «Почему я учредил премию Сунь Юйчэня»
Автор оригинала: Сунь Юйчэнь
I

Нобель изобрел динамит. Большую часть своего прижизненного состояния он заработал именно на этом.

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

Сегодня его уже никто не называет «Торговцем смертью».

«Нобель» стало нейтральным существительным, как «вольт» или «ватт», лишенным эмоций, просто единицей измерения. Он отдал свои деньги «тем, кто принес наибольшую пользу человечеству», деньги вернулись в руки человечества, а вместе с ними и его имя вернуло себе нейтральность — не через самозащиту, а благодаря более чем вековому списку лауреатов.

Я рассказываю эту историю, потому что понимаю его. Я знаю, откуда берутся деньги, и знаю, куда они могут уйти.

II

Мое богатство основано на математике.

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

Эта свобода — один из самых недооцененных даров математики человечеству. Я очень много почерпнул из этого дара. Учреждение этой награды — это, прежде всего, возврат долга.

III

Нобелевская премия не вручается по математике. Это было упущением более века назад — возможно, по личным причинам, а возможно, просто потому, что никто об этом не подумал.

Позже появились Филдсовская премия, вручаемая раз в четыре года ученым моложе сорока лет, и Абелевская премия, присуждаемая раз в год за жизненные достижения. Обе они великолепны, но их ритм — это ритм ушедшей эпохи.

В математическом сообществе когда-то действительно существовала награда другого рода. Эрдёш всю жизнь назначал денежные вознаграждения за решение задач — от двадцати пяти до десяти тысяч долларов: тому, кто решал задачу, он выписывал чек. Многие вешали эти чеки в рамку на стену и за всю жизнь так их и не обналичили. Он ушел из жизни в 1996 году, и после этого подобные чеки выписывались все реже и реже.

И математика вступает в другую эпоху. ИИ не может проводить эксперименты, но может делать выводы; ИИ вряд ли построит коллайдер для физиков, но способен перебрать десять тысяч путей для математиков. Сегодня путь гипотезы от выдвижения до доказательства может занять считанные месяцы или даже дни. Награда, вручаемая раз в четыре года, перед лицом такой скорости подобна колоколу, который звонит раз в четыре года, подвешенному в эпохе, измеряемой днями.

Четыре

Таким образом, правила Премии Сунь Юйчэня просты.

Награда следует за проблемой, а не за человеком. Не нужно ждать ежегодных собраний, не нужно ждать номинаций, не нужно ждать возраста.

Для каждой задачи предусмотрено две колонки авторства. В одной колонке указывается прувер (автор доказательства), в другой — формализатор, тот, кто переносит доказательство в машинный вид. В обеих колонках может быть один и тот же человек, или же они могут находиться на противоположных концах света и никогда не встречаться. Это могут быть люди, ИИ или люди, использующие ИИ, — и мне все равно, какой вид указан в любой из колонок. Одно и то же имя может появляться снова и снова в любой колонке.

Существует только один триггер для выплаты денег: машина проверяет доказательство от первой до последней строки без единой ошибки. Как только оно проходит проверку, имена в двух колонках становятся обладателями приза за эту задачу. Этот стандарт придумал не я. Шольце выложил свою важнейшую теорему, предложив людям перенести её в машинный формат; Великая теорема Ферма в настоящее время переносится строчка за строчкой.

До того как машина верифицирует это, доказательства людей не будут напрасными. Если математическое сообщество примет доказательство, имя указывается первым, ни цента не выплачивается, а в строке состояния отображается: Доказано, ожидает формализации.

Вознаграждение в графе за решение выплачивается только за задачи, решенные после их внесения в список. Если задача уже была решена на момент внесения в список, имя доказавшего все равно фиксируется, однако деньги выплачиваются только тому, кто перенесет ее в систему. Эта награда фиксирует то, что происходит после ее учреждения; она не выплачивает призы задним числом за достижения в истории математики.

Разделение труда предельно четкое: имена принадлежат математическому сообществу, деньги — машине, а спонсор не касается ни того, ни другого. Единственное человеческое решение сводится к одному: подтвердить, что задача, введенная в машину, — это именно та самая задача.

Осталась последняя вещь, которую определяю я: список задач. Какие задачи выставляются и по какой цене — утверждается мной. На чеках Эрдёша суммы тоже были написаны им самим, и здесь нет смысла делать вид, что это не так. Но как только витрина выставлена, она блокируется: задачи только добавляются и никогда не удаляются; деньги только выплачиваются и никогда не возвращаются; никто, включая меня, не может это изменить. Если задача сформулирована с ошибкой, вознаграждение выплачивается как есть, после чего она выставляется повторно.

Мой вкус целиком уходит лишь на это. За пределами ценообразования, верификации, оплаты и атрибуции у меня нет права голоса.

Результаты говорят сами за себя.

Пять

В этом своде правил больше всего мне нравится слово «ждать».

Когда задача решена и принята математическим сообществом, средства не переводятся мгновенно. Сначала указывается имя автора доказательства, колонка формализации остается пустой, а в строке состояния отображается: «Доказано, ожидает формализации». Тот, кто перенесет это доказательство в машинный формат, и если машина его верифицирует, вписывает свое имя в эту пустую колонку — и именно в этот момент начинается процесс передачи прав на владение средствами.

В других призах ожидание — это задержка, процесс, необходимое зло. Здесь само ожидание является чек-листом.

Чеки Эрдёша — многие вешают их в рамку на стену и ни разу в жизни не обналичивают. Деньги в рамке смотрят в прошлое: это сувенир на память. Деньги, подвешенные на цепочке, смотрят в будущее: это призыв к действию. Эта пустая графа равносильна заявлению на весь мир: здесь есть работа, и у нее есть цена.

И таким образом этот список проблем одновременно порождает нечто иное: публичную карту, на которой отмечено всё, что признало человечество, но еще не признали машины. Сегодня такой карты не существует. Она есть лишь фрагментарно, разрозненно в нескольких местах, никогда не была объединена и никогда не имела своей цены.

У формализаторов никогда не было недостатка в энтузиазме — им не хватает проекта с ценником. Тот, кто заполнит этот пробел, получит деньги. Отныне при переносе объемных доказательств в машины: энтузиазм по-прежнему их, а счет — мой.

Шесть

Я также хочу поговорить о вкусе. Именно здесь эта премия и Нобелевская премия по-настоящему расходятся.

Нобель был изобретателем. Всю свою жизнь он верил, что любая вещь должна быть полезной, иметь практическое применение, создаваться, продаваться и менять жизни людей. Таков был его принцип, и он запечатлен в его премии: физика, химия, медицина, литература, мир — каждая номинация является наградой за вклад в реальный мир. На протяжении более ста лет эта премия вручается тем, кто строит свои творения на твердой почве.

У меня другие вкусы, и я не собираюсь скрывать, откуда они берутся. Я читал эссе Дарио Амодея «Машины любящей благодати» (Machines of Loving Grace) и глубоко согласен с описанным им видением: страна гениев в дата-центре.

Я согласен, потому что занимаюсь тем же самым. Блокчейн с самого первого дня был королевством, построенным в воздухе: без фабрик, без шахт, без территорий — только консенсус и математика. Я занимаюсь ИИ и тоже добавляю кирпичики в это королевство. Я верю, что в этом столетии значительная часть важнейшей архитектуры человечества будет построена в воздухе, и фундамент этого воздушного королевства

может быть только чистым рассуждением. Харди писал в 1940 году в «Апологии математика», что он испытывает облегчение от того, что теория чисел никогда не найдет практического применения. Спустя восемьдесят лет теория чисел лежит в основе моей индустрии.

Так что мы с Нобелем выбрали разные пути. Он награждает то, что приземляется; я награждаю то, что парит в воздухе, но идеально складывается воедино. Дело не в том, кто прав, а кто виноват — это две эпохи, два вкуса. Я хочу передавать эту идею воздушного королевства через премию, из года в год.

Семь

Осенью 2007 года три человека поступили в Пекинский университет в один и тот же год. Один приехал из Шэньчжэня с золотой медалью математической олимпиады и сразу поступил в Школу математических наук; другой прибыл из Гуйлиня, сначала изучал науки о Земле и космосе, а позже перевелся на математику; третий приехал из Хуэйчжоу и изучал историю.

Девятнадцать лет спустя первые двое стояли на одном пьедестале в Филадельфии. Ван Хун и Дэн Юй

выиграл Филдсовскую премию 2026 года.

Некоторое время назад третий человек находился в спальне на борту самолета и, листая ленту Zhihu, наткнулся на эту новость. Он отложил телефон, и первой его мыслью была вовсе не гордость. Он подумал: для нашего поколения тоже пришло время действовать.

Они вносят вклад с помощью доказательств. Я не могу доказывать. Что я могу сделать, так это позаботиться о том, чтобы те, кто доказывает, получали деньги.

Восемь

За прошедшие годы я сделал немало разрозненных благотворительных пожертвований. С этого момента мой филантропический фокус сместится на эту премию. Причина лишь одна: это то, благодаря чему я смогу внести наибольший вклад на благо человечества.

В настоящее время премия присуждается только в области математики.

Девять

И еще одно: почему этот приз назван в мою честь.

Две причины.

Во-первых, премия, названная в честь человека, — это наименее политизированная вещь в мире. Нобелевская, Филдсовская, Абелевская, Тьюринговская, Вольфа — практически все самые долговечные премии в области математики и науки названы в честь одного человека. Страны меняются, институты переименовываются, компании банкротятся, но как только имя человека выгравировано на премии, его уже никто и никогда не сможет изменить.

Во-вторых, это отчет перед самим собой. Мне тридцать шесть лет, и накопленное мной богатство уже превышает мои потребности. Если у богатства человека нет цели, в конечном итоге оно превратится лишь в споры о наследстве и записи о транзакциях на аукционах. Я хочу, пока еще нахожусь в ясном уме, лично определить путь для этих денег: они пришли из математики, и в математику они вернутся.

Что касается споров вокруг меня, этот список — единственный ответ. Я никого не прошу верить прямо сейчас.

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

Десять

И последнее. Этот приз не требует доверия к кому-либо; вам нужно верить только в машинную верификацию, а машины признают только логику. Первый призовой фонд уже внесен в блокчейн, адрес публичный, а баланс виден всему миру. За собой я сохранил лишь право пополнять его.

Каждое победившее доказательство будет опубликовано, и каждый сможет самостоятельно проверить его валидность, не полагаясь на веру мне или какому-либо комитету. Каждая выплата приза останется в блокчейне — публичной, неизменяемой и доступной для проверки даже через сто лет. Если доказательство верно, оно верно навсегда; я надеюсь, что и вознаграждение для доказывающего будет иметь такую же природу.

Я не математик. Я зритель, я плачу. Остальное оставьте доказательствам.

Оригинальная ссылка