Сунь Гэгань только что опубликовал твит в X
Почему я учредил премию имени Сунь Юйчэна
Часть первая
Нобель изобрёл взрывчатые вещества. Его богатство, в основном, происходит от этого.
Говорят, что в 1888 году французская газета по ошибке опубликовала его некролог: заголовок был «Торговец смертью умер». Он прочитал свой некролог, а через несколько лет составил завещание.
Сегодня никто больше не называет его «торговцем смертью».
«Нобель» превратилось в нейтральное существительное — вроде «вольта» и «ватта»: без эмоций, просто единица измерения. Он передал деньги «людям, внесшим наибольший вклад в человечество»; деньги вернулись в руки человечества, а его имя тоже вернулось в нейтральность — не благодаря оправданиям, а благодаря более чем столетнему списку лауреатов.
Я рассказываю эту историю, потому что понимаю его. Я знаю, откуда берутся деньги, и знаю, куда они могут уйти.
Часть вторая
Моё богатство коренится в математике.
Эта отрасль — блокчейн — в целом опирается на несколько криптографических конструкций и предположений безопасности, поддержанных многолетними исследованиями: дискретный логарифм на эллиптических кривых трудноразрешим, хэш-функции необратимы, большие числа трудно разложить.
В 1985 году два математика независимо пришли к мысли использовать эллиптические кривые для криптографии: один — в университете, другой — в IBM, и они не знали друг друга.
Тогда никто не счёл это полезным. То, что они записали на школьной доске, позже стало рынком на триллион долларов — стало чем-то беспрецедентным: человек может полностью распоряжаться своим богатством, не нуждаясь ни в чьём разрешении. А они сами — не получили ни цента.
Такая свобода — один из самых недооценённых даров математики человечеству. Я взял из этого дара многое. Учреждение этой премии — прежде всего расплата с долгами.
Часть третья
У Нобелевской премии нет математической. Это была оплошность более чем столетней давности, возможно, с частными причинами; а возможно, просто не додумались.
Позже появились премия Филдса — раз в четыре года, для тех, кому нет сорока; и премия Абеля — каждый год, за достижения всей жизни. Они прекрасны, но их ритм — это ритм предыдущей эпохи.
В математическом сообществе действительно была и другая премия. Эрдо́ш всю жизнь назначал цену задачам — от двадцати пяти долларов до десяти тысяч. Кто решал, тому он выписывал чек.
Многие приклеивали чеки на стену и так и не обналовали за всю жизнь. Он умер в 1996 году, а после этого выписывать такие чеки стали всё реже.
Но математика входит в другую эпоху. Искусственный интеллект не может ставить эксперименты, но он умеет выводить доказательства; ИИ сложно поручить физикам — построить коллайдер, но он может помочь математику попробовать десять тысяч путей.
Сегодня путь от выдвижения гипотезы до решения может занять несколько месяцев, а может — несколько дней. Премия, которая выдаётся раз в четыре года, сталкиваясь с таким темпом, похожа на часы, которые бьют раз в четыре года, подвешенные в эпоху, где время считают днями.
Часть четвёртая
Поэтому правила Премии имени Сунь Юйчэна очень просты.
Премия следует за задачей, а не за человеком. Не зависит от годовых сессий, не зависит от номинаций, не зависит от возраста.
Для каждой задачи — два столбца для подписи. В одном — тот, кто доказывает; в другом — тот, кто формализует, то есть переносит доказательство в машину.
Столбцы могут принадлежать одному и тому же человеку, а могут разделяться полпланеты, и люди при этом не знать друг друга.
Человек может, AI может, человек с помощью AI может — в любом случае, к какому виду принадлежит, мне всё равно. Одно и то же имя может появляться раз за разом — в любом столбце это возможно.
Деньги запускаются одним условием: машина проверяет доказательство от первой строки до последней — ни шагу в сторону. После успешной проверки списки в обоих столбцах становятся владельцами денежного приза за эту задачу.
Этот критерий не мной придуман. Шольце вывесил на всеобщее показ более важную для себя теорему и попросил перенести её в машину; Великая теорема Ферма сейчас как раз построчно туда переносится.
Пока машина не проверила, человеческие доказательства тоже не «висят в пустоте». Математическое сообщество их принимает, имя сначала вносится в список, деньги не сдвигаются ни на йоту, а статус в строке пишет: «Доказано, ожидает формализации».
Деньги в столбце за решение выплачиваются только за те задачи, которые уже были оформлены на подачу и после этого доведены до решения.
Если задача была решена ещё до размещения, имя доказывающего всё равно заносится, а деньги выплачиваются только тому, кто перенёс её в машину.
Эта премия фиксирует то, что происходит после её учреждения: она не доплачивает задним числом по истории математики.
Разделение труда чистое: имена — математикам, деньги — машине, а спонсоры не имеют касательства ни к тем, ни к другим. Единственное, что остаётся на решение людей, — это подтвердить именно ту задачу, которая вписана в машину, то есть: какую именно задачу мы делаем задачей.
Остаётся последняя вещь, которая зависит только от меня: список задач. Какие задачи размещать, какие цены устанавливать — я подписываю.
Чеки Эрдо́ша с номиналами тоже были написаны им самим — здесь без исключений. Но как только задача вывешена на «полку», это фиксируется навсегда: задачи только добавляются, но не убираются; деньги только выплачиваются, но не возвращаются — включая меня, никто не может изменить. Ошибочно указанную задачу оплачивают по правилам, а потом вывешивают заново.
Мой вкус целиком уходит в одну-единственную вещь: помимо ценообразования — верификация, выплата, присвоение имён — я не голосую ни за что.
Решает цена.
Часть пятая
В этих правилах мне больше всего нравится одно «ожидание/«пока» — слово «ещё не»».
Когда задачу решили и математическое сообщество её приняло, деньги не двигаются сразу.
Сначала вносится имя доказывающего; столбец формализации остаётся пустым; в строке статуса написано: «Доказано, ожидает формализации».
Кто перенесёт это доказательство в машину, машина проверит — и пустой столбец заполнится именем; именно в этот момент запускается «путешествие» денег.
В других премиях «ожидание» — это задержка, это процесс, это неизбежное зло. Здесь же ожидание — это сам по себе список.
Чеки Эрдо́ша многие вешали на стену и так и не обналовали за всю жизнь. Деньги, висящие на стене и оглядывающиеся назад, — это память; деньги на цепочке, идущие вперёд, — это приглашение.
Пустой столбец — это то, как будто весь мир получают сообщение: здесь есть жизнь, имеющая цену.
И тогда этот список задач одновременно порождает ещё одну вещь: публичную карту — отметку всего того, что человечество уже признало, но машина пока не признала. Сегодня этой карты не существует.
У неё есть лишь фрагменты, рассыпанные в нескольких местах — она никогда не была объединена и никогда не была с проставленными ценами.
Формализаторам никогда не недостаёт энтузиазма — недостаёт чертежа стройки с указанными ценами.
Кто заполнит этот пустой столбец — тот и получит деньги.
Отныне, когда длинные доказательства будут переноситься в машину, энтузиазм всё равно будет их, а счета — мои.
Почему я учредил премию имени Сунь Юйчэна
Часть первая
Нобель изобрёл взрывчатые вещества. Его богатство, в основном, происходит от этого.
Говорят, что в 1888 году французская газета по ошибке опубликовала его некролог: заголовок был «Торговец смертью умер». Он прочитал свой некролог, а через несколько лет составил завещание.
Сегодня никто больше не называет его «торговцем смертью».
«Нобель» превратилось в нейтральное существительное — вроде «вольта» и «ватта»: без эмоций, просто единица измерения. Он передал деньги «людям, внесшим наибольший вклад в человечество»; деньги вернулись в руки человечества, а его имя тоже вернулось в нейтральность — не благодаря оправданиям, а благодаря более чем столетнему списку лауреатов.
Я рассказываю эту историю, потому что понимаю его. Я знаю, откуда берутся деньги, и знаю, куда они могут уйти.
Часть вторая
Моё богатство коренится в математике.
Эта отрасль — блокчейн — в целом опирается на несколько криптографических конструкций и предположений безопасности, поддержанных многолетними исследованиями: дискретный логарифм на эллиптических кривых трудноразрешим, хэш-функции необратимы, большие числа трудно разложить.
В 1985 году два математика независимо пришли к мысли использовать эллиптические кривые для криптографии: один — в университете, другой — в IBM, и они не знали друг друга.
Тогда никто не счёл это полезным. То, что они записали на школьной доске, позже стало рынком на триллион долларов — стало чем-то беспрецедентным: человек может полностью распоряжаться своим богатством, не нуждаясь ни в чьём разрешении. А они сами — не получили ни цента.
Такая свобода — один из самых недооценённых даров математики человечеству. Я взял из этого дара многое. Учреждение этой премии — прежде всего расплата с долгами.
Часть третья
У Нобелевской премии нет математической. Это была оплошность более чем столетней давности, возможно, с частными причинами; а возможно, просто не додумались.
Позже появились премия Филдса — раз в четыре года, для тех, кому нет сорока; и премия Абеля — каждый год, за достижения всей жизни. Они прекрасны, но их ритм — это ритм предыдущей эпохи.
В математическом сообществе действительно была и другая премия. Эрдо́ш всю жизнь назначал цену задачам — от двадцати пяти долларов до десяти тысяч. Кто решал, тому он выписывал чек.
Многие приклеивали чеки на стену и так и не обналовали за всю жизнь. Он умер в 1996 году, а после этого выписывать такие чеки стали всё реже.
Но математика входит в другую эпоху. Искусственный интеллект не может ставить эксперименты, но он умеет выводить доказательства; ИИ сложно поручить физикам — построить коллайдер, но он может помочь математику попробовать десять тысяч путей.
Сегодня путь от выдвижения гипотезы до решения может занять несколько месяцев, а может — несколько дней. Премия, которая выдаётся раз в четыре года, сталкиваясь с таким темпом, похожа на часы, которые бьют раз в четыре года, подвешенные в эпоху, где время считают днями.
Часть четвёртая
Поэтому правила Премии имени Сунь Юйчэна очень просты.
Премия следует за задачей, а не за человеком. Не зависит от годовых сессий, не зависит от номинаций, не зависит от возраста.
Для каждой задачи — два столбца для подписи. В одном — тот, кто доказывает; в другом — тот, кто формализует, то есть переносит доказательство в машину.
Столбцы могут принадлежать одному и тому же человеку, а могут разделяться полпланеты, и люди при этом не знать друг друга.
Человек может, AI может, человек с помощью AI может — в любом случае, к какому виду принадлежит, мне всё равно. Одно и то же имя может появляться раз за разом — в любом столбце это возможно.
Деньги запускаются одним условием: машина проверяет доказательство от первой строки до последней — ни шагу в сторону. После успешной проверки списки в обоих столбцах становятся владельцами денежного приза за эту задачу.
Этот критерий не мной придуман. Шольце вывесил на всеобщее показ более важную для себя теорему и попросил перенести её в машину; Великая теорема Ферма сейчас как раз построчно туда переносится.
Пока машина не проверила, человеческие доказательства тоже не «висят в пустоте». Математическое сообщество их принимает, имя сначала вносится в список, деньги не сдвигаются ни на йоту, а статус в строке пишет: «Доказано, ожидает формализации».
Деньги в столбце за решение выплачиваются только за те задачи, которые уже были оформлены на подачу и после этого доведены до решения.
Если задача была решена ещё до размещения, имя доказывающего всё равно заносится, а деньги выплачиваются только тому, кто перенёс её в машину.
Эта премия фиксирует то, что происходит после её учреждения: она не доплачивает задним числом по истории математики.
Разделение труда чистое: имена — математикам, деньги — машине, а спонсоры не имеют касательства ни к тем, ни к другим. Единственное, что остаётся на решение людей, — это подтвердить именно ту задачу, которая вписана в машину, то есть: какую именно задачу мы делаем задачей.
Остаётся последняя вещь, которая зависит только от меня: список задач. Какие задачи размещать, какие цены устанавливать — я подписываю.
Чеки Эрдо́ша с номиналами тоже были написаны им самим — здесь без исключений. Но как только задача вывешена на «полку», это фиксируется навсегда: задачи только добавляются, но не убираются; деньги только выплачиваются, но не возвращаются — включая меня, никто не может изменить. Ошибочно указанную задачу оплачивают по правилам, а потом вывешивают заново.
Мой вкус целиком уходит в одну-единственную вещь: помимо ценообразования — верификация, выплата, присвоение имён — я не голосую ни за что.
Решает цена.
Часть пятая
В этих правилах мне больше всего нравится одно «ожидание/«пока» — слово «ещё не»».
Когда задачу решили и математическое сообщество её приняло, деньги не двигаются сразу.
Сначала вносится имя доказывающего; столбец формализации остаётся пустым; в строке статуса написано: «Доказано, ожидает формализации».
Кто перенесёт это доказательство в машину, машина проверит — и пустой столбец заполнится именем; именно в этот момент запускается «путешествие» денег.
В других премиях «ожидание» — это задержка, это процесс, это неизбежное зло. Здесь же ожидание — это сам по себе список.
Чеки Эрдо́ша многие вешали на стену и так и не обналовали за всю жизнь. Деньги, висящие на стене и оглядывающиеся назад, — это память; деньги на цепочке, идущие вперёд, — это приглашение.
Пустой столбец — это то, как будто весь мир получают сообщение: здесь есть жизнь, имеющая цену.
И тогда этот список задач одновременно порождает ещё одну вещь: публичную карту — отметку всего того, что человечество уже признало, но машина пока не признала. Сегодня этой карты не существует.
У неё есть лишь фрагменты, рассыпанные в нескольких местах — она никогда не была объединена и никогда не была с проставленными ценами.
Формализаторам никогда не недостаёт энтузиазма — недостаёт чертежа стройки с указанными ценами.
Кто заполнит этот пустой столбец — тот и получит деньги.
Отныне, когда длинные доказательства будут переноситься в машину, энтузиазм всё равно будет их, а счета — мои.
