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